Paper Info
Title
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).
Abstract
SYMBIOTIC is a tool for detection of bugs described by finite state machines in C programs. The tool combines three well-known techniques: instrumentation, program slicing, and symbolic execution. This paper briefly describes the approach of SYMBIOTIC including its strengths, weaknesses, and modifications for SV-COMP 2013. Architecture and installation of the tool are described as well.
Year
Venue
Field
2013
Lecture Notes in Computer Science
Program slicing,Architecture,Programming language,Computer science,Slicing,Finite-state machine,Theoretical computer science,Symbolic execution,Embedded system,Instrumentation
DocType
Volume
ISSN
Conference
7795
0302-9743
Citations 
PageRank 
References 
2
0.42
4
Authors
3
Name
Order
Citations
PageRank
Jiri Slaby1204.04
Jan Strejcek29913.83
Marek Trtík3275.06