Software Model Checking for People Who Love Automata
Abstract elided by the publisher.
Related papers
- Object-Oriented Practice in 1998: Does it help or hinder collaboration? (Panel) OOPSLA 1998
- Faith, hope, and love: an essay on software science's neglect of human factors OOPSLA 2010
- Writing code for other people: cognitive psychology and the fundamentals of good software design principles OOPSLA 2009
- Software model checking using languages of nested trees TOPLAS 2011
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- The landscape of refactoring research in the last decade (keynote) GPCE 2017
- Behavioral software contracts ICFP 2014
- Competitive Debugging: Toward Contests Promoting Debugging as a Skill Onward! 2022