QuickSpec. Guessing Formal Specifications using Testing: PDFcse.chalmers.se1 point·alrex021··0 commentsOpen articleSaveView on HN