Control flow graphs and code coverage
From MaRDI portal
Publication:3083920
DOI10.2478/v10006-010-0056-9zbMath1221.05187MaRDI QIDQ3083920
Publication date: 24 March 2011
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/208022
directed graph; software testing; graph reduction; control flow graph; branch coverage; statement coverage
05C21: Flows in graphs
Related Items
Cites Work