Michael Pradel
Michael Pradel
Professor of Computer Science, Head of Software Lab, University of Stuttgart
Verified email at binaervarianz.de - Homepage
TitleCited byYear
Automatic generation of object usage specifications from large method traces
M Pradel, TR Gross
Proceedings of the 2009 IEEE/ACM International Conference on Automated …, 2009
1522009
Statically checking API protocol conformance with mined multi-object specifications
M Pradel, C Jaspan, J Aldrich, TR Gross
2012 34th International Conference on Software Engineering (ICSE), 925-935, 2012
722012
Performance regression testing of concurrent classes
M Pradel, M Huggler, TR Gross
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
652014
Fully automatic and precise detection of thread safety violations
M Pradel, TR Gross
Acm Sigplan Notices 47 (6), 521-530, 2012
642012
Leveraging test generation and specification mining for automated bug detection without false positives
M Pradel, TR Gross
Proceedings of the 34th International Conference on Software Engineering …, 2012
622012
A framework for the evaluation of specification miners based on finite state machines
M Pradel, P Bichsel, TR Gross
2010 IEEE International Conference on Software Maintenance, 1-10, 2010
622010
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
A Nistor, Q Luo, M Pradel, TR Gross, D Marinov
Proceedings of the 34th International Conference on Software Engineering …, 2012
552012
JITProf: pinpointing JIT-unfriendly JavaScript code
L Gong, M Pradel, K Sen
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
532015
Performance issues and optimizations in JavaScript: an empirical study
M Selakovic, M Pradel
Proceedings of the 38th International Conference on Software Engineering, 61-72, 2016
522016
DLint: dynamically checking bad coding practices in JavaScript
L Gong, M Pradel, M Sridharan, K Sen
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
512015
TypeDevil: Dynamic type inconsistency analysis for JavaScript
M Pradel, P Schuh, K Sen
Proceedings of the 37th International Conference on Software Engineering …, 2015
492015
EventBreak: Analyzing the responsiveness of user interfaces through performance-guided test generation
M Pradel, P Schuh, G Necula, K Sen
ACM SIGPLAN Notices 49 (10), 33-47, 2014
432014
DeepBugs: A learning approach to name-based bug detection
M Pradel, K Sen
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 147, 2018
402018
Performance problems you can fix: A dynamic analysis of memoization opportunities
L Della Toffola, M Pradel, TR Gross
ACM SIGPLAN Notices 50 (10), 607-622, 2015
402015
A survey of dynamic analysis and test generation for JavaScript
E Andreasen, L Gong, A Møller, M Pradel, M Selakovic, K Sen, CA Staicu
ACM Computing Surveys (CSUR) 50 (5), 66, 2017
352017
Making malory behave maliciously: Targeted fuzzing of android execution environments
S Rasthofer, S Arzt, S Triller, M Pradel
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
322017
Bita: Coverage-guided, automatic testing of actor programs
S Tasharofi, M Pradel, Y Lin, R Johnson
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
312013
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE. JS.
CA Staicu, M Pradel, B Livshits
NDSS, 2018
29*2018
Monkey see, monkey do: effective generation of GUI tests with inferred macro events
M Ermuth, M Pradel
Proceedings of the 25th International Symposium on Software Testing and …, 2016
272016
Efficient detection of thread safety violations via coverage-guided generation of concurrent tests
A Choudhary, S Lu, M Pradel
Proceedings of the 39th International Conference on Software Engineering …, 2017
242017
The system can't perform the operation now. Try again later.
Articles 1–20