Books with this tag

Runtime Verification; Testing; Analysis; Aspect-Or