Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

First Page		Document Content
Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing		Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Download Document from Source Website File Size: 374,15 KB Share Document on Facebook

	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract DocID: 1xVj1 - View Document
	English Information on HIV Testing & Counseling for Non-Japanese Speakers Figuring out where to get HIV testing could be troublesome for many international residents, even when they are looking for the information. In Ja DocID: 1sUOG - View Document
	Leitfaden API Testing und Debugging Erstellt am DocID: 1rKle - View Document
	Developing and Testing Web APIs From a curl one-liner to a MooseX::App German Perl Workshop 2015, Dresden/Germany Daniel Böhmer Freelance Software Developer, Perl since 2010 DocID: 1qZCZ - View Document
	APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray DocID: 1p1jd - View Document