1112 search results - page 64 / 223 » Executing Abstract Test Cases |
113
click to vote
ICSM
2008
IEEE
15 years 9 months ago
2008
IEEE
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
154
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
AIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
121
click to vote
FATES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
118
click to vote
PTS
2007
15 years 4 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...