[Javapathfinder-devel] Can JPF generate String based test input ?

[Taehoon L. <ta...@ky...>]

Hi,

I have a question about symbolic execution.
I want to generate tests from Java based Calculator.
Given String("1+2" or "3*4+5"), Calculator compute the result(3 or 17).
example) int calculator(String);


Is it possible that JPF generate the String based test input?


-- 
------------------------------------------------------
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...@ky...
-------------------------------------------------------