• 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 32 matches

• 2020
• 
  Aren A. Babikian, Oszkár Semeráth, Dániel Varró:
  Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. FASE 2020: 441-461
• 
  Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse:
  Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265
• 
  Dirk Beyer:
  Second Competition on Software Testing: Test-Comp 2020. FASE 2020: 505-519
• 
  Francisco J. Pérez Blanco, Juan M. Vara, Cristian Gómez Macías, Valeria de Castro, Esperanza Marcos:
  Model-Based Tool Support for Service Design. FASE 2020: 266-272
• 
  Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani:
  Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. FASE 2020: 357-377
• 
  Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser:
  Improving Symbolic Automata Learning with Concolic Execution. FASE 2020: 3-26
• 
  Maxime Cordy, Mike Papadakis, Axel Legay:
  Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314
• 
  Themistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas L. Symeonidis:
  Extracting Semantics from Question-Answering Services for Snippet Reuse. FASE 2020: 119-139
• 
  Aleksandar S. Dimovski, Axel Legay:
  Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. FASE 2020: 182-202
• 
  Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
  Holistic Specifications for Robust Programs. FASE 2020: 420-440
• 
  Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
  ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE 2020: 525-529
• 
  Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha:
  TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). FASE 2020: 530-534
• 
  Marie-Christine Jakobs:
  CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). FASE 2020: 540-544
• 
  Ramon Janssen:
  Combining Partial Specifications using Alternating Interface Automata. FASE 2020: 462-481
• 
  Jiao Jiao, Shang-Wei Lin, Jun Sun:
  A Generalized Formal Semantic Framework for Smart Contracts. FASE 2020: 75-96
• 
  Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray:
  An Empirical Study on the Use and Misuse of Java 8 Streams. FASE 2020: 97-118
• 
  Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
  Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223
• 
  Juan de Lara, Esther Guerra:
  Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families. FASE 2020: 161-181
• 
  Hoang M. Le:
  LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). FASE 2020: 535-539
• 
  Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
  Legion: Best-First Concolic Testing (Competition Contribution). FASE 2020: 545-549
• 
  Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
  Business Process Compliance Using Reference Models of Law. FASE 2020: 378-399
• 
  Erwan Mahe, Christophe Gaston, Pascale Le Gall:
  Revisiting Semantics of Interactions for Trace Validity Analysis. FASE 2020: 482-501
• 
  Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi:
  Integrating Topological Proofs with Model Checking to Instrument Iterative Design. FASE 2020: 53-74
• 
  Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer:
  Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. FASE 2020: 224-244
• 
  Fernando Orejas, Elvira Pino, Marisa Navarro:
  Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE 2020: 273-293
• 
  Carlos Pinzón, Camilo Rocha, Jorge Finke:
  Algorithmic Analysis of Blockchain Efficiency with Communication Delay. FASE 2020: 400-419
• 
  Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs:
  HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). FASE 2020: 520-524
• 
  Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
  Towards Multiple Model Synchronization with Comprehensive Systems. FASE 2020: 335-356
• 
  Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte:
  Global Reproducibility Through Local Control for Distributed Active Objects. FASE 2020: 140-160
• 
  Nils Weidmann, Anthony Anjorin:
  Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. FASE 2020: 315-334

skipping 2 more matches