| 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 | 152 | 2009 |
| 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 | 72 | 2012 |
| Performance regression testing of concurrent classes M Pradel, M Huggler, TR Gross Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 65 | 2014 |
| Fully automatic and precise detection of thread safety violations M Pradel, TR Gross Acm Sigplan Notices 47 (6), 521-530, 2012 | 64 | 2012 |
| 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 | 62 | 2012 |
| 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 | 62 | 2010 |
| 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 | 55 | 2012 |
| JITProf: pinpointing JIT-unfriendly JavaScript code L Gong, M Pradel, K Sen Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 53 | 2015 |
| 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 | 52 | 2016 |
| 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 | 51 | 2015 |
| TypeDevil: Dynamic type inconsistency analysis for JavaScript M Pradel, P Schuh, K Sen Proceedings of the 37th International Conference on Software Engineering …, 2015 | 49 | 2015 |
| 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 | 43 | 2014 |
| DeepBugs: A learning approach to name-based bug detection M Pradel, K Sen Proceedings of the ACM on Programming Languages 2 (OOPSLA), 147, 2018 | 40 | 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 | 40 | 2015 |
| 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 | 35 | 2017 |
| 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 | 32 | 2017 |
| 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 | 31 | 2013 |
| 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 | 27 | 2016 |
| 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 | 24 | 2017 |
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
