@inproceedings(AartsV10, url = "http://dx.doi.org/10.1007/978-3-642-15375-4_6", ) @article(Angluin87, ) @book(BK2008, ) @inproceedings(BFHH11, url = "http://dx.doi.org/10.1007/978-3-642-21461-5_4", ) @inproceedings(CarOnc94, url = "http://dx.doi.org/10.1007/3-540-58473-0_144", ) @inproceedings(CMJN+12, url = "http://dx.doi.org/10.1007/978-3-642-28891-3_22", ) @inproceedings(HigTho00, url = "http://dx.doi.org/10.1007/978-3-540-45257-7_12", ) @book(Higuera10, ) @inproceedings(Jansen02b, ) @inproceedings(KNP11, ) @inproceedings(Legay10, url = "http://dx.doi.org/10.1007/978-3-642-16612-9_11", ) @inproceedings(Leucker06, url = "http://dx.doi.org/10.1007/978-3-540-74792-5_6", ) @inproceedings(MCJN+11, url = "http://doi.ieeecomputersociety.org/10.1109/QEST.2011.21", ) @inproceedings(RafSteBer05, url = "http://dx.doi.org/10.1007/11693017_28", ) @article(RS1996, url = "http://dx.doi.org/10.1023/A:1026490906255", ) @inproceedings(SVA04a, url = "http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10014", ) @article(Stoelinga02, ) @book(TanSteKum06, ) @article(Hoeffding63, url = "http://dx.doi.org/10.2307/2282952", ) @inproceedings(YS02, url = "http://dx.doi.org/10.1007/3-540-45657-0_17", )