Michael Pradel
Michael Pradel
Professor of Computer Science, Head of Software Lab, University of Stuttgart
Bestätigte E-Mail-Adresse bei iste.uni-stuttgart.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Automatic generation of object usage specifications from large method traces
M Pradel, TR Gross
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
1802009
Deepbugs: A learning approach to name-based bug detection
M Pradel, K Sen
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
1512018
Getafix: Learning to fix bugs automatically
J Bader, A Scott, M Pradel, S Chandra
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
1022019
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
1022016
Automated program repair
CL Goues, M Pradel, A Roychoudhury
Communications of the ACM 62 (12), 56-65, 2019
1012019
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
982012
Performance regression testing of concurrent classes
M Pradel, M Huggler, TR Gross
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
892014
Fully automatic and precise detection of thread safety violations
M Pradel, TR Gross
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
782012
Leveraging test generation and specification mining for automated bug detection without false positives
M Pradel, TR Gross
2012 34th International Conference on Software Engineering (ICSE), 288-298, 2012
772012
Jitprof: Pinpointing jit-unfriendly javascript code
L Gong, M Pradel, K Sen
Proceedings of the 2015 10th joint meeting on foundations of software …, 2015
742015
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
742010
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
A Nistor, Q Luo, M Pradel, TR Gross, D Marinov
2012 34th International Conference on Software Engineering (ICSE), 727-737, 2012
732012
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
712015
Small world with high risks: A study of security threats in the npm ecosystem
M Zimmermann, CA Staicu, C Tenny, M Pradel
28th {USENIX} Security Symposium ({USENIX} Security 19), 995-1010, 2019
702019
TypeDevil: Dynamic type inconsistency analysis for JavaScript
M Pradel, P Schuh, K Sen
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
702015
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE. JS.
CA Staicu, M Pradel, B Livshits
NDSS, 2018
65*2018
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
602015
NL2Type: inferring JavaScript function types from natural language information
RS Malik, J Patra, M Pradel
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
582019
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), 1-36, 2017
562017
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
552014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20