VSL 2014: VIENNA SUMMER OF LOGIC 2014

Automated Testing

Author: Rance Cleaveland

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Automated Testing
Authors:Rance Cleaveland
Proceedings:CAV 2014 LNCS Proceedings
Editors: Armin Biere, Swen Jacobs and Roderick Bloem
Keywords:
Abstract:
Pages:1
Talk:Jul 20 17:10
Paper:
Disclaimer | Powered by EasyChair Smart Program