• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Doctoral Thesis
2014

Model-Based Mutation Testing with Constraint and SMT Solvers

Jöbstl, E., 2014

Research output: ThesisDoctoral ThesisResearch

Open Access
File
2011

Combinatorial Aspects of [Colored] Point Sets in the Plane

Vogtenhuber, B., 2011

Research output: ThesisDoctoral ThesisResearch

2010

Agile Usability Processes

Milchrahm, H., 2010

Research output: ThesisDoctoral ThesisResearch

Relaxing and lifting triangulations

Hackl, T., 2010

Research output: ThesisDoctoral ThesisResearch

2009

Automated Software Conformance Testing

Weiglhofer, M., 2009

Research output: ThesisDoctoral ThesisResearch

2008

Requirements Engineering and Efficient Verification of PSL Properties

Pill, I. H., 2008

Research output: ThesisDoctoral ThesisResearch

2007

Automated Software Testing with Model Checkers

Fraser, G., 2007

Research output: ThesisDoctoral ThesisResearch

2006

Intelligente und robuste Steuerung autonomer mobiler Roboter

Steinbauer, G., 2006

Research output: ThesisDoctoral ThesisResearch

2001

Improving the Configuration Knowledge Base Development Process

Felfernig, A., 2001

Research output: ThesisDoctoral ThesisResearch

Search Techniques and Automata for Symbolic Model Checking

Bloem, R. P., 2001

Research output: ThesisDoctoral ThesisResearch

1994

Fuzzy Scheduling

Slany, W., 1994

Research output: ThesisDoctoral ThesisResearch