Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking.
Weijian TangKeming WangPublished in: ISKE (2021)
Keyphrases
- test cases
- model checking
- multi agent systems
- coalition logic
- temporal logic
- epistemic logic
- software testing
- model checker
- formal specification
- automated verification
- formal verification
- finite state machines
- test suite
- temporal properties
- test set
- symbolic model checking
- verification method
- bounded model checking
- number of test cases
- multi agent
- regression testing
- cooperative
- test suite reduction
- pspace complete
- cl pc
- game theory
- test case generation
- computation tree logic
- model based testing
- formal methods
- object oriented
- transition systems
- testing process
- test case selection
- dynamic analysis
- linear temporal logic
- web services
- knowledge base
- artificial intelligence