Monadic Sequence Testing and Explicit Test-Refinements.
Achim D. BruckerBurkhart WolffPublished in: TAP@STAF (2016)
Keyphrases
- software testing
- test cases
- test generation
- test sequences
- test data
- test suite
- model based testing
- statistical tests
- software engineering
- website
- databases
- testing process
- test case generation
- integration testing
- test set
- hidden markov models
- relational databases
- similarity measure
- search engine
- learning algorithm
- datalog queries
- code coverage
- real time