An automated environment for software testing and reliability estimation. - Staffan Pernler; Niclas Stahl (ISSRE, 1994)