Timothy A. Budd

Two notions of correctness and their relation to testing

Timothy A. Budd, Dana Angluin · Acta Informatica · 1982 · 259 citations

Social Sciences, Mathematics, Test Construction +5

Mutation analysis of program test data

Timothy A. Budd · 1980 · 234 citations

Computing, Computer Science, Fault Tolerance +11

Theoretical and empirical studies on using program mutation to test the functional correctness of programs

Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton et al. · 1980 · 156 citations · Full text

Computing, Computer Engineering, Computer Science +9

Program testing by specification mutation

Timothy A. Budd, Ajei Gopal · Computer Languages · 1985 · 89 citations

Computing, Computer Engineering, Computer Science +13

The design of a prototype mutation system for program testing.

Timothy A. Budd, Richard J. Lipton, Richard A. DeMillo et al. · AFIPS conference proceedings · 1978 · 85 citations

Computing, Computer Science, Algorithms +12