Mining Apps to Learn Normal Behavior

First Page		Document Content
Date: 2014-10-21 03:47:57 Formal methods Logic in computer science SQL Postcondition Specification language Formal specification XML Program synthesis Computing Theoretical computer science Software engineering		Mining Apps to Learn Normal Behavior Add to Reading List Source URL: www.informatics-europe.org Download Document from Source Website File Size: 3,55 MB Share Document on Facebook

	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro DocID: 1pJkg - View Document
	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris DocID: 1px9E - View Document
	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung DocID: 1ph8b - View Document
	Call by Contract for Cryptographic Protocols DocID: 1nZ6s - View Document
	Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin DocID: 1nUaD - View Document