A Few Things We Heard About RV Tools (Position Paper)

7 pages•Published: December 14, 2017

Sylvain Hallé, Raphael Khoury and Sebastien Gaboury

Abstract

Over the past five years, we have met with representatives of more than a dozen companies in various domains, trying to showcase the features of our runtime verification tool. These meetings gave us some very instructive feedback about the way RV is perceived by people from the industry, and about the shortcomings of current RV solutions. In this paper, we discuss a few of the comments we heard, and use them to suggest new ways of developing and evaluating RV tools in the future.

Keyphrases: position paper, runtime verification, tools

In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 89-95.

Links:	https://easychair.org/publications/paper/q246
	https://doi.org/10.29007/zxc5

BibTeX entry

@inproceedings{RV-CuBES2017:Few_Things_We_Heard,
  author    = {Sylvain Hallé and Raphael Khoury and Sebastien Gaboury},
  title     = {A Few Things We Heard About RV Tools (Position Paper)},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/q246},
  doi       = {10.29007/zxc5},
  pages     = {89-95},
  year      = {2017}}

Download PDF Open PDF in browser