200 search results - page 13 / 40 » A Global Algorithm for Model-Based Test Suite Generation |
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
14 years 9 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
MSV
2007
14 years 11 months ago
2007
Abstract - In this paper, an essential oil extraction system with self-refilling system is modeled based on inputoutput data collected from a dedicated acquisition system. The ARMA...
VTS
1999
IEEE
15 years 1 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
IGPL
2000
14 years 9 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...