@inproceedings{FMP6,
title = {Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information },
author = {Feist, Josselin and Mounier, Laurent and Potet, Marie-Laure},
year = {2016},
booktitle = {Software Engineering and Formal Methods - 14th International Conference, {SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8, 2016, Proceedings},
pages = {76--81},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9763},
team = {PACSS, axe_Pacs},
}
