Skip to content

Commit

Permalink
minor
Browse files Browse the repository at this point in the history
  • Loading branch information
shrBadihi committed Aug 10, 2024
1 parent 53be0e4 commit 27eff65
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion artifacts/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ <h1 style="font-size:20px;">Cloud Software</h1>

<h1 style="font-size:20px;">Compositional Software Development</h1>
<ul>
<li><a target="_new" href="https://github.com/resess/Slicer4D"> Slicer4D: A Slicing-based Debugger for Java</li>
<li><a target="_new" href="https://github.com/resess/Slicer4D"> Slicer4D: A Slicing-based Debugger for Java</a>, ASE 2024 Tool Demos Track</li>
<li><a target="_new" href="InPreSS/">InPreSS: Information Preserving Slice Summarization</a>, ICSE 2023</li>
<li><a target="_new" href="https://github.com/resess/Slicer4J"> Slicer4J: A Dynamic Slicer for Java</a>, FSE 2021 Tool Demos Track</li>
<li><a target="_new" href="ARDiff/">ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code</a>, FSE 2020</a></li>
Expand Down

0 comments on commit 27eff65

Please sign in to comment.