Defect registration tools as knowledge base 10

Abstract

Ed Brandt Proving test coverage at requirements level 15 Han van Gerwen Automatic on-the-fly testing of reactive systems 1