3547 search results - page 235 / 710 » Pseudo-Exhaustive Testing for Software |
232
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
215
click to vote
ISSRE
2002
IEEE
16 years 5 days ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
195
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
185
click to vote
MTV
2005
IEEE
16 years 25 days ago
2005
IEEE
Semiconductor manufacturers aim at deliver new devices within shorter times in order to gain market shares. First silicon debug is an important issue in order to minimize the time...
189
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...