Login / Signup
Unit Testing for CASL Architectural Specifications.
Patrícia D. L. Machado
Donald Sannella
Published in:
MFCS (2002)
Keyphrases
</>
unit testing
test cases
software testing
integration testing
black box
tool suite
software architecture
error rate
architectural design
information systems
object oriented
software systems
formal specification