P. Joshi, M. Naik, K. Sen, and D. Gay的文章在2010年的ACM SIGSOFT会议上发表，主要思想是将多线程Java程序抽象成一个简单的trace程序，利用JPF进行线程交互状态的探索。作者的主要贡献是通过trace程序简化分析逻辑，仅保留与多线程相关的关键部分，有效减少了state-space爆炸问题。

M. Gligoric等在2010年的软件工程会议上发表的文章介绍了UDITA测试用例生成语言。UDITA支持非确定性选择和链接接口，使用JPF作为主要实现平台。值得注意的是，文章作者与JPF项目可能存在紧密关联，优先推荐这一篇可能会显得不够客观。

V. Jagannath, Q. Luo和D. Marinov在2011年的软件测试与分析会议上发表的论文提出了基于软件演化的多线程回归测试优先级排序方法。他们使用JPF与自开发框架实现优先搜索预先模块的改进版本，节省了测试用例选择和执行成本。项目中主要更新了JPF中的SimplePrioritySearch模块。