5855 search results - page 127 / 1171 » Test generation and minimization with |
102
click to vote
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
SE
2007
15 years 2 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
123
click to vote
IOLTS
2000
IEEE
15 years 6 months ago
2000
IEEE
The combination of higher quality requirements and sensitivity of high performance circuits to delay defects has led to an increasing emphasis on delay testing of VLSI circuits. A...
148
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Most of today’s event driven software (EDS) systems are tested using test cases that are carefully constructed as sequences of events; they test the execution of an event in the...
139
click to vote
WISES
2003
15 years 2 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...