[klee-dev] Generation of test cases with KLEE

[Jake Ekel]

Dear Sir/Madam,


    Currently I am using KLEE to generate test cases for my software. As far as I know, KLEE generates test cases that satisfy branch coverage.     I would like to experiment with other coverage criteria. May I ask, where exactly (in the source code) KLEE produce combinations of test cases, and do you recommend modifying them to other coverage criteria?    
Thank you.
Best Regards,Jake   #yiv7033774981 #yiv7033774981 -- _filtered #yiv7033774981 {font-family:Helvetica;panose-1:2 11 6 4 2 2 2 2 2 4;} _filtered #yiv7033774981 {panose-1:2 4 5 3 5 4 6 3 2 4;} _filtered #yiv7033774981 {font-family:Calibri;panose-1:2 15 5 2 2 2 4 3 2 4;}#yiv7033774981 #yiv7033774981 p.yiv7033774981MsoNormal, #yiv7033774981 li.yiv7033774981MsoNormal, #yiv7033774981 div.yiv7033774981MsoNormal {margin:0cm;margin-bottom:.0001pt;font-size:12.0pt;font-family:New serif;}#yiv7033774981 a:link, #yiv7033774981 span.yiv7033774981MsoHyperlink {color:#0563C1;text-decoration:underline;}#yiv7033774981 a:visited, #yiv7033774981 span.yiv7033774981MsoHyperlinkFollowed {color:#954F72;text-decoration:underline;}#yiv7033774981 p.yiv7033774981msonormal0, #yiv7033774981 li.yiv7033774981msonormal0, #yiv7033774981 div.yiv7033774981msonormal0 {margin-right:0cm;margin-left:0cm;font-size:12.0pt;font-family:New serif;}#yiv7033774981 span.yiv7033774981EmailStyle18 {font-family:sans-serif;color:#1F497D;}#yiv7033774981 .yiv7033774981MsoChpDefault {font-size:10.0pt;} _filtered #yiv7033774981 {margin:70.85pt 70.85pt 2.0cm 70.85pt;}#yiv7033774981 div.yiv7033774981WordSection1 {}#yiv7033774981 
-------------- next part --------------
HTML attachment scrubbed and removed