Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification-Reference-Cited by-同舟云学术

Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification

Published:2012 Issue: Volume: Page:208-222
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Navabpour Samaneh,Wu Chun Wah Wallace,Bonakdarpour Borzoo,Fischmeister Sebastian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-29860-8_16.pdf

Reference12 articles.

1. Bauer, A., Leucker, M., Schallhart, C.: Runtime Verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology, TOSEM (2009) (in press)

2. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. Journal of Logic and Computation 20(3), 651–674 (2010)

3. Lecture Notes in Computer Science;B. Bonakdarpour,2011

4. Lecture Notes in Computer Science;S. Colin,2005

5. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press (2009)

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

1. RVprio: A tool for prioritizing runtime verification violations;Software Testing, Verification and Reliability;2022-03-07

2. How effective are existing Java API specifications for finding bugs during runtime verification?;Automated Software Engineering;2019-11-21

3. How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25

4. Time-Triggered Runtime Verification of Component-Based Multi-core Systems;Runtime Verification;2015