Follow
Michael D. Ernst
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Dynamically discovering likely program invariants to support program evolution
MD Ernst, J Cockrell, WG Griswold, D Notkin
Proceedings of the 21st international conference on Software engineering …, 1999
18301999
The Daikon system for dynamic detection of likely invariants
MD Ernst, JH Perkins, PJ Guo, S McCamant, C Pacheco, MS Tschantz, ...
Science of computer programming 69 (1-3), 35-45, 2007
15202007
Defects4J: A database of existing faults to enable controlled testing studies for Java programs
R Just, D Jalali, MD Ernst
Proceedings of the 2014 international symposium on software testing and …, 2014
15182014
HaLoop: Efficient iterative data processing on large clusters
Y Bu, B Howe, M Balazinska, MD Ernst
Proceedings of the VLDB Endowment 3 (1-2), 285-296, 2010
12142010
Feedback-directed random test generation
C Pacheco, SK Lahiri, MD Ernst, T Ball
29th International Conference on Software Engineering (ICSE'07), 75-84, 2007
11802007
An overview of JML tools and applications
L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...
International journal on software tools for technology transfer 7, 212-232, 2005
8932005
Are mutants a valid substitute for real faults in software testing?
R Just, D Jalali, L Inozemtseva, MD Ernst, R Holmes, G Fraser
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
7572014
Randoop: feedback-directed random testing for Java
C Pacheco, MD Ernst
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007
7362007
Automatic creation of SQL injection and cross-site scripting attacks
A Kieyzun, PJ Guo, K Jayaraman, MD Ernst
2009 IEEE 31st international conference on software engineering, 199-209, 2009
5782009
Static and dynamic analysis: Synergy and duality
MD Ernst
WODA 2003: ICSE Workshop on Dynamic Analysis, 24-27, 2003
5772003
Automatically patching errors in deployed software
JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
5172009
Evaluating and improving fault localization
S Pearson, J Campos, R Just, G Fraser, R Abreu, MD Ernst, D Pang, ...
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
4972017
Verdi: a framework for implementing and formally verifying distributed systems
JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ...
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
4352015
Eclat: Automatic generation and classification of test inputs
C Pacheco, MD Ernst
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
3632005
HAMPI: a solver for string constraints
A Kiezun, V Ganesh, PJ Guo, P Hooimeijer, MD Ernst
Proceedings of the eighteenth international symposium on Software testing …, 2009
3592009
An overview of JML tools and applications
L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ...
Electronic Notes in Theoretical Computer Science 80, 75-91, 2003
3522003
Quickly detecting relevant program invariants
MD Ernst, A Czeisler, WG Griswold, D Notkin
Proceedings of the 22nd international conference on Software engineering …, 2000
3282000
An empirical analysis of C preprocessor use
MD Ernst, GJ Badros, D Notkin
IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002
3212002
Proactive detection of collaboration conflicts
Y Brun, R Holmes, MD Ernst, D Notkin
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
3092011
Leveraging existing instrumentation to automatically infer invariant-constrained models
I Beschastnikh, Y Brun, S Schneider, M Sloan, MD Ernst
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
2972011
The system can't perform the operation now. Try again later.
Articles 1–20