BoogieObjectType.javaGitHub
github.com
Joogie translates Java bytecode to the Boogie intermediate verification language * Copyright (C) Martin Schaef and Stephan Arlt * * This program is ... Joogie translates Java bytecode to the Boogie intermediate verification language * Copyright (C) Martin Schaef and Stephan Arlt * * This program is ...
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 ...
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.
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 ...
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:
Joogie: Infeasible Code Detection for JavaSpringer
link.springer.com
von S Arlt · · Zitiert von: 26 — Stephan Arlt &; Martin Schäf. Part of the book series: Lecture Notes in ... Authors and Affiliations. Albert-Ludwigs-Universität Freiburg, Germany. Stephan Arlt. von S Arlt · · Zitiert von: 26 — Stephan Arlt &; Martin Schäf. Part of the book series: Lecture Notes in ... Authors and Affiliations. Albert-Ludwigs-Universität Freiburg, Germany. Stephan Arlt.
Alle Infos zum Namen "Stephan Arlt"
Peer-Reviewed Articles - Ruemmer
www.philipp.ruemmer.org
WEB24 de nov. de · Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar The Gradual Verifier Sixth NASA Formal Methods Symposium …
Parameterized GUI TestsIFIP Digital Library
dl.ifip.org
... Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski. Parameterized GUI Tests. 24th International Conference on Testing Software and Systems (ICTSS) Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski. Parameterized GUI Tests. 24th International Conference on Testing Software and Systems (ICTSS) ...
CAV Accepted Papers
cav12.cs.illinois.edu
Stephan Arlt and Martin Schäf. Joogie: Infeasible Code Detection for Java. Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Björn Wachter and James Worrell. › accepted
International Workshop on the State Of the Art in Java ...
www.sable.mcgill.ca
Joogie: From Java through Jimple to Boogie [project webpage] (Stephan Arlt, Philipp Rümmer, and Martin Schäf) OCSEGen: Open Components and Systems ... › soap
Joogie: Infeasible Code Detection for Java | springerprofessional.dewww.springerprofessional.de › joogie-infeasible-code-detection-for-java
www.springerprofessional.de
Autoren: Stephan Arlt, Martin Schäf. Verlag: Springer Berlin Heidelberg. Erschienen in: Computer Aided Verification. » Jetzt Zugang zum Volltext erhalten.
Parameterized GUI Tests - Hal-Inria
hal.inria.fr
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski. Parameterized GUI Tests. 24th International Conference on Testing Software and Systems (ICTSS) ... › hal
IDVEOUCI
ouci.dntb.gov.ua
In Programming Languages and Systems . https://doi.org _9; Stephan Arlt Cindy Rubio-González Philipp Rümmer Martin Schäf and Natarajan ...
Parameterized GUI Tests - Archive ouverte HAL
hal.archives-ouvertes.fr
von S Arlt · · Zitiert von: 12 — Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski. Parameterized GUI Tests. 24th International Conference on Testing Software and Systems (ICTSS) ... › ha...
Reconstructing Paths for Reachable Code | springerprofessional.dewww.springerprofessional.de › reconstructing-paths-...
www.springerprofessional.de
Authors: Stephan Arlt, Zhiming Liu, Martin Schäf. Publisher: Springer Berlin Heidelberg. Published in: Formal Methods and Software Engineering.
VeriSure Program - EasyChair
easychair.org
Stephan Arlt, John Murray, Philipp Ruemmer and Martin Schäf. Quantification of Verification Progress (abstract). 09:45-10:15 Session 165: Discussion. › VSL2014
VeriSure on Wednesday, July 23rd, 2014
easychair.org
· Stephan Arlt, John Murray, Philipp Ruemmer and Martin Schäf. Quantification of Verification Progress. SPEAKER: unknown. ABSTRACT.
Publications - Department of Information Technology - Uppsala...
www.it.uu.se
Stephan Arlt, Cindy Rubio-Gonzalez, Philipp Rümmer, Martin Schäf, and Natarajan Shankar. In NASA Formal Methods: 6th International ...
Grey-box GUI Testing: Efficient Generation of Event Sequences
www.researchhub.com
— Stephan Arlt,Ishan Banerjee. Cristiano Bertolini,Atif M. Memon. +2 authors. ,Martin Schäf. Claim your profile to earn Research Coin RSC Coin. › gre...
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