References

  1. 9118\p@ plus2\p@ minus4\p@ \z@ plus\p@ 4\p@ plus2\p@ minus2\p@ \defłeftmarginłeftmargini 6\p@ plus2\p@ minus2\p@ 3\p@ plus2\p@ minus\p@ıtemsep \parsepłeftmarginłeftmargini 4\p@ plus2\p@ minus2\p@ 2\p@ plus\p@ minus\p@ıtemsep https://www.kitchensoap.com/2012/09/21/a-mature-role-for-automation-part-i/ and https://www.kitchensoap.com/2013/08/20/a-mature-role-for-automation-part-ii/.
  2. 9118\p@ plus2\p@ minus4\p@ \z@ plus\p@ 4\p@ plus2\p@ minus2\p@ \defłeftmarginłeftmargini 6\p@ plus2\p@ minus2\p@ 3\p@ plus2\p@ minus\p@ıtemsep \parsepłeftmarginłeftmargini 4\p@ plus2\p@ minus2\p@ 2\p@ plus\p@ minus\p@ıtemsep https://queue.acm.org/detail.cfm?id=2841313.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org