V. V. Ostapenko. Test Selection Based on Implementation Specification. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 20845, IEEE Computer Society, 1998. [doi]
Abstract is missing.