Abstract Interpretation of Symbolic Execution with Explicit State Updates
Paper in proceedings, 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

Subject Categories

Software Engineering

Computer Science

ISBN

354079123X

More information

Created

10/6/2017