483 search results - page 96 / 97 » Model driven code checking |
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
IFIP
2001
Springer
13 years 9 months ago
2001
Springer
ā Semi-formal veriļ¬cation based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
APLAS
2006
ACM
13 years 9 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...