[staf-users] Target programs

[Damayanti G. <da...@cs...>]

Hi,
I am a graduate student doing a project on testing. Am looking for large C
programs with an associated test suite. Do any of you know of any
programme(~20K LOC) on which I could use STAF to generate a test suite?
Very grateful for any input
THanks
Dami