2 ms·Software Testing and Formal Specifications: a turbulent history [paper] [pdf]2 points by pabs3 2y ago