This repo is for the code release of our paper `Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code.` in ASPLOS 2023. In the paper, we developed a static analysis tool to infer the missing database constraints from the application source code. The artifact is maintained on GitHub
[EN] The quality of the information provided by databases can be captured by integrity constraints. ...
Artifacts for the paper Comparing developer-provided to user-provided tests for fault localization a...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...
This repo is for the code release of our paper `Protecting Data Integrity of Web Applications with D...
Integrity constraints (including key, referential and domain constraints) are unique features of dat...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact repo for paper: On the Effectiveness of Automated Program Repair: An Extensive ...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Python-based database-backed web frameworks have gained wide adoption in developing online web appli...
This is the artifact for the ICSE' 23 paper "Detecting Isolation Bugs via Transaction Oracle Constru...
Contents of this artifact: paper.pdf: copy of the associated paper submission supplementary.pdf: co...
Defects in requirements specifications can have severe consequences during the software development ...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
Artifacts Package of the accepted FSE 22 paper: "Software Security during Modern Code Review: The De...
[EN] The quality of the information provided by databases can be captured by integrity constraints. ...
Artifacts for the paper Comparing developer-provided to user-provided tests for fault localization a...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...
This repo is for the code release of our paper `Protecting Data Integrity of Web Applications with D...
Integrity constraints (including key, referential and domain constraints) are unique features of dat...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact repo for paper: On the Effectiveness of Automated Program Repair: An Extensive ...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Python-based database-backed web frameworks have gained wide adoption in developing online web appli...
This is the artifact for the ICSE' 23 paper "Detecting Isolation Bugs via Transaction Oracle Constru...
Contents of this artifact: paper.pdf: copy of the associated paper submission supplementary.pdf: co...
Defects in requirements specifications can have severe consequences during the software development ...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
Artifacts Package of the accepted FSE 22 paper: "Software Security during Modern Code Review: The De...
[EN] The quality of the information provided by databases can be captured by integrity constraints. ...
Artifacts for the paper Comparing developer-provided to user-provided tests for fault localization a...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...