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