Branson W. Murrill. Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems. In Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. pages 409-410, IEEE Computer Society, 2007. [doi]