An effective sequential statistical test for probabilistic monitoring

Information and Software Technology

Volumn 53, Issue 3, 2011, Pages 190-199

  Grunske, Lars ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

MaC approach; Probabilistic monitoring; Probabilistic runtime verification; ProMo approach; Sequential probability ration test

Indexed keywords

MAC APPROACH; PROBABILISTIC MONITORING; PROMO APPROACH; RUN-TIME VERIFICATION; SEQUENTIAL PROBABILITY RATION TEST;

DECISION MAKING; OPERATIONS RESEARCH; QUALITY ASSURANCE; QUALITY CONTROL; QUALITY OF SERVICE; SAMPLING; STATISTICS;

STATISTICAL TESTS;

EID: 79251604144     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2010.10.003     Document Type: Article

References (32)

1. H. Barringer, A. Goldberg, K. Havelund, and K. Sen Rule-based runtime verification B. Steffen, G. Levi, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Proceedings Lecture Notes in Computer Science Vol. 2937 2004 Springer 44 57
2. M.B. Dwyer, M. Diep, and S.G. Elbaum Reducing the cost of path property monitoring through sampling 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) 2008 IEEE 228 237
3. K. Havelund, and G. Rosu Synthesizing monitors for safety properties J.-P. Katoen, P. Stevens, Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002 Lecture Notes in Computer Science Vol. 2280 2002 Springer 342 356
4. A. Keller, and H. Ludwig Defining and monitoring service-level agreements for dynamic e-business Proceedings of the 16th Systems Administration Conference (LISA-02) 2002 USENIX Association Berkeley, CA 189 204
5. M. Leucker, and C. Schallhart A brief account of runtime verification Journal of Logic and Algebraic Programming 78 5 2009 293 303
6. K. Mahbub, and G. Spanoudakis Monitoring WS-agreements: an event calculus-based approach L. Baresi, E.D. Nitto, Test and Analysis of Web Services 2007 Springer 265 306
7. O. Maler, and D. Nickovic Monitoring temporal properties of continuous signals Y. Lakhnech, S. Yovine, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004 Lecture Notes in Computer Science Vol. 3253 2004 Springer 152 166
8. G. Rosu, and K. Havelund Rewriting-based techniques for runtime verification Automated Software Engineering 12 2 2005 151 197
9. A. Bauer, M. Leucker, and C. Schallhart Monitoring of real-time properties S. Arun-Kumar, N. Garg, Proceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006 Lecture Notes in Computer Science Vol. 4337 2006 Springer 260 272
10. K.J. Kristoffersen, C. Pedersen, and H.R. Andersen Runtime verification of timed LTL using disjunctive normalized equation systems Electronic Notes in Theoretical Computer Science 89 2 2003
11. P. Zhang, B. Li, and M. Sun Extending PSC for monitoring the timed properties in composite services Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008) 2008 IEEE Computer Society Press Beijing, China 335 342
12. P. Zhang, B. Li, and L. Grunske Timed property sequence chart Journal of Systems and Software 83 3 2010 371 390
13. K. Havelund, and G. Rosu An overview of the runtime verification tool java pathexplorer Formal Methods in System Design 24 2 2004 189 215
14. M. Kim, M. Viswanathan, S. Kannan, I. Lee, and O. Sokolsky Java-maC: A run-time assurance approach for java programs Formal Methods in System Design 24 2 2004 129 155
15. F. Chen, and G. Rosu Java-MOP: A monitoring oriented programming environment for java N. Halbwachs, L.D. Zuck, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Lecture Notes in Computer Science Vol. 3440 2005 Springer 546 550
16. F. Chen, and G. Rosu MOP: an efficient and generic runtime verification framework R.P. Gabriel, D.F. Bacon, C.V.G.L.S. Lopes Jr. Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007 2007 ACM 569 588
17. P. Avgustinov, J. Tibble, E. Bodden, L.J. Hendren, O. Lhoták, O. de Moor, N. Ongkingco, and G. Sittampalam Efficient trace monitoring P.L. Tarr, W.R. Cook, Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006 2006 ACM 685 686
18. S. Goldsmith, R. O'Callahan, and A. Aiken Relational queries over program traces R.E. Johnson, R.P. Gabriel, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 2005 ACM 385 402
19. J. Skene, D.D. Lamanna, and W. Emmerich Precise service level agreements 26th International Conference on Software Engineering (ICSE 2004) 2004 IEEE Computer Society 179 188
20. J. Skene, A. Skene, J. Crampton, and W. Emmerich The monitorability of service-level agreements for application-service provision V. Cortellessa, S. Uchitel, D. Yankelevich, Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007 2007 ACM 3 14
21. F. Raimondi, J. Skene, and W. Emmerich Efficient online monitoring of web-service SLAs SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2008 ACM Press New York, NY, USA 170 180
22. L. Grunske Specification patterns for probabilistic quality properties Robby 30th International Conference on Software Engineering (ICSE 2008) 2008 ACM 31 40
23. K. Chan, I. Poernomo, H.W. Schmidt, and J. Jayaputera A model-oriented framework for runtime monitoring of nonfunctional properties R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J. Schroeder, 1st International Conference on the Quality of Software Architectures, QoSA 2005 LNCS Vol. 3712 2005 Springer 38 52
24. H. Hansson, and B. Jonsson A logic for reasoning about time and reliability Formal Aspects of Computing 6 5 1994 512 535
25. U. Sammapun, I. Lee, O. Sokolsky, and J. Regehr Statistical runtime checking of probabilistic properties O. Sokolsky, S. Tasiran, Runtime Verification, 7th International Workshop, RV 2007 LNCS Vol. 4839 2007 Springer 164 175
26. L. Grunske, and P. Zhang Monitoring probabilistic properties H. van Vliet, V. Issarny, Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009 2009 ACM Amsterdam 183 192
27. A. Aziz, K. Sanwal, V. Singhal, and R.K. Brayton Verifying continuous time markov chains R. Alur, T.A. Henzinger, Proceedings of the 8th International Conference on Computer Aided Verification, CAV 96 LNCS Vol. 1102 1996 Springer 269 276
28. C. Baier, J.-P. Katoen, and H. Hermanns Approximate symbolic model checking of continuous-time Markov chains J.C.M. Baeten, S. Mauw, Proceedings of the 10th International Conference on Concurrency Theory, CONCUR 99 LNCS Vol. 1664 1999 Springer 146 161
29. A. Wald Sequential tests of statistical hypotheses The Annals of Mathematical Statistics 16 2 1945 117 186
30. H.L.S. Younes, and R.G. Simmons Statistical probabilistic model checking with a focus on time-bounded properties Information and Computation 204 9 2006 1368 1409
31. H.L.S. Younes Error control for probabilistic model checking E.A. Emerson, K.S. Namjoshi, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006 LNCS Vol. 3855 2006 Springer 142 156
32. A. Wald, and J. Wolfowitz Optimum character of the sequential probability ratio test The Annals of Mathematical Statistics 19 3 1948 326 339