Kevin Buffardi. Cognitive Reflection in Software Verification and Testing. In 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 1-10, IEEE, 2023. [doi]
Abstract is missing.