Title
Model-Based Testing Of The Java Network Api
Abstract
Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's network library java.nio, where we test both blocking and non-blocking network functions. Our test model can dynamically simulate actions in multiple worker and client threads, thanks to a carefully orchestrated design that covers non-determinism while ensuring progress.
Year
DOI
Venue
2017
10.4204/EPTCS.245.4
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
DocType
Issue
ISSN
Journal
245
2075-2180
Citations 
PageRank 
References 
1
0.35
0
Authors
2
Name
Order
Citations
PageRank
Cyrille Artho158844.46
Guillaume Rousset2100.95