Testing meets static and runtime verification-Reference-Cited by-同舟云学术

Testing meets static and runtime verification

Published:2018-06-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Chimento Jesús Mauricio¹,Ahrendt Wolfgang¹,Schneider Gerardo²

Affiliation:

1. Chalmers University of Technology, Gothenburg, Sweden

2. University of Gothenburg, Gothenburg, Sweden

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3193992.3194000

Reference42 articles.

1. 2012. Quviq AB: QuickCheck Documentation v1.26.2. (June 2012). 2012. Quviq AB: QuickCheck Documentation v1.26.2. (June 2012).

2. 2018. Bank system repository. github.com/mchimento/Bank. (January 2018). 2018. Bank system repository. github.com/mchimento/Bank. (January 2018).

3. 2018. SeleniumHQ. http://www.seleniumhq.org/. (2018). Accessed: 2018-01-25. 2018. SeleniumHQ. http://www.seleniumhq.org/. (2018). Accessed: 2018-01-25.

4. Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Peter H. Schmitt and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification---The KeY Book. Springer. Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Peter H. Schmitt and Mattias Ulbrich (Eds.). 2016. Deductive Software Verification---The KeY Book. Springer.

5. A Specification Language for Static and Runtime Verification of Data and Control Properties

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Residual Runtime Verification via Reachability Analysis;Lecture Notes in Computer Science;2023

2. Capturing program models with BISM;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

3. Runtime Verification Meets Controller Synthesis;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022

4. Runtime Verification: Passing on the Baton;Formal Methods in Outer Space;2021

5. PerfCI;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21