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

Source URL: smt-workshop.cs.uiowa.edu

• Software testing
• Theoretical computer science
• Software engineering
• Satisfiability modulo theories
• Solver
• Test automation
• Fuzzing
• Application programming interface
• Model-based testing
• API testing

Model-Based Testing of Electronic Passports Wojciech Mostowski1 , Erik Poll1 , Julien Schmaltz2 , Jan Tretmans1,2 , and Ronny Wichers Schreur1 1 2

Source URL: ceres.hh.se

Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson Department of Information Technology, Uppsala University, P.O. Box 337, SEUppsala, Sweden. E-mail: {hessel,paupet}@

Source URL: www.hessel.nu

A Multi-Criteria Decision Making Framework for Real Time Model-Based Testing M. AbouTrab, B. Alrouh, S. Counsell, R. M. Hierons and G. Ghinea Department of Information Systems and

Source URL: www2010.taicpart.org

A Process to Increase the Model Quality in the Context of Model-Based Testing Vladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus Graz,

Source URL: www2015.taicpart.org

  DD2459:  Software  Reliability   Lab  3:  Model-­‐based  Testing  and   Automated  Test-­‐case  Generation    

Source URL: www.nada.kth.se

Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency

Source URL: www.ips.tu-braunschweig.de

Fault Model-Based Variability Testing (Ph.D. Thesis)

Source URL: www.ivanmachado.com.br

EXTENDING AND TESTING GRAIZER-KALKAN GROUND MOTION ATTENUATION MODEL BASED ON ATLAS DATABASE OF SHALLOW CRUSTAL EVENTS Vladimir Graizer1, Erol Kalkan2 and Kuo-Wan Lin3 ABSTRACT A new ground motion prediction equation (GM

Source URL: erolkalkan.com

Testing-Based Forward Model Selection Damian Kozbur, R¨ amistrasseZ¨ urich

Source URL: www.n.ethz.ch