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

[Pasareanu, C. S. (ARC-TI)[S. G. T. INC.] <Cor...@na...>]

no -- not yet.

Corina Pasareanu, PhD
http://ase.arc.nasa.gov/people/pcorina/



-----Original Message-----
From: Taehoon Lee [mailto:ta...@ky...]
Sent: Fri 11/7/2008 1:11 AM
To: jav...@li...
Subject: [Javapathfinder-devel] Can JPF generate String based test input ?
 

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


-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Javapathfinder-devel mailing list
Jav...@li...
https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel