Component-Oriented Verification of Software Architectures through Built-in Tests.

Colin Atkinson

Browse the full ECSA paper archive.