565 search results - page 37 / 113 » Compositional dynamic test generation |
99
Voted
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents two new algorithms, Redundant Vector Elimination(RVE) and Essential Fault Reduction (EFR), for generating compact test sets for combinational circuits under th...
151
click to vote
TSE
2010
14 years 8 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
114
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Today’s aerial robots are being tasked to fly in nearEarth environments such as caves, forests and buildings. The lack of flight data and performance metrics poses a gap that ...
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...