Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.
Timothy A. BuddRichard A. DeMilloRichard J. LiptonFrederick G. SaywardPublished in: POPL (1980)
Keyphrases
- computer programs
- set of test cases
- control program
- test cases
- program execution
- programming environment
- functional programs
- automatic programming
- computer chess
- java programs
- high level programming language
- functional language
- symbolic execution
- evolutionary algorithm
- genetic algorithm
- concurrent programs
- prolog programs
- theoretical considerations
- programming environments
- provably correct
- theoretical models
- empirical findings
- novice programmers
- control flow
- program slicing
- test generation
- programming language
- programming education
- program code
- application programs
- intermediate level
- fault localization
- empirical studies
- test data
- functional programming
- experimental design
- test suite
- mutation operator
- stable model semantics