TY - GEN
T1 - RV-monitor
T2 - 5th International Conference on Runtime Verification, RV 2014
AU - Luo, Qingzhou
AU - Zhang, Yi
AU - Lee, Choonghwan
AU - Jin, Dongyun
AU - Meredith, Patrick O’Neil
AU - Şerbănuţă, Traian Florin
AU - Roşu, Grigore
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2014.
PY - 2014
Y1 - 2014
N2 - Runtime verification can effectively increase the reliability of software systems. In recent years, parametric runtime verification has gained a lot of traction, with several systems proposed. However, lack of real specifications and prohibitive runtime overhead when checking numerous properties simultaneously prevent developers or users from using runtime verification. This paper reports on more than 150 formal specifications manually derived from the Java API documentation of commonly used packages, as well as a series of novel techniques which resulted in a new runtime verification system, RV-Monitor. Experiments show that these specifications are useful for finding bugs and bad software practice, and RV-Monitor is capable of monitoring all our specifications simultaneously, and runs substantially faster than other state-of-the-art runtime verification systems.
AB - Runtime verification can effectively increase the reliability of software systems. In recent years, parametric runtime verification has gained a lot of traction, with several systems proposed. However, lack of real specifications and prohibitive runtime overhead when checking numerous properties simultaneously prevent developers or users from using runtime verification. This paper reports on more than 150 formal specifications manually derived from the Java API documentation of commonly used packages, as well as a series of novel techniques which resulted in a new runtime verification system, RV-Monitor. Experiments show that these specifications are useful for finding bugs and bad software practice, and RV-Monitor is capable of monitoring all our specifications simultaneously, and runs substantially faster than other state-of-the-art runtime verification systems.
UR - http://www.scopus.com/inward/record.url?scp=84921759286&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84921759286&partnerID=8YFLogxK
U2 - 10.1007/2F978-3-319-11164-3_24
DO - 10.1007/2F978-3-319-11164-3_24
M3 - Conference contribution
AN - SCOPUS:84921759286
SN - 9783319111636
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 285
EP - 300
BT - Runtime Verification - 5th International Conference, RV 2014, Proceedings
A2 - Bonakdarpour, Borzoo
A2 - Smolka, Scott A.
PB - Springer
Y2 - 22 September 2014 through 25 September 2014
ER -