Kepler - PDFSEARCH.IO - Document Search Engine

Kepler
Results: 1696

#	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	Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-02 21:00:36 Computer programming Software engineering Computing Debugging Integrated development environments Object-oriented programming languages Scripting languages Cross-platform software LLVM Debugger Wing IDE Clang
3	PDF Document Add to Reading List Source URL: www.kepler-gesellschaft.de - Date: 2016-03-28 11:16:33
4	PDF Document Add to Reading List Source URL: www.kepler-sternwarte.de - Date: 2013-10-04 08:37:07
5	PDF Document Add to Reading List Source URL: www.kepler-sternwarte.de - Date: 2013-11-11 15:38:15
6	PDF Document Add to Reading List Source URL: www.kepler-sternwarte.de - Date: 2013-10-06 18:03:24
7	PDF Document Add to Reading List Source URL: www.kepler-gesellschaft.de - Date: 2014-09-23 13:38:37
8	PDF Document Add to Reading List Source URL: www.kepler-sternwarte.de - Date: 2013-08-25 10:07:23
9	PDF Document Add to Reading List Source URL: www.kepler-archiv.de - Date: 2017-12-01 07:06:29
10	PDF Document Add to Reading List Source URL: www.kepler-sternwarte.de - Date: 2017-02-24 11:34:39

UPDATE