Sciweavers

2877 search results - page 98 / 576
» The Complexity of Planarity Testing
Sort
View
COMPSAC
2006
IEEE
15 years 10 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
ISSRE
2006
IEEE
15 years 10 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...
COMPSAC
2003
IEEE
15 years 9 months ago
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
Huo Yan Chen, Yu Xia Sun, T. H. Tse
VTS
2003
IEEE
88views Hardware» more  VTS 2003»
15 years 9 months ago
Use of Multiple IDDQ Test Metrics for Outlier Identification
With increasing circuit complexity and reliability requirements, screening outlier chips is an increasingly important test challenge. This is especially true for IDDQ test due to ...
Sagar S. Sabade, D. M. H. Walker
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 8 months ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon