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

	Nicolas Grégoire Nullcon 2017 Nearly generic fuzzing of XML-based formats DocID: 1v9Xa - View Document
	Online Model-Based Behavioral Fuzzing Fraunhofer FOKUS Martin Schneider Jürgen Großmann Ina Schieferdecker Giesecke & Devrient DocID: 1utyv - View Document
	FlowFuzz A Framework for Fuzzing OpenFlow-enabled Software and Hardware Switches Nicholas Gray, Manuel Sommer, Thomas Zinner, Phuoc Tran-Gia About us DocID: 1u2yd - View Document
	IoTFuzzer: Discovering Memory Corruptions in IoT Through App-based Fuzzing Jiongyi Chen1 , Wenrui Diao2 , Qingchuan Zhao3 , Chaoshun Zuo3 , Zhiqiang Lin3,4 , XiaoFeng Wang5 , Wing Cheong Lau1 , Menghan Sun1 , Ronghai Yan DocID: 1tMd3 - View Document
	SAGE: Whitebox Fuzzing for Security Testing Ella Bounimova Patrice Godefroid David Molnar DocID: 1tM0w - View Document