8 projects
BenchExec
A Framework for Reliable Benchmarking and Resource Measurement.
pybib2web
A translator of BibTeX to HTML.
tsbuilder
Library for building test cases in the XML test format
CoVeriTeam
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems
fm-weck
None
fm-actor
None
fm-tools
None
TestCov
A container-based test-suite executor with coverage measurement
