Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis.

Nikolai Kosmatov, Julien Signoles

Browse the full TAP paper archive.