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