<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

Symbolic Arrays in Symbolic PathFinder

descriptionPublicationkeyboard_double_arrow_right Article 05 Jan 2017Publisher:Association for Computing Machinery (ACM)Journal:ACM SIGSOFT Software Engineering Notes, volume 41, pages 1-5 (issn: 0163-5948,

Authors: Corina S. Păsăreanu; Aymeric Fromherz; Kasper Søe Luckow;

doi: 10.1145/3011286.3011296

Symbolic Arrays in Symbolic PathFinder

- Summary
- Metrics

Abstract

Symbolic Execution is a program analysis technique used to increase software reliability. Modern software often manipulate complex data structures, many of which being similar to arrays. We present a novel approach and implementation in Symbolic PathFinder for handling symbolic arrays in Java. It enables analyzing a broader class of programs that manipulates arrays. We also extend the Symbolic Pathfinder testcase generation to support numeric arrays.

Related Organizations

Ames Research Center
United States
École Normale Supérieure
France
National Aeronautics and Space Administration
United States
Carnegie Mellon University
United States

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).	7
	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