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

• 2015
• 
  Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen:
  Generating Succinct Test Cases Using Don't Care Analysis. ICST 2015: 1-10
• 
  Emil Alégroth, Geoffrey Bache, Emily Bache:
  On the Industrial Applicability of TextTest: An Empirical Case Study. ICST 2015: 1-10
• 
  Emil Alégroth, Zebao Gao, Rafael Alves Paes de Oliveira, Atif M. Memon:
  Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study. ICST 2015: 1-10
• 
  Shaukat Ali, Tao Yue:
  U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. ICST 2015: 1-2
• 
  Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand:
  Behind an Application Firewall, Are We Safe from SQL Injection Attacks? ICST 2015: 1-10
• 
  Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
  Generating Tests for Detecting Faults in Feature Models. ICST 2015: 1-10
• 
  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
• 
  Zhuofu Bai, Gang Shu, Andy Podgurski:
  NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model. ICST 2015: 1-10
• 
  Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion:
  Sound and Quasi-Complete Detection of Infeasible Test Requirements. ICST 2015: 1-10
• 
  Giorgio Brajnik, Andrea Baruzzo, Sara Fabbro:
  Model-Based Continuous Integration Testing of Responsiveness of Web Applications. ICST 2015: 1-2
• 
  Roberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta:
  Security Threat Identification and Testing. ICST 2015: 1-8
• 
  Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels:
  Show Me New Counterexamples: A Path-Based Approach. ICST 2015: 1-10
• 
  Lajos Cseppento, Zoltán Micskei:
  Evaluating Symbolic Execution-Based Test Tools. ICST 2015: 1-10
• 
  Nicklas Erman, Vanja Tufvesson, Markus Borg, Per Runeson, Anders Ardö:
  Navigating Information Overload Caused by Automated Testing - a Clustering Approach in Multi-Branch Development. ICST 2015: 1-9
• 
  Azadeh Farzan, Andreas Holzer, Helmut Veith:
  Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ICST 2015: 1-11
• 
  Hermann Felbinger:
  Test Suite Quality Assessment Using Model Inference Techniques. ICST 2015: 1-2
• 
  Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton:
  Testing Web Applications Through Layout Constraints. ICST 2015: 1-8
• 
  Mark Harman, Yue Jia, Yuanyuan Zhang:
  Achievements, Open Problems and Challenges for Search Based Software Testing. ICST 2015: 1-12
• 
  Florian Häser:
  Non-Intrusive Documentation-Driven Integration Testing. ICST 2015: 1-2
• 
  Hadi Hemmati, Zhihan Fang, Mika V. Mäntylä:
  Prioritizing Manual Test Cases in Traditional and Rapid Release Environments. ICST 2015: 1-10
• 
  Steffen Herbold, Alberto De Francesco, Jens Grabowski, Patrick Harms, Lom-Messan Hillah, Fabrice Kordon, Ariele-Paolo Maesano, Libero Maesano, Claudia Di Napoli, Fabio De Rosa, Martin A. Schneider, Nicola Tonellotto, Marc-Florian Wendland, Pierre-Henri Wuillemin:
  The MIDAS Cloud Platform for Testing SOA Applications. ICST 2015: 1-8
• 
  Edgar J. Holleis:
  Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow. ICST 2015: 1-2
• 
  David Honfi, András Vörös, Zoltán Micskei:
  SEViz: A Tool for Visualizing Symbolic Execution. ICST 2015: 1-8
• 
  Timo Huuhtanen, Juha Itkonen, Casper Lassenius:
  Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms. ICST 2015: 1-10
• 
  Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra:
  Test Generation from Business Rules. ICST 2015: 1-10
• 
  Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya:
  TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing. ICST 2015: 1-8
• 
  Pavneet Singh Kochhar, Ferdian Thung, Nachiappan Nagappan, Thomas Zimmermann, David Lo:
  Understanding the Test Automation Culture of App Developers. ICST 2015: 1-10
• 
  Robert Korosec, Roman Pfarrhofer:
  Supporting the Transition to an Agile Test Matrix. ICST 2015: 1-2
• 
  Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl:
  MoMut: : UML Model-Based Mutation Testing for UML. ICST 2015: 1-8
• 
  Daniel Kunzle, Carl Worms:
  A Virtual Bank for Development and Testing. ICST 2015: 1-2

skipping 31 more matches