<![CDATA[jpf Resources | ZDNet]]> en-us <![CDATA[State Extensions for Java PathFinder]]> Sun, 18 May 2008 00:00:00 -0700 <![CDATA[Optimized Execution of Deterministic Blocks in Java PathFinder]]> Tue, 01 Jan 2008 00:00:00 -0800