Input-domain-based models for estimating the correctness of process control programs (1986)

by F B Bastani, C V Ramamoorthy
Venue:In In Reliability Theory