197 search results - page 7 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
ISSTA
2006
ACM
15 years 3 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...
101
click to vote
ICSEA
2007
IEEE
15 years 3 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...
POLICY
2007
Springer
15 years 3 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...
TACAS
2000
Springer
15 years 1 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...
95
Voted
RE
2010
Springer
14 years 8 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...