@inproceedings{bos:hal-01678988, TITLE = {{n-Complete Test Suites for IOCO}}, AUTHOR = {Bos, Petra van Den and Janssen, Ramon and Moerman, Joshua}, URL = {https://inria.hal.science/hal-01678988}, NOTE = {Part 2: Test Derivation Methods}, BOOKTITLE = {{29th IFIP International Conference on Testing Software and Systems (ICTSS)}}, ADDRESS = {St. Petersburg, Russia}, EDITOR = {Nina Yevtushenko and Ana Rosa Cavalli and H{\"u}sn{\"u} Yenig{\"u}n}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Testing Software and Systems}, VOLUME = {LNCS-10533}, PAGES = {91-107}, YEAR = {2017}, MONTH = Oct, DOI = {10.1007/978-3-319-67549-7\_6}, PDF = {https://inria.hal.science/hal-01678988/file/449632_1_En_6_Chapter.pdf}, HAL_ID = {hal-01678988}, HAL_VERSION = {v1}, }