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)
CS 655 David Evans - Publications
University of Virginia
Department of Computer Science
David Evans
evans@cs.virginia.edu