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
Proc. 9th Haifa Verification Conf.
LNCS
8244
Springer
Haifa, Israel
112–128
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
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
Proc. 28th Int. Conf. on Automated Software Engineering
ASE
IEEE
Palo Alto, USA
169–179
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
Proc. 30th Int. Design Automation Conf.
DAC
ACM
Dallas, USA
86–91
10.1145/157485.164585
K. Claessen
J. Hughes
2000
QuickCheck: a lightweight tool for random testing of Haskell programs
SIGPLAN Not.
35
9
268–279
10.1145/357766.351266
J. Jacky
M. Veanes
C. Campbell
W. Schulte
2007
Model-Based Software Testing and Analysis with C#
1st
Cambridge University Press
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
483–501
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
Proc. 5th Int. Conf. on Runtime Verification
RV
8734
Springer
Toronto, Canada
285–300
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
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
203–232
10.1023/A:1022920129859
D. Wampler
A. Payne
2009
Programming Scala
O'Reilly Series
O'Reilly Media