Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.
Stefan KlikovitsDavid P. Y. LawrenceManuel Gonzalez-BergesDidier BuchsPublished in: SERENE (2016)
Keyphrases
- lessons learned
- programming language
- test case generation
- symbolic execution
- test data generation
- test cases
- software testing
- specification language
- object oriented
- simulated annealing algorithm
- general purpose
- object oriented systems
- software engineering
- test generation
- strongly typed
- programming environment
- case study
- high level
- test suite
- generation algorithm
- object oriented programming
- high level programming language
- denotational semantics
- functional programming
- fitness function
- programming tool
- genetic algorithm
- database