QuickSpec. Guessing Formal Specifications using Testing: PDFcse.chalmers.se1 pointalrex02116 years ago