Java PathFinder
JPF is a highly extensible Java virtual machine built for software verification.
- 36
- Projects
- 6
- Years accepted
- 3
- In 2021
Projects by year
362021
3 acceptedShow
To reason about string manipulating Java programs Symbolic Pathfinder (SPF) employs string constraint solvers. Currently, SPF integrates a limited...
Using Lightweight Specifications with Fuzzing and Symbolic Execution to Reveal Security and Semantic Bugs
Accepted project · by Amirfarhad Nilizadeh
Security and Semantic bugs exist in software systems, and discovering them is time-consuming, complicated, and challenging. Several static and...
Systematically explore bit-flip faults in user-specified variables in Java programs
Accepted project · by Pu (Luke) Yi
Computer hardware is susceptible to errors. For example, radiation may induce error to the hardware and some bit might be flipped. It is important to...
2020
6 acceptedShow
Path merging is a promising technique that speeds up dynamic symbolic execution by multiple factors. In Path merging expensive forking is minimized...
Symbolic PathFinder (SPF) is a tool that uses Java PathFinder at the back-end and can extract path conditions for a program by executing the program...
Automated Program Repair (APR) has been showing a high capability recently of fixing software bugs automatically. Despite the recent advancements,...
SPF’s constraint interface needs to be restructured. The current implementation doesn’t allow for the easy addition of new solvers and could be...
JPF does not yet fully implement the features of Java 11 - support extends only to Java 8 - including features as simple as string concatenation....
JPF is a model checking tool for Java applications. It is a Virtual Machine (VM) for Java bytecode which executes the system under test (SUT). The...
2019
6 acceptedShow
- Boosting data race detection by extinguishing state explosionEgor Namakonov
- Parallel implementation of Java Pathfinder ProjectManish Thakur
- Dynamic Partial Order Reduction Engine connected with Symbolic Data Race Detection for Habanero JavaKyle Storey
- Checking Assertions with Symbolic PathfinderJunye Wen
- Support gradle for jpf-core and extensions.Yuvaraj Anbarasan
- NFixHanliang Zhang
2018
4 acceptedShow
- Support Java 9 for JPF-COREGayan Weerakutti
- Synthesis to repair heap-manipulating programs using Java StarFinderGuolong Zheng
- Modernizing the Java PathFinder Build Workflow: Migrating from Ant to GradleJeanderson Candido
- Extending Veritesting In SPFSoha Hussein
2017
7 acceptedShow
- Verification and Testing of Heap-based Programs with Symbolic PathFinderNicolas Jeannerod
- jpf-nasJayton
- Program Repair via Symbolic Execution-Derived Constraint CharacterizationAndrew Hill
- Increasing SPF Performance with Bounded Static Symbolic ExecutionVaibhav B Sharma
- Java StarFinder: Symbolic Execution with Separation Logic for Testing and Verifying Heap-manipulating Programs.Pham Hong Long
- Optimize GREEN’s caching for satisfiability and model counting when using SPFJan Taljaard
- Visualization of Execution TracesQiyi Tang
2016
10 acceptedShow
- Fingerprinting for ProgramsBlaine
- Verifying Safety of NextGen ModelsJianfeng.Chen
- PSYCO for Reactive Systemsmmuesly
- Java PathFinder for Android DevicesOctarine
- Oracle-Based Program RepairGunel Jahangirova
- Using JPF to efficiently compute workload in Multi-Agent SystemsJaneOL
- Visualization Support for JDartChao
- Improving JPF InspectorSoothsilver
- Extending SPF with handling of symbolic arrays, and implementing a replay moduleafromherz
- Cache layer for jpf-nhandlerJayton
