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

	Automation Hooks Architecture Trade Study for Flexible Test Orchestration Chatwin A. Lansdowne, John R. Maclean, Members, IEEE Frank J. Graffagnino, Patrick A. McCartney  Abstract—We describe the conclusions of a te DocID: 1vmlq - View Document
	Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems Test Automation Support Technical Note Number: D34.1 Version: 1.0 DocID: 1vffP - View Document
	Industrial Electrical Engineering and Automation CODEN:LUTEDX/(TEIE) Automated Power Test Hardware testing of power consumtion DocID: 1uIIo - View Document
	Test design automation: equivalence classes, boundaries, edges and corner cases George B. Sherwood Testcover.com, LLC Colts Neck, NJ USA Abstract DocID: 1uCmk - View Document
	Industrial Electrical Engineering and Automation CODEN:LUTEDX/(TEIE) Automated Power Test Hardware testing of power consumtion DocID: 1uqug - View Document