rel="stylesheet">
| Supervisors: | Pedro Miguel dos Santos Alves Madeira Adão, José Faustino Fragoso Femenin dos Santos |
| University: | Instituto Superior Técnico |
| Keywords: | Symbolic Execution, Runtime Modelling, Symbolic Summaries, Summary Correctness |
| Abstract: | PDF download |