More Reliable Test Suites for Dynamic APR by using Counterexamples-Reference-Cited by-同舟云学术

More Reliable Test Suites for Dynamic APR by using Counterexamples

Published:2021-10 Issue: Volume: Page:
ISSN:
Container-title:2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)
language:
Short-container-title:

Author:

Nilizadeh Amirfarhad¹,Calvo Marlon¹,Leavens Gary T.¹,Le Xuan-Bach D.²

Affiliation:

1. University of Central Florida,Orlando,Florida,USA

2. University of Melbourne,Melbourne,Australia

Publisher

IEEE

Link

Reference95 articles.

5. Forensic-an automatic debug-ging environment for c programs;bloem;Haifa Verification Conference,0

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

1. Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

3. Parameterized Search Heuristic Prediction for Concolic Execution;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

4. The Future Can’t Help Fix The Past: Assessing Program Repair In The Wild;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01

5. A failed proof can yield a useful test;Software Testing, Verification and Reliability;2023-08-31