TU Darmstadt / ULB / TUbiblio

Visualizing Unbounded Symbolic Execution

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Seidl, Martina and Tillmann, Nikolai (eds.) (2014):
Visualizing Unbounded Symbolic Execution.
In: Proceedings of Testing and Proofs (TAP) 2014, Springer, In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2014
Editors: Seidl, Martina and Tillmann, Nikolai
Creators: Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Title: Visualizing Unbounded Symbolic Execution
Language: German
Title of Book: Proceedings of Testing and Proofs (TAP) 2014
Series Name: LNCS
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2014-0831
Export:

Optionen (nur für Redakteure)

View Item View Item