TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 20.

Bavishi, Rohan and Pradel, Michael and Sen, Koushik (2017):
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts.
[Report]

Pradel, Michael and Sen, Koushik (2017):
Deep Learning to Find Bugs.
[Report]

Billes, Marina and Møller, Anders and Pradel, Michael (2017):
Systematic Black-Box Analysis of Collaborative Web Applications.
In: PLDI '17 ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM New York, NY, USA, Barcelona, Spain, ISBN 978-1-4503-4988-8,
DOI: 10.1145/3062341.3062363,
[Conference or Workshop Item]

Staicu, Cristian-Alexandru and Pradel, Michael (2017):
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers.
[Article]

Patra, Jibesh and Pradel, Michael (2016):
Learning to Fuzz: Application-Independent Fuzz Testing with Probabilistic, Generative Models of Input Data.
[Report]

Staicu, Cristian-Alexandru and Pradel, Michael and Livshits, Benjamin (2016):
Understanding and Automatically Preventing Injection Attacks on Node.js.
[Report]

Ermuth, Markus and Pradel, Michael (2016):
Monkey see, monkey do: effective generation of GUI tests with inferred macro events.
In: ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, ACM, Saarbrücken, Germany, ISBN 978-1-4503-4390-9,
DOI: 10.1145/2931037.2931053,
[Conference or Workshop Item]

Yu, Tingting and Pradel, Michael (2016):
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.
In: ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, ACM, Saarbrücken, Germany, ISBN 978-1-4503-4390-9,
DOI: 10.1145/2931037.2931070,
[Conference or Workshop Item]

Liu, Hui and Liu, Qiurong and Staicu, Cristian-Alexandru and Pradel, Michael and Luo, Yue (2016):
Nomen est Omen: Exploring and Exploiting Similarities between Argument and Parameter Names.
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, ACM, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884841,
[Conference or Workshop Item]

Selakovic, Marija and Pradel, Michael (2016):
Performance issues and optimizations in JavaScript: an empirical study.
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, ACM Association for Computing Machinery, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884829,
[Conference or Workshop Item]

Selakovic, Marija and Pradel, Michael (2015):
Performance Issues and Optimizations in JavaScript: An Empirical Study.
[Report]

Della Toffola, Luca and Pradel, Michael and Gross, Thomas R.
Andy, Gill (ed.) (2015):
Performance problems you can fix: a dynamic analysis of memoization opportunities.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, Pittsburgh, PA, USA, In: OOPSLA 2015, 50, ISBN 978-1-4503-3689-5,
DOI: 10.1145/2814270.2814290,
[Conference or Workshop Item]

Gong, Liang and Pradel, Michael and Sen, Koushik (2015):
JITProf: pinpointing JIT-unfriendly JavaScript code.
In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ACM, Bergamo, Italy, In: ESEC/FSE 2015, ISBN 978-1-4503-3675-8,
DOI: 10.1145/2786805.2786831,
[Conference or Workshop Item]

Gong, Liang and Pradel, Michael and Sridharan, Manu and Sen, Koushik (2015):
DLint: Dynamically Checking Bad Coding Practices in JavaScript.
In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ACM, Baltimore, MD, USA, In: ISSTA 2015, ISBN 978-1-4503-3620-8,
DOI: 10.1145/2771783.2771809,
[Conference or Workshop Item]

Pradel, Michael and Schuh, Parker and Sen, Koushik (2015):
TypeDevil: dynamic type inconsistency analysis for JavaScript.
In: Proceedings of the 37th International Conference on Software Engineering, IEEE Press, Florence, Italy, 1, ISBN 978-1-4799-1934-5,
DOI: 10.1109/ICSE.2015.51,
[Conference or Workshop Item]

Pradel, Michael and Schuh, Parker and Necula, George and Sen, Koushik (2014):
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.
In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, ACM, Portland, OR, USA, In: OOPSLA '14, 49, ISBN 978-1-4503-2585-1,
DOI: 10.1145/2714064.2660233,
[Conference or Workshop Item]

Tasharofi, Samira and Pradel, Michael and Lin, Yu and Johnson, Ralph (2013):
Bita: Coverage-Guided, Automatic Testing of Actor Programs.
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE Computer Society, Palo Alto, CA, USA, ISBN 978-1-4799-0215-6/13,
DOI: 10.1109/ASE.2013.6693072,
[Conference or Workshop Item]

Pradel, Michael and Gross, Thomas R. (2013):
Automatic testing of sequential and concurrent substitutability.
In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, San Francisco, CA, USA, In: ICSE '13, ISBN 978-1-4673-3076-3,
DOI: 10.1109/ICSE.2013.6606574,
[Conference or Workshop Item]

Pradel, Michael and Gross, Thomas R. (2012):
Leveraging test generation and specification mining for automated bug detection without false positives.
In: Proceedings of the 34th International Conference on Software Engineering, IEEE Press, Zurich, Switzerland, In: ICSE '12, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227185,
[Conference or Workshop Item]

Pradel, Michael and Jaspan, Ciera and Aldrich, Jonathan and Gross, Thomas R. (2012):
Statically checking API protocol conformance with mined multi-object specifications.
In: Proceedings of the 34th International Conference on Software Engineering, IEEE Press, Zurich, Switzerland, In: ICSE '12, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227127,
[Conference or Workshop Item]

This list was generated on Tue Oct 22 01:44:25 2019 CEST.