C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An accurate algorithm for computing mutation coverage in model checking.
Huina Chao
Huawei Li
Tiancheng Wang
Xiaowei Li
Bo Liu
Published in:
ITC (2016)
Keyphrases
</>
model checking
computational complexity
deterministic finite automaton
dynamic programming
optimal solution
evolutionary algorithm
temporal logic
verification method
np hard
formal verification