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 _______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
