2 search results - page 1 / 1 » Theoretical Aspects of Compositional Symbolic Execution |
FASE
2011
Springer
12 years 9 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
ECMDAFA
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...