: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....
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...
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...