Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Wei Dou
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
Keyphrases
Model-Driven Engineering
,
pattern-based language
,
trace checking
.
Copyright © 2012-2024 easychair.org. All rights reserved.