Re: [ReCrash] Subject programs
Sung Kim
Thanks for your interest. I attached BST related crash test cases. I
generated them using CheckNCrash and its subjects.
Cheers,
Sung
On Mon, Jun 28, 2010 at 2:55 AM, Martin Burger
<mbu...@cs.uni-saarland.de> wrote:
> Dear Mr Kim:
>
> I am a PhD student at the Software Engineering Chair (Prof. Dr. Andreas
> Zeller) at Saarland University. Currently, I am working on JINSI, a tool
> that replays and isolates failure-inducing program interactions. My work is
> related to your work as described in "ReCrash: Making Software Failures
> Reproducible by Preserving Object States".
>
> I would like (a) to reproduce some of your results, and (b) to run JINSI on
> the subject programs used in your paper. Could you send me these programs,
> please? In the downloadable file "reCrash-src-0.3.tar.gz", I can find some
> references to these programs[1]; unfortunately, these are not included in
> the archive. I am especially interested in the program "BST" / "BSTree" and
> the corresponding test drivers that reproduce bugs "b1", "b2", and "b3".
>
> Best wishes,
>
> Martin Burger
>
> [1] cnc-0.8.6.jar, jsr308-checkers-0.1.1.jar, jsr308-checkers-0.1.1.src.zip,
> jsr308-javac-0.1.1.jar, js3308-compiler-0.1.1-src.zip, svnkit_0.8.all.jar,
> svnKit0.8.src.zip, eclipse2002_12_18.jar, and eclipse2002_12_18_src.zip.
>
> --
> Martin Burger
> Researcher
>
> Software Engineering Chair (Prof. Zeller)
> Saarland University, Computer Science
> Building E1 1, Room 1.16.1
>
> Tel. +49 (0)681 302-70991 · Fax +49 (0)681 302-70972
> mbu...@cs.uni-saarland.de · http://www.st.cs.uni-saarland.de/~mburger/
>
>