BoolMuTest: A Prototype Tool for Fault-Based Boolean-Specification Testing (P).
Ziyuan WangPublished in: SEKE (2018)
Keyphrases
- real valued
- database
- databases
- fault diagnosis
- boolean functions
- multi agent
- formal verification
- test cases
- conceptual model
- unit testing
- fault injection
- fault model
- tool support
- code generation
- specification language
- analysis tool
- formal methods
- test bed
- test set
- high level
- web services
- genetic algorithm
- neural network
- data sets