@inproceedings(artho-hvc2013,
 author       = {C. Artho and A. Biere and M. Hagiya and E. Platon and M. Seidl and Y. Tanabe and M. Yamamoto},
 year         = {2013},
 title        = {Modbat: A Model-based {API} Tester for Event-driven Systems},
 booktitle    = {Proc.\ 9th Haifa Verification Conf.},
 series       = {LNCS},
 volume       = {8244},
 publisher    = {Springer},
 address      = {Haifa, Israel},
 pages        = {112--128},
 doi          = {10.1007/978-3-319-03077-7\_8},
)
@inproceedings(artho-icst2017,
 author       = {C. Artho and Q. Gros and G. Rousset and K. Banzai and L. Ma and T. Kitamura and M. Hagiya and Y. Tanabe and M. Yamamoto},
 year         = {2017},
 title        = {Model-based {API} Testing of {Apache ZooKeeper}},
 booktitle    = {10th {IEEE} International Conference on Software Testing, Verification and Validation ({ICST} 2017)},
 publisher    = {IEEE},
 address      = {Tokyo, Japan},
)
@inproceedings(artho-ase2013,
 author       = {C. Artho and M. Hagiya and R. Potter and Y. Tanabe and F. Weitl and M. Yamamoto},
 year         = {2013},
 title        = {Software Model Checking for Distributed Systems with Selector-Based, Non-Blocking Communication},
 booktitle    = {Proc.\ 28th Int.\ Conf.\ on Automated Software Engineering},
 series       = {ASE},
 publisher    = {IEEE},
 address      = {Palo Alto, USA},
 pages        = {169--179},
 doi          = {10.1109/ASE.2013.6693077},
)
@misc(java-nio-tutorial,
 author       = {E. Baeldung},
 year         = {2016},
 title        = {Introduction to the {Java NIO} Selector},
 howpublished = {\url{http://www.baeldung.com/java-nio-selector}},
 note         = {Accessed: 2017-03-07},
)
@book(binder2000testing,
 author       = {R. Binder},
 year         = {2000},
 title        = {Testing object-oriented systems: models, patterns, and tools},
 publisher    = {Addison-Wesley},
)
@inproceedings(Cheng:1993:AFT:157485.164585,
 author       = {K. Cheng and A. Krishnakumar},
 year         = {1993},
 title        = {Automatic functional test generation using the extended finite state machine model},
 booktitle    = {Proc.\ 30th Int.\ Design Automation Conf.},
 series       = {DAC},
 publisher    = {ACM},
 address      = {Dallas, USA},
 pages        = {86--91},
 doi          = {10.1145/157485.164585},
)
@article(Claessen:2000,
 author       = {K. Claessen and J. Hughes},
 year         = {2000},
 title        = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs},
 journal      = {SIGPLAN Not.},
 volume       = {35},
 number       = {9},
 pages        = {268--279},
 doi          = {10.1145/357766.351266},
)
@book(Jacky:2007:MST:1349741,
 author       = {J. Jacky and M. Veanes and C. Campbell and W. Schulte},
 year         = {2007},
 title        = {Model-Based Software Testing and Analysis with C\#},
 edition      = {1st},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511619540},
)
@misc(c10k,
 author       = {D. Kegel},
 year         = {2013},
 title        = {The {C10K} problem},
 howpublished = {\url{http://www.kegel.com/c10k.html}},
)
@article(leungwattanakit2014,
 author       = {W. Leungwattanakit and C. Artho and M. Hagiya and Y. Tanabe and M. Yamamoto and K. Takahashi},
 year         = {2014},
 title        = {Modular Software Model Checking for Distributed Systems},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {40},
 number       = {5},
 pages        = {483--501},
 doi          = {10.1109/TSE.2013.49},
)
@book(junit,
 author       = {J. Link and P. Fr{\"o}hlich},
 year         = {2003},
 title        = {Unit Testing in {J}ava: How Tests Drive the Code},
 publisher    = {Morgan Kaufmann Publishers, Inc.},
)
@inproceedings(luo2014rv,
 author       = {Q. Luo and Y. Zhang and C. Lee and D. Jin and P. Meredith and {\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}, T. and Ro{\c{s}}u, G.},
 year         = {2014},
 title        = {{RV}-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties},
 booktitle    = {Proc.\ 5th Int.\ Conf.\ on Runtime Verification},
 series       = {RV},
 volume       = {8734},
 publisher    = {Springer},
 address      = {Toronto, Canada},
 pages        = {285--300},
 doi          = {10.1007/978-3-319-11164-3\_24},
)
@misc(scalacheck,
 author       = {R. Nils},
 year         = {2013},
 title        = {{ScalaCheck}, a powerful tool for automatic unit testing},
 howpublished = {\url{https://github.com/rickynils/scalacheck/}},
 note         = {Accessed: 2016-12-30},
)
@book(Odersky2008,
 author       = {M. Odersky and L. Spoon and B. Venners},
 year         = {2010},
 title        = {Programming in {Scala}: A Comprehensive Step-by-step Guide},
 edition      = {2nd},
 publisher    = {Artima Inc.},
 address      = {USA},
)
@misc(java-api,
 author       = {Oracle},
 year         = {2016},
 title        = {{Java} Platform {SE} 8},
 howpublished = {\url{http://docs.oracle.com/javase/8/docs/api/}},
)
@manual(jdk8,
 organization = {{Oracle}},
 year         = {2016},
 title        = {{J}ava {P}latform {S}tandard {E}dition 8 {API} {S}pecification},
 note         = {\url{http://docs.oracle.com/javase/8/docs/api/}},
)
@book(utting06,
 author       = {M. Utting and B. Legeard},
 year         = {2006},
 title        = {Practical Model-Based Testing: A Tools Approach},
 publisher    = {Morgan Kaufmann Publishers, Inc.},
 address      = {San Francisco, USA},
)
@article(visser:03,
 author       = {W. Visser and K. Havelund and G. Brat and S. Park and F. Lerda},
 year         = {2003},
 title        = {Model checking programs},
 journal      = {Automated Software Engineering Journal},
 volume       = {10},
 number       = {2},
 pages        = {203--232},
 doi          = {10.1023/A:1022920129859},
)
@book(wampler2009programming,
 author       = {D. Wampler and A. Payne},
 year         = {2009},
 title        = {{Programming Scala}},
 series       = {O'Reilly Series},
 publisher    = {O'Reilly Media},
)