STG: a tool for generating symbolic test programs and oracles from operational specifications.
Duncan ClarkeThierry JéronVlad RusuElena ZinovievaPublished in: ESEC / SIGSOFT FSE (2001)
Keyphrases
- test cases
- unit testing
- set of test cases
- asynchronous circuits
- high level
- software testing
- control flow
- free software
- delay insensitive
- intermediate level
- real time
- recursive programs
- test suite
- formal specification
- answer sets
- software tools
- test data
- data mining
- symbolic representation
- generation process
- formal verification
- automatically generating
- software development
- active learning
- decision making
- genetic algorithm
- machine learning
- database