17 search results - page 1 / 4 » Efficient mutation testing by checking invariant violations |
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
12
Voted
IEEEARES
2010
IEEE
13 years 9 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
UML
2004
Springer
13 years 10 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
ISSTA
2010
ACM
13 years 6 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...