As you can see at subject, While revision 795 does not generate test
input correctly, Revision 794 does generate test input correctly.
I want to modify JPF to implement additional functionality in
extension/Symbc.
Could you tell me whether I work on revision 795 or work on revision 794
or wait until revision 796?
My research interesting is software model checking & automatic test case
generation
In JavaPathFinder Summer of Code projects
"Extend symbolic execution framework (symbc) to handling input arrays
and data structures (by using "generalized symbolic execution"" is very
interesting.
I would like to try this.
I'm very appreciate if you give a some comment
--
------------------------------------------------------
Taehoon Lee
Ph.D candidate
Department of Computer Science
Kyonggi University
San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea
TEL: +82-11-9932-2732
EMAIL: ta...@kg...
-------------------------------------------------------
|
