Auflistung Nach Schlagwort "Symbolic Execution" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Noller, Yannic; Kersten, Rody; Pasareanu, Corina
65-66
Proactive Energy-Aware System Software Design with SEEP

Hönig, Timo; Eibel, Christopher; Schröder-Preikschat, Wolfgang; Cassens, Björn; Kapitza, Rüdiger
6-7
Symbolic Execution for Realizability-Checking of Scenario-based Specifications

Greenyer, Joel; Gutjahr, Timo
145-146
A system for SMT based constraint programming in Java

Funk, Maurice
2575-2580

Anzeige der Dokumente 1-4 von 4

«
»