Application of Program Graphs and Complexity Analysis to Software Development and Testing
From MaRDI portal
Publication:4197325
DOI10.1109/TR.1979.5220563zbMath0409.68008MaRDI QIDQ4197325
Publication date: 1979
Published in: IEEE Transactions on Reliability (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability and life testing (62N05) Theory of software (68N99)
Related Items
Selecting a testing criterion based on quantitative analysis ⋮ Symbolic reliability evaluation of a software with network structure