Treffer: Model Checking Guided Incremental Testing for Distributed Systems
Title:
Model Checking Guided Incremental Testing for Distributed Systems
Authors:
Source:
Proceedings of the ACM on Software Engineering. 2(ISSTA):297-319
Availability:
Database:
ACM Full-Text Collection