ECBS
2010
IEEE
14 years 4 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
ICTAC
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based speciļ¬cations. In this paper we propose an approach to derive t...
FATES
2004
Springer
14 years 4 months ago
2004
Springer
We present an extension of Tretmansā theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
CBSE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
TACAS
2005
Springer
14 years 5 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a speciļ¬cation, in the context of rea...
GECCO
2005
Springer
14 years 5 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
QSIC
2005
IEEE
14 years 5 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
ISORC
2005
IEEE
14 years 5 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
ECBS
2005
IEEE
14 years 5 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...