Seguir
Michael D. Ernst
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
Dirección de correo verificada de cs.washington.edu - Página principal
Título
Citado por
Citado por
Año
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
15172007
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
15102014
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
7552014
Randoop: feedback-directed random testing for Java
C Pacheco, MD Ernst
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007
7352007
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
5792009
Static and dynamic analysis: Synergy and duality
MD Ernst
WODA 2003: ICSE Workshop on Dynamic Analysis, 24-27, 2003
5762003
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
5162009
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
4332015
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
3512003
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
3202002
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20