Do we need high-order mutation in fault-based Boolean-specification testing?
Ziyuan WangMin YuYang FengWeifeng ZhangPublished in: J. Syst. Softw. (2024)
Keyphrases
- high order
- higher order
- low order
- fault model
- pairwise
- genetic algorithm
- fault diagnosis
- fault detection
- formal verification
- boolean functions
- low rank
- fourth order
- evolutionary algorithm
- real time embedded systems
- lower order
- bayesian logistic regression
- markov random field
- multi task learning
- formal specification
- differential evolution
- software testing
- test cases
- neural network
- arithmetic coding
- multiscale
- context modeling
- code generation
- fitness function
- computer vision
- tensor analysis
- genetic algorithm ga