Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.
Marc AiguierAgnès ArnouldClément BoinPascale Le GallBruno MarrePublished in: FATES (2005)
Keyphrases
- data sets
- test data
- test cases
- software testing
- unit testing
- statistical tests
- petri net
- test generation
- real world
- test sequences
- training data
- formal specification
- test suite
- testing process
- microarray data
- benchmark data sets
- selection algorithm
- test data generation
- control flow
- usability testing
- machine learning
- model based testing
- formal verification
- test set
- case study
- data streams