First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Article in International Journal on Software Tools for Technology Transfer (April 2017)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (April 2017)
Article in Science of Computer Programming (July 2016)
Article in ACM SIGPLAN Notices (June 2016)