• 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

• 2010
• 
  Fides Aarts, Bengt Jonsson, Johan Uijen:
  Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. ICTSS 2010: 188-204
• 
  Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez:
  Efficient Distributed Test Architectures for Large-Scale Systems. ICTSS 2010: 174-187
• 
  Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
  Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. ICTSS 2010: 95-110
• 
  Rafael da Veiga Cabral, Aurora T. R. Pozo, Silvia Regina Vergilio:
  A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem. ICTSS 2010: 16-29
• 
  Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon:
  Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. ICTSS 2010: 250-265
• 
  Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier:
  More Testable Properties. ICTSS 2010: 30-46
• 
  Christoph Gladisch:
  Test Data Generation for Programs with Quantified First-Order Logic Specifications. ICTSS 2010: 158-173
• 
  Constance L. Heitmeyer:
  A Model-Based Approach to Testing Software for Critical Behavior and Properties. ICTSS 2010: 15
• 
  Hadi Hemmati, Andrea Arcuri, Lionel C. Briand:
  Reducing the Cost of Model-Based Testing through Test Case Diversity. ICTSS 2010: 63-78
• 
  Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux:
  FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157
• 
  Beatriz Pérez Lamancha, Macario Polo Usaola:
  Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage. ICTSS 2010: 111-125
• 
  Karl Meinke, Fei Niu:
  A Learning-Based Approach to Unit Testing of Numerical Software. ICTSS 2010: 221-235
• 
  Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß:
  Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems. ICTSS 2010: 79-94
• 
  Ina Schieferdecker:
  Test Automation with TTCN-3 - State of the Art and a Future Perspective. ICTSS 2010: 1-14
• 
  Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki:
  Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks. ICTSS 2010: 205-220
• 
  Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday:
  From Scenarios to Test Implementations Via Promela. ICTSS 2010: 236-249
• 
  Margus Veanes, Nikolaj S. Bjørner:
  Alternating Simulation and IOCO. ICTSS 2010: 47-62
• 
  Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París:
  Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS 2010: 126-141
• 
  Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado:
  Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6435, Springer 2010, ISBN 978-3-642-16572-6 [contents]