Man Fai Lau, Yuen-Tak Yu, Pak-Lok Poon: Test Case Generation: Specification-Based. Encyclopedia of Software Engineering 2010: 1200-1210