3 works on record
Validation of Evolving Software
Runtime Verification
Proceedings of the Ninth International Workshop on Dynamic Analysis