仓库
Example lightweight J2EE web application based on PicoContainer and post-redirect-get user interaction.
最近更新: 3年多前Tool to find method mapping between two APIs by mining existing API Migration
最近更新: 3年多前JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
最近更新: 接近4年前