Travelled to:1 × USA
Collaborated with:R.A.DeMillo R.J.Lipton F.G.Sayward
Talks about:program (2) function (1) theoret (1) correct (1) studi (1) mutat (1) emper (1) test (1) use (1)
Person: Timothy A. Budd
DBLP: Budd:Timothy_A=
Contributed to:
1980Wrote 1 papers:
- POPL-1980-BuddDLS #correctness #functional #source code #using
- Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs (TAB, RAD, RJL, FGS), pp. 220–233.