Keyword:trace checking

Publications
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties Wei Dou, Domenico Bianculli and Lionel Briand In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools