[Javapathfinder-user] Abstract state matching

[Adam K. <ak...@cs...>]

hi,
(I asked this question on the sourceforge forum before but maybe I'll be more 
lucky here)

Is abstraction-based state matching available in JPF now?

I mean something a'la "Test Input Generation for Red Black Trees using 
Abstraction" Visser et al (ASE'05)

If yes, how can I use it? If not, do you have estimated timelime for this feature?

Thanks
/adam