1722 search results - page 102 / 345 » Generating Tests from Counterexamples |
116
Voted
ASWEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
117
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
140
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
111
Voted
ITC
2000
IEEE
15 years 7 months ago
2000
IEEE
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external test modes. Together with a test access mechanism (T...
156
Voted
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...