Path Exploration Tool [chapter]

Elsa L. Gunter, Doron Peled
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
While veri cation methods are becoming more frequently integrated into software development projects, software testing is still the main method used to search for programming errors. Software testing approaches focus on methods for covering di erent execution paths of a program, e.g., covering all the statements, or covering all the possible tests. Such c o verage criteria are usually approximated using some add-hoc heuristics. We present a tool for testing execution paths in sequential and
more &raquo; ... urrent programs. The tool, path exploration tool Pet, visualizes concurrent code as ow graphs, and allows the user to interactively select an interleaved execution path. It then calculates and displays the condition to execute such a path, and allows the user to easily modify the selection in order to cover additional related paths. We describe the design and architecture of this tool and suggest various extensions. W.R. Cleaveland (Ed.): TACAS/ETAPS'99, LNCS 1579, pp. 405-419, 1999.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1007/3-540-49059-0_28</a> <a target="_blank" rel="external noopener" href="">fatcat:icer3oidmrhc3ehz5vogr7s4bu</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> </button> </a>