@misc{Sindhu11, author = {Sindhu, Muddassar}, institution = {KTH, Theoretical Computer Science, TCS}, note = {QC 20110822}, pages = {x, 45}, publisher = {KTH Royal Institute of Technology}, school = {KTH, Theoretical Computer Science, TCS}, title = {Incremental Learning and Testing of Reactive Systems}, series = {Trita-CSC-A}, number = {2011:14}, year = {2011} }