Bibtex de la publication

@InProceedings{ Ru2017.1,
author = {Ruiz, Jordy and Cassé, Hugues and De Michiel, Marianne},
title = "{Working around loops for infeasible path detection in binary programs (regular paper)}",
booktitle = "{IEEE International Working Conference on Source Code Analysis and Manipulation, Shanghai, China, 17/09/17-18/09/17}",
year = {2017},
month = {septembre},
publisher = {IEEE},
address = {http://www.ieee.org/},
pages = {1--10},
language = {anglais},
URL = {http://ieeexplore.ieee.org/abstract/document/8090133/}
}