Linz - PDFSEARCH.IO - Document Search Engine

Linz
Results: 2542

#	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	DOC Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2002-04-22 21:07:14
4	PDF Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2006-03-22 13:07:28
5	PDF Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2006-03-22 12:45:12
6	PDF Document Add to Reading List Source URL: www.linz.at - Date: 2017-04-13 05:02:26
7	DOC Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2002-04-22 20:33:20
8	DOC Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2002-04-07 13:40:48
9	PDF Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2006-06-07 07:08:56
10	DOC Document Add to Reading List Source URL: soziologie.soz.uni-linz.ac.at - Date: 2002-03-17 08:12:58

UPDATE