@inproceedings{e380f7bc910e4af3899efe3dfdcf96de,
title = "A framework and algorithm for model-based active testing",
keywords = "Conf.proc. > 3 pag",
author = "AB Feldman and G. Provan and {van Gemund}, AJC",
note = "feldman08fractal1; DX 2008 ; Conference date: 22-09-2008 Through 24-09-2008",
year = "2008",
language = "Undefined/Unknown",
publisher = "The Australian National University",
pages = "71--78",
editor = "Alban Grastien and Markus Stumptner and Wolfgang Mayer",
booktitle = "Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia",
}