Re: [Javapathfinder-devel] Revision 795 does not generate test input correctly

[John P. <jp...@go...>]

Hi Taehoon,

Do you have a test case that demonstrates the failure?

John

I saw your JPF GSoC application.  We have only started to review them...

John

On Wed, Apr 2, 2008 at 2:13 AM, Taehoon Lee <ta...@kg...> wrote:

>
> 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...
> -------------------------------------------------------
>
>
> -------------------------------------------------------------------------
> Check out the new SourceForge.net Marketplace.
> It's the best place to buy or sell services for
> just about anything Open Source.
>
> http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
> _______________________________________________
> Javapathfinder-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
>