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: LNCS, In: Proceedings of Testing and Proofs (TAP) 2014, Springer, pp. 82--98, [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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item