@inproceedings{LNCS67060134, editor = {Martin Gogolla and Burkhart Wolff}, booktitle = {Tests and Proofs}, publisher = {Springer}, location = {Heidelberg}, series = {Lecture Notes in Computer Science}, volume = {6706}, year = {2011}, isbn = {978-3-642-21767-8}, author = {Karl Meinke and Muddassar A. Sindhu}, title = {Incremental Learning-Based Testing for Reactive Systems}, pages = {134--151} }