Implementing a compiler-based test tool
From MaRDI portal
Publication:3951523
DOI10.1002/spe.4380121010zbMath0489.68014OpenAlexW1994146541MaRDI QIDQ3951523
Paul R. McMullin, Mark Weiser, John D. Gannon
Publication date: 1982
Published in: Software: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/spe.4380121010
compilersprogram testingabstract data typeDAISTSdata abstraction implementation, specification and testing system
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Uses Software
Cites Work