- Daniel Kroening
- SMT Lists/Sets/Maps
- Google groups:
Test Chain Generation for Reactive Systems
About ChainCover
ChainCover is an automated test suite generator for reactive systems as modelled in Simulink/Stateflow that aims at computing a test chain, i.e., a minimised-length test sequence that covers all test goals. ChainCover uses the model checker CBMC and TSP/ASP solvers to perform this task.
For questions about ChainCover, contact Peter Schrammel. You should also read the license.
New: Version 0.6 released.
There is now a Google Group for annoucements related to ChainCover.
Documentation
We also provide papers that describe how ChainCover works.
- Chaining Test Cases for Reactive System Testing (extended version)
- Chaining Test Cases for Reactive System Testing
We distribute binaries for x86 Linux and the source.
|
This research is currently supported by EU FP7 STREP PINCETTE, the ARTEMIS VeTeSS project and ERC project 280053.