Input invariants-Reference-Cited by-同舟云学术

Input invariants

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Steinhöfel Dominic¹,Zeller Andreas¹

Affiliation:

1. CISPA Helmholtz Center for Information Security, Germany

Publisher

ACM

Link

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

Reference33 articles.

1. Clark Barrett , Pascal Fontaine , and Cesare Tinelli . 2017. The SMT-LIB Standard: Version 2.6. Department of Computer Science , The University of Iowa . Available at www.SMT-LIB.org Clark Barrett, Pascal Fontaine, and Cesare Tinelli. 2017. The SMT-LIB Standard: Version 2.6. Department of Computer Science, The University of Iowa. Available at www.SMT-LIB.org

2. QuickCheck

3. James Clark and Steve DeRose. 1999. XML Path Language (XPath) 2.5: Abbreviated Syntax. https://www.w3.org/TR/1999/REC-xpath-19991116/##path-abbrev Accessed: 2022-08-23 James Clark and Steve DeRose. 1999. XML Path Language (XPath) 2.5: Abbreviated Syntax. https://www.w3.org/TR/1999/REC-xpath-19991116/##path-abbrev Accessed: 2022-08-23

4. Property-Based Test Case Generators for Free

5. Language fuzzing using constraint logic programming

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

1. Shaping Test Inputs in Grammar-Based Fuzzing;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Automated Infrastructure as Code Program Testing;IEEE Transactions on Software Engineering;2024-06

3. Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

4. Generator-based Fuzzing with Input Features;Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing;2024-04-14

5. Property-Based Testing in Practice;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12