CAT: A Customized Automata Toolkit

Ruoyu Wang, Guoqiang Li 0001, Daniel W. Sun, Jianwen Xiang, Hongming Cai. CAT: A Customized Automata Toolkit. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016. pages 171-177, IEEE, 2016. [doi]

Abstract

Abstract is missing.