• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 19 matches

• 2016
• 
  Frank Heckel, Felix Arlt, Benjamin Geisler, Stephan Zidowitz, Thomas Neumuth:
  Evaluation of image quality of MRI data for brain tumor surgery. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment 2016: 97871L
• 2015
• 
  Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner:
  If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. ICST 2015: 1-10
• 
  Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle:
  System Testing and Program Verification. Software Engineering & Management 2015: 71-72
• 2014
• 
  Stephan Arlt:
  Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing. University of Freiburg, Germany, 2014
• 
  Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
  Verification of GUI Applications: A Black-Box Approach. ISoLA (1) 2014: 236-252
• 
  Stephan Arlt, Andreas Podelski, Martin Wehrle:
  Reducing GUI test suites via program slicing. ISSTA 2014: 270-281
• 
  Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
  The Gradual Verifier. NASA Formal Methods 2014: 313-327
• 2013
• 
  Stephan Arlt, Philipp Rümmer, Martin Schäf:
  A Theory for Control-Flow Graph Exploration. ATVA 2013: 506-515
• 
  Stephan Arlt, Zhiming Liu, Martin Schäf:
  Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446
• 
  Stephan Arlt, Philipp Rümmer, Martin Schäf:
  Joogie: from Java through Jimple to Boogie. SOAP@PLDI 2013: 3-8
• 2012
• 
  Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf:
  Trends in Model-based GUI Testing. Adv. Comput. 86: 183-222 (2012)
• 
  Stephan Arlt, Martin Schäf:
  Joogie: Infeasible Code Detection for Java. CAV 2012: 767-773
• 
  Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon:
  Lightweight Static Analysis for GUI Testing. ISSRE 2012: 301-310
• 
  Jelena Barth, Bernd Westphal, Stephan Arlt:
  Model-based development of embedded systems' user interfaces. ACES-MB@MoDELS 2012: 37-42
• 
  Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski:
  Parameterized GUI Tests. ICTSS 2012: 247-262
• 
  Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf:
  Grey-box GUI Testing: Efficient Generation of Event Sequences. CoRR abs/1205.4928 (2012)
• 
  Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
  Black-Box Verification for GUI Applications. CoRR abs/1210.4686 (2012)
• 2011
• 
  Stephan Arlt, Cristiano Bertolini, Martin Schäf:
  Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops 2011: 222-231
• 2006
• 
  Alexander Mehrle, Heiko Rosenfelder, Ingo Schupp, Coral del Val, Dorit Arlt, Florian Hahne, Stephanie Bechtel, Jeremy C. Simpson, Oliver Hofmann, Winston Hide, Karl-Heinz Glatting, Wolfgang Huber, Rainer Pepperkok, Annemarie Poustka, Stefan Wiemann:
  The LIFEdb database in 2006. Nucleic Acids Res. 34(Database-Issue): 415-418 (2006)