Robustness testing for software components

Applying 'design by contract'

Bertrand Meyer · Computer · 1992 · 2.1K citations

Computing, Computer Science, Design +15

Proof-carrying code

George C. Necula · 1997 · 1.8K citations

Computing, Computer Engineering, Computer Science +10

An empirical study of the reliability of UNIX utilities

Barton P. Miller, Lars Fredriksen, Bryan So · Communications of the ACM · 1990 · 1.3K citations · Full text

Computing, Computer Science, Computer Systems +13

Feedback-Directed Random Test Generation

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 851 citations

Computing, Computer Science, Experimental Design +10

Test Generation with Inputs, Outputs and Repetitive Quiescence

Jan Tretmans · 1996 · 487 citations

Computing, Computer Science, Computer Systems +17