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

Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria

Source URL: arxiv.org

• Computer programming
• Software engineering
• Computing
• Debugging
• Integrated development environments
• Object-oriented programming languages
• Scripting languages
• Cross-platform software
• LLVM
• Debugger
• Wing IDE
• Clang

nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz 1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Sebastian Gabmeyer Technical Unive

Source URL: fmv.jku.at

A. Univ.-Prof. Mag. phil. Dr. rer.nat. Rainer Born Institut für Philosophie und Wissenschaftstheorie Johannes-Kepler-Universität/Linz A-4040 Linz-Auhof, Austria Curriculum Vitae

Source URL: www.iwp.jku.at

DEMOGRAPHIC IMPACT OF VIOLENCE Authors: MARINA ANDRIJEVIC, HUMBOLDT UNIVERSITY IN BERLIN JAKUB GÁBOR, COMENIUS UNIVERSITY IN BRATISLAVA CONSTANZA GINESTRA, JOHANNES KEPLER UNIVERSITY LINZ

Source URL: www.ra-un.org

nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Andrei Voronkov University of Manch

Source URL: fmv.jku.at

Johannes-KeplerSternwarte (JKS) Weil der Stadt Johannes KeplerEntdecker der Planetengesetze Kaiserlicher Mathematiker

Source URL: www.kepler-sternwarte.de

Wanted! Research assistants (f/m) Institute of Applied Geometry, Linz/Austria The Institute of Applied Geometry (www.ag.jku.at) at Johannes Kepler University, Linz/Austria, has several openings for research assistants (P

Source URL: www.gs.jku.at

Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsia

Source URL: www.win.tue.nl