Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Program slicing enhances a verification technique combining static and dynamic analysis
SAC, 2012.
@inproceedings{SAC-2012-ChebaroKGJ,
author = "Omar Chebaro and Nikolai Kosmatov and Alain Giorgetti and Jacques Julliand",
booktitle = "{Proceedings of the 27th Symposium on Applied Computing}",
doi = "10.1145/2245276.2231980",
editor = "Sascha Ossowski and Paola Lecca",
isbn = "978-1-4503-0857-1",
pages = "1284--1291",
publisher = "{ACM}",
title = "{Program slicing enhances a verification technique combining static and dynamic analysis}",
year = 2012,
}