Results from introducing component-level test automation and Test-Driven Development

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

Agile Software Development

Laurie Williams, James E. Tomayko · Computer Science Education · 2002 · 914 citations

Engineering, Education, Software Engineering +16

Orthogonal defect classification-a concept for in-process measurements

Ram Chillarege, I.S. Bhandari, J.K. Chaar et al. · IEEE Transactions on Software Engineering · 1992 · 780 citations

Engineering, Industrial Engineering, Measurement +26

Proceedings 25th International Conference on Software Engineering

25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 507 citations

Software Maintenance, Hybrid Event, Engineering +24

On the effectiveness of the test-first approach to programming

Hakan Erdogmus, Maurizio Morisio, Marco Torchiano · IEEE Transactions on Software Engineering · 2005 · 316 citations

Engineering, Test Passes, Education +18