1112 search results - page 99 / 223 » Executing Abstract Test Cases |
114
click to vote
PADL
1999
Springer
15 years 7 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
175
click to vote
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
132
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
It is critical to guarantee the reliability of serviceoriented applications. This is because they may employ remote Web Services as components, which may easily become unavailable...
110
click to vote
AAAI
1994
15 years 4 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
122
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....