388 search results - page 12 / 78 » Program Analysis Using Symbolic Ranges |
129
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
156
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
132
click to vote
CG
2000
Springer
15 years 3 months ago
2000
Springer
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
154
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
123
Voted
PEPM
2009
ACM
16 years 15 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...