@inproceedings{Pimont-Rault:ICSE76,
author = {S. Pimont and
J.{-}C. Rault},
title = {A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs},
booktitle = {ICSE},
pages = {486--491},
publisher = {{IEEE} Computer Society},
year = {1976},
}