50 search results - page 2 / 10 » kbse 2007 |
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we present a framework for estimating the energy consumption of Java-based software systems. Our primary objective is to enable an engineer to make informed decision...