Author:
Lamperti Gianfranco,Zhao Xiangfu
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Computer Science;B Aichernig,2013
2. Aichernig, B., Jöbstl, E., Tiran, S.: Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97(4), 383–404 (2015)
3. Frontiers in Artificial Intelligence and Applications;S Balan,2014
4. Lecture Notes in Computer Science;S Balan,2014
5. Brognoli, S., Lamperti, G., Scandale, M.: Incremental determinization of expanding automata. Comput. J. 59(12), 1872–1899 (2016)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献