Architectural Runtime Verification.

Lars Stockmann, Sven Laux, Eric Bodden

Browse the full ICSA paper archive.