Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

Wireless protocol testing and validation supported by formal methods. A hands-on report

“…They considered that, although the protocols seemed to be correct by construction, some kind of additional formal assessment was necessary. The interested reader may find similar development cycles in Burguillo-Rial et al (2002) and Fern andez-Iglesias et al (2001).…”