@inproceedings{BosJM17,
	author    = {Petra van den Bos and
	             Ramon Janssen and
	             Joshua Moerman},
	editor    = {Nina Yevtushenko and
	             Ana Rosa Cavalli and
	             H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
	title     = {$n$-Complete Test Suites for {IOCO}},
	booktitle_= {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
	             Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
	             Proceedings},
	booktitle = {{ICTSS} 2017 Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {10533},
	pages     = {91--107},
	publisher = {Springer},
	year      = {2017},
	url       = {https://doi.org/10.1007/978-3-319-67549-7\_6},
	doi       = {10.1007/978-3-319-67549-7\_6},
	timestamp = {Mon, 25 Sep 2017 17:37:19 +0200},
	biburl    = {https://dblp.org/rec/bib/conf/pts/BosJM17},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{BosJM18,
	author    = {Petra van den Bos and
	             Ramon Janssen and
	             Joshua Moerman},
	title     = {$n$-Complete Test Suites for {IOCO}},
	journal   = {Software Quality Journal},
	publisher = {Springer},
	year      = {2018},
	url       = {https://doi.org/10.1007/s11219-018-9422-x},
	doi       = {10.1007/s11219-018-9422-x}
}

@inproceedings{DBLP:conf/icfem/SmeenkMVJ15,
	author    = {Wouter Smeenk and
	             Joshua Moerman and
	             Frits W. Vaandrager and
	             David N. Jansen},
	editor    = {Michael J. Butler and
	             Sylvain Conchon and
	             Fatiha Za{\"{\i}}di},
	title     = {Applying Automata Learning to Embedded Control Software},
	booktitle_= {Formal Methods and Software Engineering - 17th International Conference
	             on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
	             3-5, 2015, Proceedings},
	booktitle = {{ICFEM} 2015, Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {9407},
	pages     = {67--83},
	publisher = {Springer},
	year      = {2015},
	url       = {https://doi.org/10.1007/978-3-319-25423-4\_5},
	doi       = {10.1007/978-3-319-25423-4\_5},
	timestamp = {Tue, 03 Oct 2017 16:28:01 +0200},
	biburl    = {https://dblp.org/rec/bib/conf/icfem/SmeenkMVJ15},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/SmetsersMJ16,
	author    = {Rick Smetsers and
	             Joshua Moerman and
	             David N. Jansen},
	editor    = {Adrian{-}Horia Dediu and
	             Jan Janousek and
	             Carlos Mart{\'{\i}}n{-}Vide and
	             Bianca Truthe},
	title     = {Minimal Separating Sequences for All Pairs of States},
	booktitle_= {Language and Automata Theory and Applications - 10th International
	             Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
	             Proceedings},
	booktitle = {{LATA} 2016, Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {9618},
	pages     = {181--193},
	publisher = {Springer},
	year      = {2016},
	url       = {https://doi.org/10.1007/978-3-319-30000-9\_14},
	doi       = {10.1007/978-3-319-30000-9\_14},
	timestamp = {Sat, 16 Sep 2017 12:09:57 +0200},
	biburl    = {https://dblp.org/rec/bib/conf/lata/SmetsersMJ16},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{SmetsersMJV16,
	author    = {Rick Smetsers and
	             Joshua Moerman and
	             Mark Janssen and
	             Sicco Verwer},
	title     = {Complementing Model Learning with Mutation-Based Fuzzing},
	journal   = {CoRR},
	volume    = {abs/1611.02429},
	year      = {2016},
	url       = {http://arxiv.org/abs/1611.02429},
	archivePrefix = {arXiv},
	eprint    = {1611.02429},
	timestamp = {Mon, 13 Aug 2018 16:46:49 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/SmetsersMJV16},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MoermanS0KS17,
	author    = {Joshua Moerman and
	             Matteo Sammartino and
	             Alexandra Silva and
	             Bartek Klin and
	             Michal Szynwelski},
	editor    = {Giuseppe Castagna and
	             Andrew D. Gordon},
	title     = {Learning nominal automata},
	booktitle_= {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
	             Programming Languages, {POPL} 2017, Paris, France, January 18-20,
	             2017},
	booktitle = {{POPL} 2017, Proceedings},
	pages     = {613--625},
	publisher = {{ACM}},
	year      = {2017},
	url       = {http://dl.acm.org/citation.cfm?id=3009879},
	timestamp = {Wed, 28 Dec 2016 13:22:29 +0100},
	biburl    = {https://dblp.org/rec/bib/conf/popl/MoermanS0KS17},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Moerman18,
	author    = {Joshua Moerman},
	title     = {Learning Product Automata},
	editor    = {Olgierd Unold and
	             Witold Dyrka and
	             Wojciech Wieczorek},
	booktitle = {ICGI 2018, Proceedings},
	publisher = {Proceedings of Machine Learning Research},
	volume    = {93},
	year      = {2019},
	note      = {To appear}
}

@misc{MoermanR19,
	author    = {Joshua Moerman and
	             Jurriaan Rot},
	title     = {Separation and Renaming in Nominal Sets},
	note      = {Under submission},
	year      = {2019}
}

@inproceedings{VenhoekMR18,
	author    = {David Venhoek and
	             Joshua Moerman and
	             Jurriaan Rot},
	editor    = {Bernd Fischer and
	             Tarmo Uustalu},
	title     = {Fast Computations on Ordered Nominal Sets},
	booktitle_= {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
	             Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
	booktitle = {{ICTAC} 2018, Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {11187},
	pages     = {493--512},
	publisher = {Springer},
	year      = {2018},
	url       = {https://doi.org/10.1007/978-3-030-02508-3\_26},
	doi       = {10.1007/978-3-030-02508-3\_26},
	timestamp = {Mon, 15 Oct 2018 14:55:17 +0200},
	biburl    = {https://dblp.org/rec/bib/conf/ictac/VenhoekMR18},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}