Date: 2017-09-02 14:08:49Software 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 AbstractAdd to Reading ListSource URL: smt-workshop.cs.uiowa.eduDownload Document from Source Website File Size: 374,15 KBShare Document on Facebook
|