Sotabase

Career

· Professor - Paul G. Allen School of Computer Science & Engineering, University of Washington2024–
· Data Business Analyst, Strategic Workforce Planning Reporting Solutions Specialist, Sunrise Systems, Inc.2023–2024
· Researcher, Microsoft Research2009–
· Researcher, MIT2009–
· Professor of Computer Science & Engineering, University of Washington2009–

Publications (518)

Defects4J: a database of existing faults to enable controlled testing studies for Java programs
International Symposium on Software Testing and Analysis · 2014
1,519
cited
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) · 1999
1,441
cited
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming · 2007
1,196
cited
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) · 2003
942
cited
Feedback-Directed Random Test Generation
International Conference on Software Engineering · 2007
912
cited
Effect of Aspirin on Cardiovascular Events and Bleeding in the Healthy Elderly
New England Journal of Medicine · 2018
906
cited
Effect of Aspirin on All‐Cause Mortality in the Healthy Elderly
New England Journal of Medicine · 2018
672
cited
Randoop: feedback-directed random testing for Java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2007
635
cited
Are mutants a valid substitute for real faults in software testing?
SIGSOFT FSE · 2014
631
cited
Effect of Aspirin on Disability‐free Survival in the Healthy Elderly
New England Journal of Medicine · 2018
464
cited
Automatically patching errors in deployed software
Symposium on Operating Systems Principles · 2009
428
cited
Automatic creation of SQL Injection and cross-site scripting attacks
2009 IEEE 31st International Conference on Software Engineering · 2009
425
cited
Comparative Antihypertensive Effects of Hydrochlorothiazide and Chlorthalidone on Ambulatory and Office Blood Pressure
HYPERTENSION · 2006
422
cited
Evaluating and Improving Fault Localization
International Conference on Software Engineering · 2017
415
cited
Static and dynamic analysis: synergy and duality
2003
379
cited
Verdi: a framework for implementing and formally verifying distributed systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
359
cited
HAMPI: a solver for string constraints
International Symposium on Software Testing and Analysis · 2009
333
cited
Influence of Test Conditions on Antifungal Time-Kill Curve Results: Proposal for Standardized Methods
Antimicrobial Agents and Chemotherapy · 1998
316
cited
Hydrochlorothiazide versus chlorthalidone: evidence supporting their interchangeability.
HYPERTENSION · 2004
296
cited
Eclat: Automatic Generation and Classification of Test Inputs
European Conference on Object-Oriented Programming · 2005
275
cited
Sotabase