Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution
Συγγραφείς:	Tempel, Sören, Dietrich, Christian
Πηγή:	Proceedings of the 8th International Workshop on Automated and verifiable Software sYstem DEvelopment. :49-56
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3843777.3844530
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
DOI:	10.1145/3843777.3844530