1. 5
  1.  

  2. 2

    Pretty much all I think about recently is how to generate test cases from models. I’ve read the MongoDB paper referenced here before, and it’s an invaluable case study about a practical application of that.

    Also, big +1 on visualizing state spaces with graphs. This is one of the #1 things that I use TLA+ for, and it changed how I think about programs. Like, that level of influential.