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

• 2020
• 
  Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley:
  A Study on Challenges of Testing Robotic Systems. ICST 2020: 96-107
• 
  Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma:
  Scaling Test Case Generation For Expressive Decision Tables. ICST 2020: 364-374
• 
  Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
  Smart, and also Reliable and Gas-Efficient, Contracts. ICST 2020: 2
• 
  Hussein K. Almulla, Gregory Gay:
  Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection. ICST 2020: 63-73
• 
  Abdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn:
  STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases. ICST 2020: 220-230
• 
  Saba Gholizadeh Ansari:
  Toward Automated Assessment of User Experience in Extended Reality. ICST 2020: 430-432
• 
  Andrea Arcuri, Juan P. Galeotti:
  Testability Transformations For Existing APIs. ICST 2020: 153-163
• 
  Rawad Abou Assi, Wes Masri, Chadi Trad:
  Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study. ICST 2020: 16-27
• 
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk:
  Checking Security Properties of Cloud Service REST APIs. ICST 2020: 387-397
• 
  Thomas Bach, Ralf Pannemans, Artur Andrzejak:
  Determining Method-Call Sequences for Object Creation in C++. ICST 2020: 108-119
• 
  Kesina Baral, Jeff Offutt:
  An Empirical Analysis of Blind Tests. ICST 2020: 254-262
• 
  Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella:
  Run Java Applications and Test Them In-Vivo Meantime. ICST 2020: 454-459
• 
  Matteo Biagiola, Andrea Stocco, Filippo Ricca, Paolo Tonella:
  Dependency-Aware Web Test Generation. ICST 2020: 175-185
• 
  Marcel Böhme, Charaka Geethal, Van-Thuan Pham:
  Human-In-The-Loop Automatic Program Repair. ICST 2020: 274-285
• 
  Miroslav Bures, Pavel Herout, Bestoun S. Ahmed:
  Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. ICST 2020: 442-447
• 
  Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
  Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386
• 
  Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella:
  A Framework for In-Vivo Testing of Mobile Applications. ICST 2020: 286-296
• 
  Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
  CBR: Controlled Burst Recording. ICST 2020: 243-253
• 
  Pouria Derakhshanfar:
  Well-informed Test Case Generation and Crash Reproduction. ICST 2020: 424-426
• 
  Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov:
  MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. ICST 2020: 51-62
• 
  Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting:
  Tool Support for Refactoring Manual Tests. ICST 2020: 332-342
• 
  André Takeshi Endo, Anders Møller:
  NodeRacer: Event Race Detection for Node.js Applications. ICST 2020: 120-130
• 
  Camilo Escobar-Velasquez:
  Source-Codeless Testing for Android Apps. ICST 2020: 433-435
• 
  Jannik Fischbach, Andreas Vogelsang, Dominik Spies, Andreas Wehrle, Maximilian Junker, Dietmar Freudenstein:
  SPECMATE: Automated Creation of Test Cases from Acceptance Criteria. ICST 2020: 321-331
• 
  Max J. Friese, Johannes Traub, Dirk Nowotka:
  EC.LANG - A Language for Specifying Response Time Analyses of Event Chains. ICST 2020: 343-352
• 
  Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand:
  Can We Predict the Quality of Spectrum-based Fault Localization? ICST 2020: 4-15
• 
  Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi:
  Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. ICST 2020: 198-208
• 
  Liana Hadarean:
  One-click formal methods. ICST 2020: 1
• 
  Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
  Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. ICST 2020: 85-95
• 
  Shaobo He, Michael Emmi, Gabriela F. Ciocarlie:
  ct-fuzz: Fuzzing for Timing Leaks. ICST 2020: 466-471

skipping 25 more matches