Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering and evaluation can be very useful for processing such information for areas ranging from performance profiling to user modelling and intrusion detection. In this paper, we give an overview of LarvaStat - a runtime verification tool extending Larva [2] with the ability to straightforwardly specify real-time related statistical properties. Being automaton-based, LarvaStat also makes explicit the overhead induced by monitoring. © 2010 Springer-Verlag.
CITATION STYLE
Colombo, C., Gauci, A., & Pace, G. J. (2010). LarvaStat: Monitoring of statistical properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6418 LNCS, pp. 480–484). https://doi.org/10.1007/978-3-642-16612-9_38
Mendeley helps you to discover research relevant for your work.