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.
Paper
Full paper: [PDF, 74 pages] (preliminary version, see the book for the final paper)
|
David Evans - Publications University of Virginia Department of Computer Science |
David Evans evans@cs.virginia.edu |