Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce & James Prather (2019):
Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research.
In: Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education,
ITiCSE-WGR '19.
Association for Computing Machinery,
New York, NY, USA,
pp. 177210,
doi:10.1145/3344429.3372508.
A. F. Blackwell, C. Britton, A. Cox, T. R. G. Green, C. Gurr, G. Kadoda, M. S. Kutar, M. Loomes, C. L. Nehaniv, M. Petre, C. Roast, C. Roe, A. Wong & R. M. Young (2001):
Cognitive Dimensions of Notations: Design Tools for Cognitive Technology.
In: Meurig Beynon, Chrystopher L. Nehaniv & Kerstin Dautenhahn: Cognitive Technology: Instruments of Mind.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 325–341,
doi:10.1007/3-540-44617-6_31.
Maria Christakis, K. Rustan M. Leino, Peter Müller & Valentin Wüstholz (2016):
Integrated Environment for Diagnosing Verification Errors.
In: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16),
pp. 424–441,
doi:10.1007/978-3-662-49674-9_25.
David R. Cok (2010):
Improved usability and performance of SMT solvers for debugging specifications.
Int. Journal on Software Tools for Technology Transfer 12(6),
pp. 467–481,
doi:10.1007/s10009-010-0138-x.
Sylvain Dailler, David Hauzar, Claude Marché & Yannick Moy (2018):
Instrumenting a Weakest Precondition Calculus for Counterexample Generation.
Journal of Logical and Algebraic Methods in Programming 99,
pp. 97–113,
doi:10.1016/j.jlamp.2018.05.003.
Available at https://hal.inria.fr/hal-01802488.
Sylvain Dailler, Claude Marché & Yannick Moy (2018):
Lightweight Interactive Proving inside an Automatic Program Verifier.
In: Paolo Masci, Rosemary Monahan & Virgile Prevosto: 4th Workshop on Formal Integrated Development Environment,
Electronic Proceedings in Theoretical Computer Science 284.
Open Publishing Association,
Oxford, United Kingdom,
doi:10.4204/EPTCS.284.1.
Available at https://hal.inria.fr/hal-01936302.
Martin Hentschel, Reiner Hähnle & Richard Bubel (2016):
Deductive Software Verification — The KeY Book, chapter Debugging and Visualization,
pp. 383–413.
Springer,
doi:10.1007/978-3-319-49812-6_11.
Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx & Frank Piessens (2011):
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java.
In: Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann & Rajeev Joshi: NASA Formal Methods 6617,
pp. 41–55,
doi:10.1007/978-3-642-20398-5_4.
G. Klien, D. D. Woods, J. M. Bradshaw, R. R. Hoffman & P. J. Feltovich (2004):
Ten challenges for making automation a "team player" in joint human-agent activity.
IEEE Intelligent Systems 19(6),
pp. 91–95,
doi:10.1109/MIS.2004.74.
Claire Le Goues, K. Rustan M. Leino & Michal Moskal (2011):
The Boogie Verification Debugger.
In: Gilles Barthe, Alberto Pardo & Gerardo Schneider: Software Engineering and Formal Methods - 9th International Conference, (SEFM) 7041,
pp. 407–414,
doi:10.1007/978-3-642-24690-6_28.
Peter Müller & Joseph N. Ruskiewicz (2011):
Using Debuggers to Understand Failed Verification Attempts.
In: Michael J. Butler & Wolfram Schulte: 17th International Symposium on Formal Methods 6664,
pp. 73–87,
doi:10.1007/978-3-642-21437-0_8.
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti & Jacques Julliand (2016):
Your Proof Fails? Testing Helps to Find the Reason.
In: Tests and Proofs - 10th International Conference 9762,
pp. 130–150,
doi:10.1007/978-3-319-41135-4_8.