Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.
Mutsunori BanbaraNaoyuki TamuraKatsumi InouePublished in: ICLP (Technical Communications) (2012)
Keyphrases
- test cases
- answer set programming
- event sequences
- logic programming
- logic programs
- answer sets
- test data
- test suite
- software testing
- regression testing
- test set
- test case selection
- number of test cases
- reasoning tasks
- answer set programs
- stable models
- test generation
- knowledge representation
- model based testing
- test suite reduction
- object oriented
- testing process
- event types
- test case generation
- knowledge base
- training set
- natural language
- training data
- declarative programming
- software engineering
- programming language