Searched for: "symbolic execution with abstraction"
About 4 results for "symbolic execution with abstraction"
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads exe...
Program state-space exploration is central to software security, testing, and verification. In this paper, the authors propose a novel technique for state-space exploration of soft...
The authors contribute a new approach to the modular verification of higher-order programs that leverages behavioral software contracts as a rich source of symbolic values. Their a...
An IDE is basically an editor with a built-in runtime and additional tools. With the interactive_editor, you can embed your favorite editor in Ruby's interactive runtime.