Symbolic PathFinder v7
We describe Symbolic PathFinder v7 in terms of its updated design addressing the changes of Java PathFinder v7 and of its new optimization when computing path conditions. Furthermore, we describe the Symbolic Execution Tree Extension; a newly added feature that allows for outputting the symbolic exe...
Gespeichert in:
| Veröffentlicht in: | Software engineering notes 2014-02, Vol.39 (1), p.1-5 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng ; jpn |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!