48 search results - page 1 / 10 » Improving Static Variable Orders Via Invariants |
85
Voted
APN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
109
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
109
click to vote
COMPSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
94
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
88
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...