Welcome to the SoDA Repository
The repository is a a set of experimental programs with test suites and the corresponding measurement data produced by the library which can be used in code coverage-related research.
The provided coverage matrices were created in procedure level granularity.
Programs from the SIR repository
This repository, called Software Infrastructure Repository (SIR), has become very popular in the fields of regression testing and fault localization research because it includes the subject programs, the corresponding test suites and fault information as well.
Homepage of the repository: http://sir.unl.edu
printtokens
printtokens2
schedule
schedule2
space
tcas
totinfo
Middle-sized open source systems
augeas
Augeas is a library and command line tool that focuses on the most basic problem in handling Linux configurations programmatically: editing actual configuration files in a controlled manner.
Homepage: http://augeas.net/
bison
Bison is a general-purpose parser generator that converts an annotated context-free grammar into an LALR(1) or GLR parser for that grammar. Once you are proficient with Bison, you can use it to develop a wide range of language parsers, from those used in simple desk calculators to complex programming languages.
Homepage: http://savannah.gnu.org/projects/bison/
dateutils
Toolset for computations involving date and time values in the shell, with a strong focus on usability within shell scripts.
Homepage: http://www.fresse.org/dateutils/
Large open source systems
GCC
The GNU Compiler Collection includes front ends for C, C++, Objective-C, Fortran, Java, and Ada, as well as libraries for these languages (libstdc++, libgcj,…).
Homepage: http://gcc.gnu.org/
WebKit
WebKit is an open source web browser engine. WebKit is also the name of the Mac OS X system framework version of the engine that’s used by Safari, Dashboard, Mail, and many other OS X applications. WebKit’s HTML and JavaScript code began as a branch of the KHTML and KJS libraries from KDE.
Homepage: http://webkit.org/