MicroTESK: Specification-Based Tool for Constructing Test Program Generators.
Mikhail M. ChupilkoAlexander KamkinArtem KotsynyakAndrei TatarnikovPublished in: Haifa Verification Conference (2017)
Keyphrases
- test cases
- unit testing
- data generator
- test case generation
- test suite
- program understanding
- specification language
- software tools
- database
- user friendly
- control program
- statistical tests
- machine learning
- conceptual model
- user defined
- formal specification
- test data
- high level
- learning algorithm
- information retrieval
- data mining
- data sets