14 search results - page 2 / 3 » issre 2007 |
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...
ISSRE
2007
IEEE
13 years 6 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...