2520 search results - page 197 / 504 » Model-checking behavioral programs |
160
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
192
click to vote
PDSE
1998
15 years 7 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
174
Voted
PTS
2010
15 years 4 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
296
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
164
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...