2419 search results - page 125 / 484 » A Formal Approach to Software Testing |
115
Voted
SEFM
2003
IEEE
15 years 8 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
121
click to vote
DEBU
2008
15 years 3 months ago
2008
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...
92
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Economic testing of small devices like LCD drivers is a real challenge. In this paper we describe an approach where a production tester is extended by a memory test engine (MTE). ...
162
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
105
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...