<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Artifact and Appendix of "Finding Real Bugs in Big Programs with Incorrectness Logic"

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 10 Mar 2022Publisher:Zenodo

Authors: Quang Loc Le; Azalea Raad; Jules Villard; Josh Berdine; Derek Dreyer; Peter O'Hearn;

doi: 10.5281/zenodo.6342310 , 10.5281/zenodo.6342311

Artifact and Appendix of "Finding Real Bugs in Big Programs with Incorrectness Logic"

- Summary
- Metrics

Abstract

This is the artifact for the OOPSLA'22 paper ��Finding Real Bugs in Big Programs with Incorrectness Logic��. It contains the scripts reproducing the results of the paper. The public development repository is available at https://github.com/facebook/infer.

Related Organizations

Imperial College London
United Kingdom
University College London
United Kingdom

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average