Stefan Tiran und Bernhard - Info zur Person

(1 - 9 von 10

)

Tests and Proofs: 9th International Conference, TAP 2015, Held as...

books.google.de

Scalable Incremental Test-Case Generation from Large Behavior Models Bernhard K. Aichernig, Dejan Nicˇkovic ́, and Stefan Tiran Test Case Generation ...

Science of Computer Programming | Special Issue: Selected Papers from...

www.sciencedirect.com

Model-based mutation testing via symbolic refinement checking. Original Research Article; Pages ; Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran.

dblp: Bernhard K. Aichernig

dblp.uni-trier.de

List of computer science publications by Bernhard K. Aichernig

Alle Infos zum Namen "Stefan Tiran"

Stefan Tiran‘s Publications

www.ist.tugraz.at

[1]: Bernhard K. Aichernig, Dejan Ničković, and Stefan Tiran. "Scalable Incremental Test-case Generation from Large Behavior Models". In TAP'15, volume

9th International Conference on Tests & Proofs (TAP 2015)

tap2015.in.tum.de

Bernhard K. Aichernig, Dejan Nickovic, and Stefan Tiran. Scalable incremental test-case generation from large behavior models Richard Genestier, Alain Giorgetti, and Guillaume Petiot.

Student projects. Formal Methods Group (Prof. Aichernig) - PDF Free...

docplayer.net

MoMuT::UML Model-based Mutation Testing for UML Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl,WillibaldKrenn, Rupert Schlick and Stefan Tiran AIT Austrian …

Database of Research Tools Developed Using CADP

cadp.inria.fr

[Aichernig-Lorber-Tiran-12] Bernhard K. Aichernig, Florian Lorber, and Stefan Tiran. "Integrating Model-Based Testing and Analysis Tools via Test Case ...

Integrating model-based testing and analysis tools via test case...

graz.pure.elsevier.com

... model-based testing and analysis tools via test case exchange. Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran. Institute of Software Technology ( 7160).

www.springerprofessional.de › require-test-and-tr...Require, test, and trace IT | springerprofessional.de

www.springerprofessional.de

Authors: Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Stefan Tiran. » View full text Download PDF-version. Important ...

Verwandte Suchanfragen zu Stefan Tiran

Florian Lorber

Personen
Vorname "Stefan" (78868)
Name "Tiran" (16)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Stefan Tiran und Bernhard Person-Info