Reasoning-Based Software Testing

Luca Giamattei, Roberto Pietrantuono, Stefano Russo 0001. Reasoning-Based Software Testing. In 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE, Melbourne, Australia, May 14-20, 2023. pages 66-71, IEEE, 2023. [doi]

Abstract

Abstract is missing.