Artifacts

Siemens

--> tcas.c // CC - MCC - GACC - WM - Test Suite

--> schedule2.c // CC - MCC - GACC - WM - Test Suite

--> schedule.c // CC - MCC - GACC - WM - Test Suite

--> totinfo.c // CC - MCC - GACC - WM - Test Suite

--> printtokens2.c // CC - MCC - GACC - WM - Test Suite

--> printtokens.c // CC - MCC - GACC - WM - Test Suite

--> replace.c // CC - MCC - GACC - WM - Test Suite

OpenSSL

--> err.c // CC - MCC - GACC - WM

--> aes_core.c // CC - MCC - GACC - WM

--> pem_lib.c // CC - MCC - GACC - WM

--> bn_exp.c // CC - MCC - GACC - WM

GZip

--> gzip.c // CC - MCC - GACC - WM

Sjeng Chess IA

--> sjeng.c // CC - MCC - GACC - WM

SQLite

--> sqlite.c // CC - MCC - GACC - WM

Comparison with LUncov

--> trityp.c // All

--> fourballs.c // All

--> utf8-3.c // All

--> utf8-5.c // All

--> utf8-7.c // All

--> tcas.c // All

--> replace.c // All

--> full_bad.c // All

--> get_tag-5.c // All

--> get_tag-6.c // All

--> gd-5.c // All

--> gd-6.c // All

Comparison with TCE

--> replace.c // All