Abstract | ||
---|---|---|
Model checking nds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This pa- per presents the I/O-cache, an extension for a Java model checker to support networked programs. It contains a cache module, which captures data streams between a target pro- cess and its peer processes. This demonstration also shows how we found a defect in a WebDAV client with a model checker and our extension. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICSE-COMPANION.2009.5071036 | ICSE Companion |
Keywords | Field | DocType |
Java,cache storage,client-server systems,formal verification,peer-to-peer computing,scheduling,software fault tolerance,I/O-cache,Java model checker,WebDAV client,cache module,data streams,execution schedule,model checker extension,networked programs verification,peer processes,software failures | Programming language,Model checking,Cache,Computer science,Server,WebDAV,Software fault tolerance,Real-time computing,Schedule,Java,Operating system,Formal verification | Conference |
ISSN | Citations | PageRank |
0270-5257 | 3 | 0.45 |
References | Authors | |
3 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Watcharin Leungwattanakit | 1 | 39 | 5.02 |
Cyrille Artho | 2 | 588 | 44.46 |
Masami Hagiya | 3 | 649 | 102.85 |
Yoshinori Tanabe | 4 | 124 | 13.96 |
Mitsuharu Yamamoto | 5 | 91 | 11.09 |