Publisher
Springer Nature Switzerland
Reference42 articles.
1. ANSI/ISO IEC 9899:1999 Standard for C Language (C99), Technical Corrigendo 3 (2007)
2. Lecture Notes in Computer Science;M Alpuente,2017
3. Alpuente, M., Pardo, D., Villanueva, A.: Abstract contract synthesis and verification in the symbolic K framework. Fundam. Inform. 177(3–4), 235–273 (2020)
4. Anand, S., Păsăreanu, C.S., Visser, W.: Symbolic execution with abstraction. STTT 11(1), 53–67 (2009). https://doi.org/10.1007/s10009-008-0090-1
5. Baldoni, R., Coppa, E., D’Elia, D., Demetrescu, C., Finocch, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3), 1–39 (2018)