Register | Sign in
COMET - Community Event-based Testing
Home About Benchmarks Publications People Feedback Getting Involved ICSE 2013 Tutorial  
Collections > UMD.Length1-2.EFG.2010

Because the artifacts are automatically packed when you download the benchmarks, it might take some time for the download dialog to appear.

UMD.Length1-2.EFG.2010
  This collection has been developed by the GUITAR group at the University of Maryland, College Park. It consists of benchmarks with two important characteristics: (1) the underlying model used for test case generation is the Event-Flow Graph (EFG) and (2) the test suites contain all possible testcases of length 1 and length 2. The number of length 1 test cases is equal to the number of nodes in the EFG and the number of length 2 test cases is equal to the number of edges in the EFG.
Rachota
Contact us: [email protected]
Last modified: Nov. 01, 2016, 23:00:36, CDT