Author:
Luckow Kasper,Dimjašević Marko,Giannakopoulou Dimitra,Howar Falk,Isberner Malte,Kahsai Temesghen,Rakamarić Zvonimir,Raman Vishwanath
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. ASM: A Java bytecode engineering library.
http://asm.ow2.org
2. Balasubramanian, D., Păsăreanu, C.S., Whalen, M.W., Karsai, G., Lowry, M.: Polyglot: modeling and analysis for multiple statechart formalisms. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 45–55 (2011)
3. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 5th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp. 209–224 (2008)
4. Lecture Notes in Computer Science;J Christ,2012
5. Deters, M., Reynolds, A., King, T., Barrett, C.W., Tinelli, C.: A tour of CVC4: how it works, and how to use it. In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD), p. 7 (2014)
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献