1492 search results - page 37 / 299 » Automatic Software Model Checking Using CLP |
135
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
110
click to vote
FATES
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
125
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
109
click to vote
RISE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
METRICS
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...