Runtime verification of .NET contracts-Reference-Cited by-同舟云学术

Runtime verification of .NET contracts

Published:2003-03 Issue:3 Volume:65 Page:199-208
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Barnett Mike,Schulte Wolfram

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference35 articles.

1. The B-Book: Assigning Programs to Meanings;Abrial,1996

2. Refinement Calculus: A Systematic Introduction;Back,1998

3. Ball, T., Rajamani, S., 2002. SLIC: A specification language for interface checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research. Available from http://research.microsoft.com/pubs

4. The ABCs of specification: AsmL, behavior, and components;Barnett;Informatica,2001

5. Barnett, M., Schulte, W., 2001b. Spying on components: A runtime verification technique. In Leavens, G.T., Sitaraman, M., Giannakopoulou, D., (Eds.), Workshop on Specification and Verification of Component-Based Systems. Published as Iowa State Technical Report 01-09a

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

1. Review of Software Quality Verification and Evaluation Methods;The Herald of the Siberian State University of Telecommunications and Informatics;2023-02-23

2. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12

3. Ortac: Runtime Assertion Checking for OCaml (Tool Paper);Runtime Verification;2021

4. Refinement Type Contracts for Verification of Scientific Investigative Software;Lecture Notes in Computer Science;2020

5. Design and Run-Time Aspects of Secure Cyber-Physical Systems;Security and Quality in Cyber-Physical Systems Engineering;2019