Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane

著者: John Hughes - Lecture notes in computer science 2016 被引用: 34