The Java PathFinder Workshop 2012

摘要

Java Pathfinder (JPF) is an extensible Java bytecode analysis framework. The JPF Workshop will provide: (1) an introductory tutorial of the JPF framework for attendees unfamiliar with JPF, (2) detailed tutorials of JPF extensions such as symbolic execution, incremental program analysis, and android verification, and (3) give researchers and practitioners who already use JPF a forum to present their work.