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