219 search results - page 39 / 44 » Dynamic partial-order reduction for model checking software |
95
Voted
VEE
2010
ACM
15 years 6 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
98
Voted
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
90
Voted
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
79
Voted
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...