The complexity of data flow criteria for test data selection
From MaRDI portal
Publication:2266585
DOI10.1016/0020-0190(84)90106-6zbMath0561.68026MaRDI QIDQ2266585
Publication date: 1984
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(84)90106-6
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Cites Work