Automatic Inference and Eective Application of Temporal Specications
Jinlin Yang and David Evans
Chapter in
Mining Software Specifications: Methodologies and
Applications
Edited by David Lo, Siau-Cheng Khoo, Chao Liu, and Jiawei Han
CRC Press
2011.
