Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
Using symbolic execution for verifying safety-critical systems
FSE, 2001.
@inproceedings{ESEC-FSE-2001-Coen-PorisiniDGP,
author = "Alberto Coen-Porisini and Giovanni Denaro and Carlo Ghezzi and Mauro Pezzè",
booktitle = "{Proceedings of the Eighth European Software Engineering Conference held jointly with Ninth International Symposium on Foundations of Software Engineering}",
doi = "10.1145/503209.503230",
pages = "142--151",
publisher = "{ACM}",
title = "{Using symbolic execution for verifying safety-critical systems}",
year = 2001,
}