Code Contracts for .NET: Runtime Verification and So Much More-Reference-Cited by-同舟云学术

Code Contracts for .NET: Runtime Verification and So Much More

Published:2010 Issue: Volume: Page:16-17
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Barnett Mike

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16612-9_2

Reference8 articles.

1. Barnett, M., Fähndrich, M., Logozzo, F.: Embedded contract languages. In: SAC 2010: Proceedings of the ACM Symposium on Applied Computing, Lausanne, Switzerland. ACM Press, New York (2010)

2. Barnett, M., Fähndrich, M., de Halleux, P., Logozzo, F., Tillmann, N.: Exploiting the synergy between automated-test-generation and programming-by-contract. In: Beckert, B., Hähnle, R. (eds.) ICSE 2009, 31th International Conference on Software Engineering, pp. 401–402. IEEE, Los Alamitos (2009)

3. Lecture Notes in Computer Science;M. Barnett,2005

4. Spec# developer community. Spec# web site. Microsoft Research (2006), http://research.microsoft.com/specsharp/

5. Research in Software Engineering. Rise web site. Microsoft Research (2010), http://research.microsoft.com/rise/

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

1. EvoSpex: An Evolutionary Algorithm for Learning Postconditions;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05

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

3. Applying learning techniques to oracle synthesis;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21

4. Training Binary Classifiers as Data Structure Invariants;2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE);2019-05