Author:
Havelund Klaus,Goldberg Allen
Publisher
Springer Berlin Heidelberg
Reference63 articles.
1. 1st – 5th Workshops on Runtime Verification (RV 2001 - RV 2005). ENTCS, vol. 55(2), 70(4), 89(2), 113. Elsevier Science Direct. Amsterdam (to be published, 2001–2005), http://www.runtime-verification.org
2. Allan, C., Avgustinov, P., Kuzins, S., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J., Christensen, A.S., Hendren, L., Lhoták, O.: Adding Trace Matching with Free Variables to AspectJ. In: OOPSLA 2005 (2005)
3. Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M., Pasareanu, C., Rosu, G., Sen, K., Visser, W., Washington, R.: Combining Test-Case Generation and Runtime Verification. Theoretical Computer Science 336(2–3), 209–234 (2005), Extended version of [4]
4. Lecture Notes in Computer Science;C. Artho,2003
5. Artho, C., Havelund, K., Biere, A.: High-Level Data Races. Software Testing, Verification and Reliability 13(4) (2004)
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime Verification in Real-Time with the Copilot Language: A Tutorial;Lecture Notes in Computer Science;2024-09-13
2. Automated Repair of Violated Eventually Properties in Concurrent Programs;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
3. General monitorability of totally ordered verdict domains;Innovations in Systems and Software Engineering;2024-04-06
4. Enforcing Timing Properties in Motorway Traffic;Electronic Proceedings in Theoretical Computer Science;2023-11-15
5. A modular pipeline for enforcement of security properties at runtime;Annals of Telecommunications;2023-04-17