2419 search results - page 140 / 484 » A Formal Approach to Software Testing |
194
click to vote
ICSM
2007
IEEE
16 years 20 days ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
194
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
157
click to vote
ICSM
2006
IEEE
16 years 12 days ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
167
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
153
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...