RE: [Javapathfinder-user] what has JPF been used on?

[Sergey K. <se...@cs...>]

Thanks for your reply Willem,

what about other classes? Say LinkedList... to test for deadlocks and 
uncaught exceptions.

I understand that it is not hard to manually write a main method to test 
a particular class. However that would be tedious to test all of the 
classes since JPF needs a main method for each of the class.

Has any work been done in automatically generating a main method?

thanks
sergey


On Mon, 22 May 2006, Willem Visser wrote:

> Hi Sergey,
>
> It has not yet been used to analyze the concurrency classes. This would
> be very interesting I think. As for other big projects the two biggest
> I'm aware of are a +-7KLOC rover executive here at Ames and a (much
> bigger) enterprise software package from Fujitsu (described in a SoftMc
> 2005 paper).
>
> Bye,
> Willem
>
> --
> Willem C. Visser                 Automated Software Engineering Group
> RIACS/NASA Ames Research Center            wv...@em...
> M/S 269-2                                     http://ase.arc.nasa.gov
> Moffett Field, CA 94035                (650)604-3515 fax 4036  rm 235
>
>
>> -----Original Message-----
>> From: jav...@li...
>> [mailto:jav...@li...] On Behalf Of
>> Sergey Kulikov
>> Sent: Wednesday, May 17, 2006 8:22 AM
>> To: jav...@li...
>> Subject: [Javapathfinder-user] what has JPF been used on?
>>
>>
>> Has JPF been ever used on detecting concurrency related bugs
> (deadlocks,
>> race conditions) in the Java standard library classes? I'm refering to
>> those classes that support concurrency.
>>
>> What other big projects (apart from those at NASA) has JPF been used
> on.
>> Any info/links would be appreciated.
>>
>> thanks
>> sergey
>>
>>
>> -------------------------------------------------------
>> Using Tomcat but need to do more? Need to support web services,
> security?
>> Get stuff done quickly with pre-integrated technology to make your job
>> easier
>> Download IBM WebSphere Application Server v.1.0.1 based on Apache
> Geronimo
>>
> http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
>> _______________________________________________
>> Javapathfinder-user mailing list
>> Jav...@li...
>> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
>
>