Sciweavers

Share
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
9 years 4 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
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ļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
ICTAC
2004
Springer
9 years 4 months ago
Combining Algebraic and Model-Based Test Case Generation
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...
Li Dan, Bernhard K. Aichernig
FATES
2004
Springer
9 years 4 months ago
A Test Generation Framework for quiescent Real-Time Systems
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...
Laura Brandán Briones, Ed Brinksma
CBSE
2004
Springer
9 years 4 months ago
A Framework for Reliability Assessment of Software Components
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
Rakesh Shukla, Paul A. Strooper, David A. Carringt...
ISSTA
2004
ACM
9 years 4 months ago
Evolutionary testing of classes
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 ...
Paolo Tonella
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
9 years 4 months ago
Symbolic Test Selection Based on Approximate Analysis
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...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
GECCO
2005
Springer
159views Optimization» more  GECCO 2005»
9 years 4 months ago
Using evolutionary algorithms for the unit testing of object-oriented software
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...
Stefan Wappler, Frank Lammermann
QSIC
2005
IEEE
9 years 4 months ago
Test Case Generation by OCL Mutation and Constraint Solving
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 ...
Bernhard K. Aichernig, Percy Antonio Pari Salas
ISORC
2005
IEEE
9 years 4 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
9 years 4 months ago
Traceability-Driven Model Refinement for Test Case Generation
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...
Matthias Riebisch, Michael Hübner
books