How to Specify It!
Book chapter (May 2020)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (May 2020)
Article in Software Testing Verification and Reliability (August 2017)
Article in ACM SIGPLAN Notices (September 2016)