2419 search results - page 8 / 484 » A Formal Approach to Software Testing |
TSE
2002
14 years 9 months ago
2002
CONCUR
1999
Springer
15 years 1 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
CASSIS
2004
Springer
15 years 1 months ago
2004
Springer
FM
2005
Springer
15 years 2 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...