@inproceedings{fb0097b3ee36409abf536a55e0d92d54,
title = "From faults via test purposes to test cases: On the fault-based testing of concurrent systems",
abstract = "Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a theory and technique for generating fault-based test cases for concurrent systems. The novel idea is to generate test purposes from faults that have been injected into a model of the system under test. Such test purposes form a specification of a more detailed test case that can detect the injected fault. The theory is based on the notion of refinement. The technique is automated using the TGV test case generator and an equivalence checker of the CADP tools. A case study of testing web servers demonstrates the practicability of the approach.",
author = "Aichernig, {Bernhard K.} and {Corrales Delgado}, {Carlo Jose Luis}",
year = "2006",
doi = "10.1007/11693017_24",
language = "Ingl{\'e}s",
isbn = "3540330933",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "324--338",
booktitle = "Fundamental Approaches to Software Engineering - 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings",
note = "null ; Conference date: 27-03-2006 Through 28-03-2006",
}