• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Filter
Dissertation
2014

Model-Based Mutation Testing with Constraint and SMT Solvers

Jöbstl, E., 2014

Publikation: StudienabschlussarbeitDissertationForschung

Open Access
Datei
2011

Combinatorial Aspects of [Colored] Point Sets in the Plane

Vogtenhuber, B., 2011

Publikation: StudienabschlussarbeitDissertationForschung

2010

Agile Usability Processes

Milchrahm, H., 2010

Publikation: StudienabschlussarbeitDissertationForschung

Relaxing and lifting triangulations

Hackl, T., 2010

Publikation: StudienabschlussarbeitDissertationForschung

2009

Automated Software Conformance Testing

Weiglhofer, M., 2009

Publikation: StudienabschlussarbeitDissertationForschung

2008

Requirements Engineering and Efficient Verification of PSL Properties

Pill, I. H., 2008

Publikation: StudienabschlussarbeitDissertationForschung

2007

Automated Software Testing with Model Checkers

Fraser, G., 2007

Publikation: StudienabschlussarbeitDissertationForschung

2006

Intelligente und robuste Steuerung autonomer mobiler Roboter

Steinbauer, G., 2006

Publikation: StudienabschlussarbeitDissertationForschung

2001

Improving the Configuration Knowledge Base Development Process

Felfernig, A., 2001

Publikation: StudienabschlussarbeitDissertationForschung

Search Techniques and Automata for Symbolic Model Checking

Bloem, R. P., 2001

Publikation: StudienabschlussarbeitDissertationForschung

Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques

Aichernig, B., 2001

Publikation: StudienabschlussarbeitDissertationForschung

1994

Fuzzy Scheduling

Slany, W., 1994

Publikation: StudienabschlussarbeitDissertationForschung