<div dir="ltr"><div>Hello, probably it is too late to be involved in GSoC, by I want discuss following idea:</div><div><br></div><div><br></div><div><br></div><div style>KLEE can generate tests only for main function level without any modifications of original code.</div>
<div style>It passes args specified by command line.</div><div style><br></div><div>I want implement automatic testcase generation for any imported function from tested code without its modification.</div><div style>First: parsing test code would collect input/output variables and global data.</div>
<div style>Second: variating by KLEE of input and global data used by function will provide basic testcase.</div><div style>Third: generated testcases could be exported to test framewort (e.g. Google Test Framework).</div>
<div style><br></div><div style>This technic will be usefull for regress testing libraries stability and for check design by contract implementation.</div><div style><br></div><div style><br></div><div style>I'm doing it as part of my MPhil work at MSU.</div>
<div>Looking forward for any advice.<br></div><div>
<pre class="" cols="72">-- 
Best Regards,
Anton Vasilyev<br></pre></div>
</div>