4930 search results - page 146 / 986 » Testing a Safety-Critical Application |
183
click to vote
SEW
2007
IEEE
16 years 22 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
162
click to vote
STACS
2007
Springer
16 years 17 days ago
2007
Springer
A coloring of a graph is convex if it induces a partition of the vertices into connected subgraphs. Besides being an interesting property from a theoretical point of view, tests f...
176
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
156
click to vote
EDO
2005
Springer
15 years 12 months ago
2005
Springer
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
161
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...