David Notkin
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Advanced Software Engineering Methodologies, Software Reliability and Analysis Research, Software System Performance and Reliability
Most-Cited Works
- → Dynamically discovering likely program invariants to support program evolution(2001)1,039 cited
- Proceedings of the 2013 International Conference on Software Engineering(2013)
- → An empirical study of code clone genealogies(2005)517 cited
- → Software reflexion models(1995)475 cited
- → ArchJava(2002)447 cited
- → Software reflexion models: bridging the gap between design and implementation(2001)391 cited
- → Model checking large software specifications(1996)308 cited
- → Gandalf: Software development environments(1986)302 cited
- → Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution(2005)282 cited