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