This repository contains the source codes for NPEX and experimental data to support the claims in the paper.
- Symbolic execution for specification inference & patch validation
- Null-handling mining and & patch synthesizer
The directory raw_results contains the raw results from each tool we evaluated.
The link contains the full raw results of NPEX including the inferenced specifications:
The directory benchmarks contains source codes for benchmarks we used.