Back to Results
First PageMeta Content
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

Document Date: 2017-09-02 14:08:49


Open Document

File Size: 374,15 KB

Share Result on Facebook
UPDATE