1112 search results - page 138 / 223 » Executing Abstract Test Cases |
DAGSTUHL
2004
15 years 4 months ago
2004
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...
106
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
126
click to vote
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Online optimization allows the continuous restructuring and adaptation of an executing application using live information about its execution environment. The further ad...
182
click to vote
KIVS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
122
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...