1
0
0
(1 - 25 von 25
)
Trends in Model-based GUI TestingScienceDirect.com
www.sciencedirect.com
von S Arlt · · Zitiert von: 21 — Stephan Arlt, Cristiano Bertolini, Martin Schäf, Behind the scenes: an approach to incorporate context in GUI test case... · G. · F. · Fevzi Belli, Finite-state ... von S Arlt · · Zitiert von: 21 — Stephan Arlt, Cristiano Bertolini, Martin Schäf, Behind the scenes: an approach to incorporate context in GUI test case... · G. · F. · Fevzi Belli, Finite-state ...
Das Dekanat des Fachbereichs Veterinärmedizin — FB10Justus-Liebig-Universität Gießen
www.uni-giessen.de
Stephan Arlt. Studierenden- und Lernzentrum , Gießen Tel.: + , Email · Navigation · Dekanat ... Stephan Arlt. Studierenden- und Lernzentrum , Gießen Tel.: + , Email · Navigation · Dekanat ...
Martin Schäfdblp: computer science bibliography
dblp.org
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar: The Gradual Verifier. NASA Formal Methods 2014: [c15]. view. Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar: The Gradual Verifier. NASA Formal Methods 2014: [c15]. view.
Advances in Computers | Vol 86, Pages (2012)ScienceDirect.com
www.sciencedirect.com
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf. Pages : View PDF. Chapter preview. select article Chapter 7 - Regression Testing in Software ... Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf. Pages : View PDF. Chapter preview. select article Chapter 7 - Regression Testing in Software ...
Secure corridor for infraacetabular screws in acetabular ...
josr-online.biomedcentral.com
von S Arlt · · Zitiert von: 12 — Stephan Arlt, Gunther Olaf Hofmann & Thomas Mendel. Department of Trauma Surgery, Univeritätsklinikum Jena, Am Klinikum 1Jena, ... › ...
Deanery of the Faculty of Veterinary Medicine
www.uni-giessen.de
Dr. Stephan Arlt. Studierenden- und Lernzentrum , Gießen Phone: + , giessen.de ... › deanery › deanery_new
Das Dekanat des Fachbereichs Veterinärmedizin — FB
www.uni-giessen.de
Herr Dr. Stephan Arlt. Studierenden- und Lernzentrum , Gießen Tel.: + , › fbz › dekanatfb10 › dekanat
Model-based Testing and Analysis — Software Engineering - uni …
swt.informatik.uni-freiburg.de
WEBStephan Arlt: Kick-Off: May 14, 2012: Presentation: July 30, 2012: Presentation language. English: Credits: 4: Course Catalog: Model-based Testing and Analysis: News. The …
dblp: BibTeX records: Stephan Arlt
dblp.uni-trier.de
List of computer science publications by BibTeX records: Stephan Arlt
Schwerbehindertenvertretung — Justus-Liebig-Universität Gießen
www.uni-giessen.de
Stellvertretende Mitglieder. Beate Ackermann - Prüfungsamt Agrarwissenschaften - Telefon ; Dr. Stephan Arlt - Dekanat Veterinärmedizin -
Software Testing (Seminar) — Software Engineering
swt.informatik.uni-freiburg.de
WEB31 de oct. de · Stephan Arlt, Evren Ermis: Kick-Off: :00: Presentation: :00: Presentation language. English: Course Catalog: Software Testing: …
dblp: Cristiano Bertolini
dblp.uni-trier.de
List of computer science publications by Cristiano Bertolini
Traces, Interpolants, and Automata: a New Approach to …
freidok.uni-freiburg.de
WEBwell as Rebecca Albrecht, Stephan Arlt, Sergiy Bogomolov, Sergio Feo-Arenis, Marius Greitschus, Christian Herrera, Corina Mitrohin, Marco Muniz,~ Martin Sch af, Martin …
dblp: Reducing GUI test suites via program slicing.
dblp1.uni-trier.de
Bibliographic details on Reducing GUI test suites via program slicing.
Search results for "Atif M. Memon" – FacetedDBLP
dblp.l3s.de
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon: Lightweight Static Analysis for GUI Testing. ISSRE : 2012:
Design PatternsAlbert-Ludwigs-Universität Freiburg
proglang.informatik.uni-freiburg.de
Stephan Arlt. University of Freiburg. SS Stephan Arlt (University of Freiburg). Softwaretechnik. SS Design Patterns. Gamma, Helm, Johnson ...
Parameterized GUI Tests - IFIP Open Digital Library
ifip.hal.science
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski. Parameterized GUI Tests. 24th International Conference on Testing Software and Systems (ICTSS) ... › hal
Evren ErmisDBLP
dblp.org
AP — https://dblp.org/rec/conf/isola/ArltEAP14 · Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski: Verification of GUI Applications AP — https://dblp.org/rec/conf/isola/ArltEAP14 · Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski: Verification of GUI Applications ...
index - Testing Software and SystemsArchive ouverte HAL
ifip.hal.science
Parameterized GUI Tests Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski, Designed by Inria-IES Team : http://hal.inria.fr/ Hosted by HAL ...
Cristiano BertoliniDBLP
dblp.org
— Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf: Grey-box GUI Testing: Efficient Generation of Event ...
[fg-arc] FHIES Call for Participation
lists.uni-paderborn.de
— ... "An ontology-driven modeling platform for regulating eHealth interoperability in low resource settings" * Stephan Arlt, Johannes Faber, ... › fg-arc
Verwandte Suchanfragen zu Stephan Arlt
Simon Pahl Martin Schäf Andreas Podelski |
Person "Arlt" (9) Vorname "Stephan" (35305) Name "Arlt" (990) |
sortiert nach Relevanz / Datum