Abstract Interpretation of Symbolic Execution with Explicit State Updates
Paper in proceeding, 2009
Author
Richard Bubel
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (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)
Subject Categories
Software Engineering
Computer Science
ISBN
354079123X