| Event-based runtime verification of Java programs M d'Amorim, K Havelund ACM SIGSOFT software engineering notes 30 (4), 1-7, 2005 | 183 | 2005 |
| Efficient Monitoring of ω-Languages M d’Amorim, G Roşu Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 150 | 2005 |
| A formal monitoring-based framework for software development and analysis F Chen, M d’Amorim, G Roşu Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 100 | 2004 |
| Static analysis of implicit control flow: Resolving java reflection and android intents (t) P Barros, R Just, S Millstein, P Vines, W Dietl, M d'Amorim, MD Ernst 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 97 | 2015 |
| Entropy-based test generation for improved fault localization J Campos, R Abreu, G Fraser, M d'Amorim 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 95 | 2013 |
| SPLat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems CHP Kim, D Marinov, S Khurshid, D Batory, S Souto, P Barros, ... Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 91 | 2013 |
| What is the vocabulary of flaky tests? G Pinto, B Miranda, S Dissanayake, M d'Amorim, C Treude, A Bertolino Proceedings of the 17th International Conference on Mining Software …, 2020 | 89 | 2020 |
| Coral: Solving complex constraints for symbolic pathfinder M Souza, M Borges, M d’Amorim, CS Păsăreanu NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 86 | 2011 |
| An empirical comparison of automated generation and classification techniques for object-oriented unit testing M d'Amorim, C Pacheco, T Xie, D Marinov, MD Ernst 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 83 | 2006 |
| Fault-localization using dynamic slicing and change impact analysis E Alves, M Gligoric, V Jagannath, M d'Amorim 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 82 | 2011 |
| Checking and correcting behaviors of Java programs at runtime with Java-MOP F Chen, M d'Amorim, G Roşu Electronic Notes in Theoretical Computer Science 144 (4), 3-20, 2006 | 70 | 2006 |
| Automatically translating bug reports into test cases for mobile apps M Fazzini, M Prammer, M d'Amorim, A Orso Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 68 | 2018 |
| Compositional solution space quantification for probabilistic software analysis M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 64 | 2014 |
| Quantifying information leaks using reliability analysis QS Phan, P Malacaria, CS Păsăreanu, M d'Amorim Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 59 | 2014 |
| Shake it! detecting flaky tests caused by concurrency with shaker D Silva, L Teixeira, M d’Amorim 2020 IEEE International Conference on Software Maintenance and Evolution …, 2020 | 57 | 2020 |
| Delta execution for efficient state-space exploration of object-oriented programs M d'Amorim, S Lauterburg, D Marinov Proceedings of the 2007 international symposium on Software testing and …, 2007 | 56 | 2007 |
| Symbolic execution with interval solving and meta-heuristic search M Borges, M d'Amorim, S Anand, D Bushnell, CS Pasareanu 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 55 | 2012 |
| Code generation tools (almost) for free? a study of few-shot, pre-trained language models on code P Bareiß, B Souza, M d'Amorim, M Pradel arXiv preprint arXiv:2206.01335, 2022 | 53 | 2022 |
| Balancing soundness and efficiency for practical testing of configurable systems S Souto, M d'Amorim, R Gheyi 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 44 | 2017 |
| Prevalence of single-fault fixes and its impact on fault localization A Perez, R Abreu, M d'Amorim 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 43 | 2017 |
