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

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

ISBN

354079123X