SAGE-Reference-Cited by-同舟云学术

SAGE

Published:2012-03 Issue:3 Volume:55 Page:40-44
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Godefroid Patrice¹,Levin Michael Y.²,Molnar David¹

Affiliation:

1. Microsoft Research

2. Windows Azure Engineering Infrastructure

Abstract

SAGE has had a remarkable impact at Microsoft.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

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

Reference9 articles.

1. Framework for instruction-level tracing and analysis of program executions

2. Z3: An efficient SMT solver. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems;;de Moura L.;Lecture Notes in Computer Science. Springer-Verlag,2008

3. DART

4. Automated whitebox fuzz testing;Godefroid P.;Proceedings of Network and Distributed Systems Security, (,2008

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

1. AugPersist: Automatically augmenting the persistence of coverage-based greybox fuzzing for persistent software;Computers & Security;2025-01

2. Inconsistencies in TeX-Produced Documents;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

4. Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs;ACM Transactions on Software Engineering and Methodology;2024-06-27

5. FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis;Formal Aspects of Computing;2024-06-26