5855 search results - page 78 / 1171 » Test generation and minimization with |
110
click to vote
IICAI
2007
15 years 2 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
134
click to vote
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
155
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
127
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
125
click to vote
EURODAC
1990
IEEE
15 years 5 months ago
1990
IEEE
In this paper an efficient cone oriented circuit partitioning method is presented, which significantly speeds up automatic test pattern generation for combinational circuits. The ...