56 search results - page 2 / 12 » Guided path exploration for regression test generation |
DSN
2009
IEEE
14 years 20 hour ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
ICRA
1994
IEEE
13 years 9 months ago
1994
IEEE
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main contributions are (1) an analysis of the capabilit...
SIGSOFT
2003
ACM
14 years 6 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 ...
TOG
2012
11 years 7 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
VTS
1995
IEEE
13 years 8 months ago
1995
IEEE
In this paper, we propose an entirely new Built-In Self Test scheme for high-level synthesis of data path architectures that makes use of the arithmetic blocks in the data path to...