Abstract Interpretation of Symbolic Execution with Explicit State Updates
Paper i proceeding, 2009
Författare
Richard Bubel
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Reiner Hähnle
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Benjamin Weiss
Post Conf. Proceedings 6th Intl. Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France
Vol. 5751 247-277
354079123X (ISBN)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
ISBN
354079123X