1722 search results - page 100 / 345 » Generating Tests from Counterexamples |
119
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
132
click to vote
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
120
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper presents the development of a biomechatronic knee prosthesis for transfemoral amputees. This kind of prostheses are considered ‘intelligent’ because they are abl...
111
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
124
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
System-on-chip (SOC) design methodology is becoming the trend in the IC industry. Integrating reusable cores from multiple sources is essential in SOC design, and different design...