On the unusual effectiveness of type-aware operator mutations for testing SMT solvers-Reference-Cited by-同舟云学术

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers

Author:

Winterer Dominik¹,Zhang Chengyu²,Su Zhendong¹

Affiliation:

1. ETH Zurich, Switzerland

2. East China Normal University, China

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

Reference41 articles.

1. Fuzzing and delta-debugging SMT solvers;Brummayer Robert;SMT.,2009

2. Automatically testing string solvers;Bugariu Alexandra;ICSE.,2020

3. Automatically testing implementations of numerical abstract domains;Bugariu Alexandra;ASE.,2018

4. Analysing the program analyser;Cadar Cristian;ICSE.,2016

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

1. Fuzz4All: Universal Fuzzing with Large Language Models;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

3. Arithmetic Solving in Z3;Lecture Notes in Computer Science;2024

5. Creating Thorough Tests for AI-Generated Code is Hard;Proceedings of the 16th Annual ACM India Compute Conference;2023-12-09