3281 search results - page 1 / 657 » An Approach to use Executable Models for Testing |
GI
2009
Springer
13 years 4 months ago
2009
Springer
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
EMISA
2007
Springer
14 years 13 days ago
2007
Springer
CAISE
2009
Springer
14 years 25 days ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
FMCO
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...