Published May 18, 2021
| Version 1.1
Software
Open
Replication Package for Article: Model-Based Testing of Networked Applications
Description
Source code for finding bugs in HTTP servers, in a VirtualBox image.
Files
0 - Getting Started.mp4
Files
(6.8 GB)
Name | Size | Download all |
---|---|---|
md5:d046694bd685610aab296fad458336cc
|
39.6 MB | Preview Download |
md5:65a0fccc0eab4c2ec2ba6f11c4684076
|
25.4 MB | Preview Download |
md5:b15dc5a856db78eeffa516180e68981c
|
19.3 MB | Preview Download |
md5:13d1154eacd6a601ae2b3f6c18c45a2d
|
28.0 MB | Preview Download |
md5:906a6ad471a9df30588bfea4bc3c1b9e
|
97.0 MB | Preview Download |
md5:6a2d6ad73541486c760c56479dd0b567
|
6.6 GB | Download |
md5:b557b7ba855feb01fe6be52efe7bcc91
|
6.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1145/3460319.3464798 (DOI)
Funding
- Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521539
- National Science Foundation
- SHF: Small: Random Testing for Language Design 1421243
- National Science Foundation
Dates
- Available
-
2021-07-11