Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
MetAcsl public repository
-
-
-
-
-
CAnnotate is a set of tools for adding coverage criteria labels. The project consisted of three projects (1) Connotate (2) side-effect (3) CFormatter
-
-
-
-
launch a test suite over some code annotated with (hyper)labels and computes corresponding coverage metrics
-
-
LAnnotate Frama-C plugin for annotating source code with (hyper)labels corresponding to various test coverage criteria
-
-
LUncov Frama-C plugin that identifies test objectives, expressed as (hyper)labels, that are uncoverable or redundant, in order to obtain more meaningful coverage measures.
-
-
-
-
-
website of soprano project
