Manuel J. Fernández Iglesias

Learn More
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. We also introduce the formalism of enriched transition systems to store information obtained during the(More)
We apply formal testing and validation techniques and tools to analyse a configuration protocol for a Bluetooth Location Network (BLN). This network is composed by static Bluetooth nodes that establish a spontaneous network at system initialisation. Once configured, BLN provides location services for location-aware or context-driven wireless environments,(More)
Laboratory courses in Engineering and Computer Science are not always easy to implement using Internet-based distance education. Simulation has its limits, when compared to working with the real thing (like a computer board). The system we present in this paper provides remote access to real equipment used in a Computer Architecture laboratory. It uses(More)
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(More)