1173 search results - page 20 / 235 » Filtering Test Models to Support Incremental Testing |
BPM
2005
Springer
14 years 1 months ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
CHARME
2003
Springer
14 years 26 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
We propose a Particle Filter model that incorporates Particle Swarm Optimization for predicting systems with multiplicative noise. The proposed model employs a conventional multio...
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...