Folder KT-GDE3_sourcecode contains the source code of the proposed method (KT-GDE3).

Folder Bugcoverage average contains the bug coverage average results over the 30 runs for benchmarks for all the approaches under comparison.

Folder Case study subjects contains the C, Java and C# versions of the benchmark programs

Folders, DynaMOSA report, KLEE report, KT-GDE3 report, KT-GDE3-unarchived report, PEX report, WTS report contain details of the test cases generated to cover the bugs

File Supplemental material contains the modified programs that include an if (condition) to repalce the assert statement in the benchmark of the Competition on Software verifcation 2016 and 2021