A Revisit of Fault-Detecting Probability of Combinatorial Testing for Boolean-Specifications (P).
Min YuZiyuan WangFeiyan SheYuanchao QiPublished in: SEKE (2018)
Keyphrases
- probability distribution
- real valued
- fault detection
- fault diagnosis
- boolean functions
- fault injection
- fault model
- test cases
- real time embedded systems
- design requirements
- boolean queries
- formal specification
- automatic detection
- neural network
- software testing
- specification language
- model checking
- search algorithm
- delay insensitive
- normal operation
- data sets
- real time