2419 search results - page 8 / 484 » A Formal Approach to Software Testing |
TSE
2002
13 years 7 months ago
2002
CONCUR
1999
Springer
14 years 7 days 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
13 years 11 months ago
2004
Springer
FM
2005
Springer
14 years 1 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
14 years 2 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...