AINA - PDFSEARCH.IO - Document Search Engine

AINA
Results: 904

#	Item
1	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 Language: English - 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
2	13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:50:22 Theoretical computer science Logic in computer science Formal methods NP-complete problems Electronic design automation Constraint programming Satisfiability modulo theories Alt-Ergo Solver Benchmark SMT
3	13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:50:57
4	PDF Document Add to Reading List Source URL: www.aina.org - Date: 2016-12-07 22:05:23
5	PDF Document Add to Reading List Source URL: www.aina.org - Date: 2017-08-23 15:22:41
6	PDF Document Add to Reading List Source URL: www.aina.org - Date: 2017-06-09 17:21:16
7	PDF Document Add to Reading List Source URL: www.aina.org - Date: 2017-01-14 19:19:07
8	PDF Document Add to Reading List Source URL: www.aina.org - Date: 2017-01-14 19:19:06
9	PDF Document Add to Reading List Source URL: www.aina.org - Date: 2017-01-30 18:31:37
10	ERASING ASSYRIANS: How the KRG Abuses Human Rights, Undermines Democracy, and Conquers Minority Homelands ERASING ASSYRIANS Add to Reading List Source URL: www.aina.org Language: English - Date: 2017-10-01 18:22:35