Michael D. Ernst
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
E-mail confirmado em cs.washington.edu - Página inicial
TítuloCitado porAno
Dynamically discovering likely program invariants to support program evolution
MD Ernst, J Cockrell, WG Griswold, D Notkin
IEEE Transactions on Software Engineering 27 (2), 99-123, 2001
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
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
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 (3), 212-232, 2005
Feedback-directed random test generation
C Pacheco, SK Lahiri, MD Ernst, T Ball
Proceedings of the 29th international conference on Software Engineering, 75-84, 2007
Automatic creation of SQL injection and cross-site scripting attacks
A Kieyzun, PJ Guo, K Jayaraman, MD Ernst
Proceedings of the 31st International Conference on Software Engineering …, 2009
Static and dynamic analysis: Synergy and duality
MD Ernst
WODA 2003: ICSE Workshop on Dynamic Analysis, 24-27, 2003
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
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
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
Randoop: feedback-directed random testing for Java
C Pacheco, MD Ernst
OOPSLA Companion, 815-816, 2007
Eclat: Automatic generation and classification of test inputs
C Pacheco, MD Ernst
European Conference on Object-Oriented Programming, 504-527, 2005
Quickly detecting relevant program invariants
MD Ernst, A Czeisler, WG Griswold, D Notkin
Proceedings of the 22nd international conference on Software engineering …, 2000
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
An empirical analysis of C preprocessor use
MD Ernst, GJ Badros, D Notkin
IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002
Automatic SAT-compilation of planning problems
MD Ernst, TD Millstein, DS Weld
IJCAI 97, 1169-1176, 1997
Automated support for program refactoring using invariants
Y Kataoka, MD Ernst, WG Griswold, D Notkin
Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 …, 2001
Improving test suites via operational abstraction
M Harder, J Mellen, MD Ernst
Proceedings of the 25th international conference on Software engineering, 60-71, 2003
Finding latent code errors via machine learning over program executions
Y Brun, MD Ernst
Proceedings. 26th International Conference on Software Engineering, 480-490, 2004
Quantitative information flow as network flow capacity
S McCamant, MD Ernst
ACM SIGPLAN Notices 43 (6), 193-205, 2008
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20