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