Author:
Lin Yu-Yang,Tzevelekos Nikos
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;N Amla,2003
2. Andersen, L.O.: Program analysis and specialization for the C programming language. Ph.D. thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19)
3. Lecture Notes in Computer Science;A Biere,1999
4. Boyer, R.S., Elspas, B., Levitt, K.: SELECT-a formal system for testing and debugging programs by symbolic execution. ACM SIGPLAN Not. 10, 234–245 (1975)
5. Burn, T.C., Ong, C.L., Ramsay, S.J.: Higher-order constrained horn clauses for verification. In: PACMPL, 2(POPL), pp. 11:1–11:28 (2018)