Autor:	Mario Dal Cin, S. Gossens
Rok vydání:	2004
Předmět:	Control flow Theoretical computer science Control flow analysis Computer science Software fault tolerance Metric (mathematics) Algorithm Fault detection and isolation Software metric Abstraction (linguistics) Data-flow analysis
Zdroj:	COMPSAC Workshops
Popis:	We present a new metric for control flow path sets based on a control flow abstraction technique and evaluate the concept in a study of a large set of artificially generated programs, using a special model of fault detection ability.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4f810bb25bfd599ee6ec799acef0d94e https://doi.org/10.1109/cmpsac.2004.1342661 Zobrazit plný text záznamu