Efficient Construction of Approximate Call Graphs for JavaScript IDE Services A Feldthaus, M Schäfer, M Sridharan, J Dolby, F Tip ICSE, 2013 | 177 | 2013 |
Correlation Tracking for Points-To Analysis of JavaScript M Sridharan, J Dolby, S Chandra, M Schäfer, F Tip ECOOP, 435-458, 2012 | 161 | 2012 |
Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving H Samimi, M Schäfer, S Artzi, T Millstein, F Tip, L Hendren ICSE, 277-287, 2012 | 149 | 2012 |
Specifying and Implementing Refactorings M Schäfer, O de Moor OOPSLA, 286-301, 2010 | 126 | 2010 |
Sound and Extensible Renaming for Java M Schäfer, T Ekman, O de Moor OOPSLA, 277-294, 2008 | 112 | 2008 |
Distributed analysis and attribution of source code A Baars, AS Henriksen, M Schaefer US Patent 9,417,985, 2016 | 105 | 2016 |
QL: Object-oriented Queries on Relational Data P Avgustinov, O de Moor, M Peyton Jones, M Schäfer ECOOP, 2015 | 105 | 2015 |
Dynamic determinacy analysis M Schäfer, M Sridharan, J Dolby, F Tip Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 93 | 2013 |
Tool-supported Refactoring for JavaScript A Feldthaus, T Millstein, A Møller, M Schäfer, F Tip OOPSLA, 119-138, 2011 | 84 | 2011 |
Stepping Stones over the Refactoring Rubicon M Schäfer, M Verbaere, T Ekman, O De Moor ECOOP, 369-393, 2009 | 81* | 2009 |
Refactoring Java Programs for Flexible Locking M Schäfer, M Sridharan, J Dolby, F Tip ICSE, 71-80, 2011 | 73 | 2011 |
Correct Refactoring of Concurrent Java Code M Schäfer, J Dolby, M Sridharan, E Torlak, F Tip ECOOP, 225-249, 2010 | 66 | 2010 |
Refactoring with synthesis V Raychev, M Schäfer, M Sridharan, M Vechev Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 59 | 2013 |
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation M Schäfer, S Nadi, A Eghbali, F Tip IEEE Transactions on Software Engineering, 2023 | 56 | 2023 |
Challenge proposal: Verification of refactorings M Schäfer, T Ekman, O de Moor Proceedings of the 3rd workshop on Programming languages meets program …, 2009 | 54 | 2009 |
Extracting Taint Specifications for JavaScript Libraries CA Staicu, MT Torp, M Schäfer, A Møller, M Pradel Proc. 42nd International Conference on Software Engineering (ICSE), 2020 | 46 | 2020 |
Tracking Static Analysis Violations Over Time to Capture Developer Characteristics P Avgustinov, AI Baars, AS Henriksen, G Lavender, G Menzel, O de Moor, ... International Conference on Software Engineering, 2015 | 44 | 2015 |
Practical automated detection of malicious npm packages A Sejfia, M Schäfer Proceedings of the 44th International Conference on Software Engineering …, 2022 | 43 | 2022 |
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub D Gonzalez, T Zimmermann, P Godefroid, M Schäfer 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 42 | 2021 |
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs M Schäfer, A Thies, F Steimann, F Tip Transactions on Software Engineering 38 (6), 1233-1257, 2012 | 39 | 2012 |