Generating Optimal Monitors for Extended Regular Expressions

@article{Sen2003GeneratingOM,
  title={Generating Optimal Monitors for Extended Regular Expressions},
  author={Koushik Sen and Grigore Rosu},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2003},
  volume={89},
  pages={226-245}
}
Ordinary software engineers and programmers can easily understand regular patterns, as shown by the immense interest in and the success of scripting languages like Perl, based essentially on regular expression pattern matching. We believe that regular expressions provide an elegant and powerful specification language also for monitoring requirements, because an execution trace of a program is in fact a string of states. Extended regular expressions (EREs) add complementation to regular… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS

3 Figures & Tables

Topics

Statistics

0510'04'06'08'10'12'14'16'18
Citations per Year

92 Citations

Semantic Scholar estimates that this publication has 92 citations based on the available data.

See our FAQ for additional information.