Trial for improving quality of specification document through writing system specifications and test cases concurrently.
Taiga WakamatsuYutaro MikadukiNoriyuki KushiroPublished in: APSEC (2022)
Keyphrases
- test cases
- test case generation
- unit testing
- software testing
- test data
- formal specification
- test suite
- test generation
- black box
- specification language
- quality assurance
- code coverage
- regression testing
- test sequences
- test set
- high level
- reactive systems
- test data generation
- testing process
- transition systems
- object oriented
- model based testing
- sequence diagrams
- set of test cases
- test case selection
- machine learning
- distributed systems
- software engineering
- data model
- neural network
- domain specific languages
- covering arrays
- number of test cases
- data sets
- test suite reduction
- database