Cited By
View all- Chao HLi HWang TLi XLiu B(2016)An accurate algorithm for computing mutation coverage in model checking2016 IEEE International Test Conference (ITC)10.1109/TEST.2016.7805864(1-10)Online publication date: Nov-2016
- Chen YYeh JHsiung PChen S(2014)Accelerating Coverage Estimation Through Partial Model CheckingIEEE Transactions on Computers10.1109/TC.2013.6363:7(1613-1625)Online publication date: Jul-2014
- Zhang LQu WGuo Y(2014)Optimization of the Translation of Labeled Transition Systems to Kripke StructuresProceedings of International Conference on Computer Science and Information Technology10.1007/978-81-322-1759-6_87(759-766)Online publication date: 2014
- Show More Cited By