197 search results - page 7 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
113
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
123
Voted
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
91
Voted
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
97
Voted
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
120
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...