1492 search results - page 78 / 299 » Automatic Software Model Checking Using CLP |
107
Voted
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
126
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
130
Voted
ISPW
2005
IEEE
15 years 7 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
158
Voted
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
122
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...