Cognitive Reflection in Software Verification and Testing.

Kevin Buffardi

Browse the full ICSE paper archive.