Paper Info
Title
The Auspicious Couple: Symbolic Execution and WCET Analysis.
Year
DOI
Venue
2013
10.4230/OASIcs.WCET.2013.53
WCET
Keywords
Field
DocType
formal methods,program analysis,automated reasoning,timing analysis
Automated reasoning,Programming language,Computer science,Parallel computing,Real-time computing,Symbolic execution,Symbolic data analysis,Concolic testing,Program analysis,Formal methods,Toolchain,Symbolic trajectory evaluation
Conference
Citations 
PageRank 
References 
4
0.41
16
Authors
4
Name
Order
Citations
PageRank
Armin Biere14106245.11
Jens Knoop283874.76
Laura Kovács349436.97
Jakob Zwirchmayr4544.19