Parametric Trace Expressions for Runtime Verification of Java-Like Programs.

Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi

Browse the full ECOOP paper archive.