Automatically generating test data from a Boolean specification
From MaRDI portal
Publication:4302742
DOI10.1109/32.286420zbMath0809.94036MaRDI QIDQ4302742
Elaine J. Weyuker, Ashutosh Singh, Tarak Goradia
Publication date: 21 August 1994
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/32.286420
94C12: Fault detection; testing in circuits and networks
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Automatically generating test data from a Boolean specification, Test-data generation for control coverage by proof, MC/DC test cases generation based on BDDs, Generation of mutants for boolean expression
Cites Work