Analysing the Performance of Python-Based Web Services with the VyPR Framework

[1]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[2]  Yliès Falcone,et al.  A taxonomy for classifying runtime verification tools , 2018, International Journal on Software Tools for Technology Transfer.

[3]  Alex Groce,et al.  What Went Wrong: Explaining Counterexamples , 2003, SPIN.

[4]  Mayur Naik,et al.  From symptom to cause: localizing errors in counterexample traces , 2003, POPL '03.

[5]  Michael Poppleton,et al.  Fast Model-Based Fault Localisation with Test Suites , 2015, TAP@STAF.

[6]  Bradley N. Miller,et al.  The Python Programming Language , 2006 .

[7]  Harald C. Gall,et al.  Interactive Production Performance Feedback in the IDE , 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).

[8]  Howard Barringer,et al.  Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors , 2012, FM.

[9]  Sylvain Hallé,et al.  A Formalization of Complex Event Stream Processing , 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference.

[10]  Christian Schilling,et al.  Semantic Fault Localization and Suspiciousness Ranking , 2019, TACAS.

[11]  Giles Reger.  Suggesting Edits to Explain Failing Traces , 2015, RV.

[12]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[13]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[14]  Giles Reger,et al.  Explaining Violations of Properties in Control-Flow Temporal Logic , 2019, RV.

[15]  Dejan Nickovic,et al.  Trace Diagnostics Using Temporal Implicants , 2015, ATVA.

[16]  Martin Leucker,et al.  Runtime Verification for LTL and TLTL , 2011, TSEM.

[17]  M. L. Chaim,et al.  Spectrum-based Software Fault Localization: A Survey of Techniques, Advances, and Challenges , 2016, ArXiv.

[18]  Koushik Sen,et al.  Rule-Based Runtime Verification , 2004, VMCAI.

[19]  Bernd Finkbeiner,et al.  LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).

[20]  Dejan Nickovic,et al.  Automatic Failure Explanation in CPS Models , 2019, SEFM.

[21]  Helmut Veith,et al.  Tree-like counterexamples in model checking , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[22]  David Both.  Network Time Protocol , 2020 .

[23]  Ilan Beer,et al.  Explaining counterexamples using causality , 2009, Formal Methods in System Design.

[24]  Markus Stumptner,et al.  Model-Based Debugging or How to Diagnose Programs Automatically , 2002, IEA/AIE.

[25]  Giles Reger,et al.  Specification of temporal properties of functions for runtime verification , 2019, SAC.

[26]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[27]  Claudia-Elisabeth Wulz,et al.  The CMS experiment at CERN , 2005, SPIE Optics + Optoelectronics.

[28]  Andreas Pfeiffer,et al.  VyPR2: A Framework for Runtime Verification of Python Web Services , 2019, TACAS.

[29]  Stavros Tripakis,et al.  Testing Conformance of Real-Time Applications by Automatic Generation of Observers , 2005, Electron. Notes Theor. Comput. Sci..

[30]  Giles Reger,et al.  A Report of RV-CuBES 2017 , 2017, RV-CuBES.

[31]  Fabian Beck,et al.  In situ understanding of performance bottlenecks through visually augmented code , 2013, 2013 21st International Conference on Program Comprehension (ICPC).

[32]  Harald C. Gall,et al.  Context-Based Analytics - Establishing Explicit Links between Runtime Traces and Source Code , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).

[33]  R. Chytracek,et al.  CORAL, A SOFTWARE SYSTEM FOR VENDOR-NEUTRAL ACCESS TO RELATIONAL DATABASES , 2006 .