Testing Dafny (experience paper)-Reference-Cited by-同舟云学术

Testing Dafny (experience paper)

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Irfan Ahmed¹,Porncharoenwase Sorawee²,Rakamarić Zvonimir¹,Rungta Neha¹,Torlak Emina¹

Affiliation:

1. Amazon Web Services, USA

2. University of Washington, USA

Publisher

ACM

Link

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

Reference42 articles.

1. [n. d.]. AWS Batch: Fully managed processing at any scale. https://aws.amazon.com/batch/ Accessed: 2022-01-07 [n. d.]. AWS Batch: Fully managed processing at any scale. https://aws.amazon.com/batch/ Accessed: 2022-01-07

2. Rajeev Alur , Rastislav Bodík , Garvit Juniwal , Milo M. K. Martin , Mukund Raghothaman , Sanjit A. Seshia , Rishabh Singh , Armando Solar-Lezama , Emina Torlak , and Abhishek Udupa . 2013. Syntax-guided synthesis . IEEE. https://ieeexplore.ieee.org/document/6679385/ Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. IEEE. https://ieeexplore.ieee.org/document/6679385/

3. Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques

4. Satisfiability Modulo Theories

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

1. Generating Conforming Programs with Xsmith;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22

2. A Toolkit for Automated Testing of Dafny;Lecture Notes in Computer Science;2023

3. Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version);Formal Aspects of Computing;2022-11-18