338 search results - page 6 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
125
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
123
click to vote
FORTEST
2008
15 years 3 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
112
Voted
IWPSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
134
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
116
click to vote
SSIRI
2010
15 years 7 days ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...