Re: [Javapathfinder-devel] Project Guidance-JPF

[Peter C. M. <Pet...@na...>]

Hi Sree,

thanks for your interest - you are welcome to work on JPF. The best  
place to start would be the JPF website, which has some HTML  
documentation about how to obtain, build and use JPF. It also  
describes the key extension mechanisms like VM/SearchListeners, MJI  
(for native libraries) and ChoiceGenerators. Please have a look to see  
at which level you want to contribute. JPF has a number of 'extension'  
projects (each in their own directory structure/sandboxes), which are  
convenient to start playing with it without having to deal with core  
modifications. Get an idea what you want to work on (model checking  
functionality, new property listeners, profiling/optimizations,  
library abstractions etc.) and we go from there

-- Peter


On Aug 9, 2008, at 5:17 PM, sree aurovindh viswanathan wrote:

> Sir/Madam,
> i am a student pursuing under graduation ,a sun certified programmer  
> java programmer who would like to participate in JPF projects.I am  
> totally new to the Open source development and to the JPF  .I would  
> like to contribute to this project.May i know from where i could get  
> to know much details regarding the project.If possible please do  
> suggest me the area i can take to do some work.since i am a novice  
> in this please do guide me so that  i can contribute to the JPF  
> Project.
>
> Regards
>
> Sree Aurovindh
> India