Paper Info
Title
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
Abstract
We propose an approach to testing that combines formal methods with practical criteria, close to the testing engineer's experience. It can be seen as a framework to evaluate and select test suites using formal methods, assisted by informal heuristics. This proposal is illustrated with a practical case study: the testing of a protocol for mobile auctions in a distributed, wireless environment.
Year
DOI
Venue
2002
10.1007/3-540-45614-7_4
FME
Keywords
Field
DocType
informal heuristics,formal method,formal specifications,testing engineer,heuristic-driven test case selection,case study,mobile auction,select test suite,practical criterion,wireless environment,practical case study,formal specification
Test method,Heuristic,Wireless,Computer science,Theoretical computer science,Formal specification,Heuristics,Common value auction,Formal methods,Formal testing
Conference
ISBN
Citations 
PageRank 
3-540-43928-5
5
0.54
References 
Authors
21
4
Name
Order
Citations
PageRank
Juan C. Burguillo-rial136940.17
Manuel J. Fernández Iglesias22814.58
Francisco J. González-Castaño316731.27
Martín Llamas Nistal410835.60