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

• 2006
• 
  Bernhard K. Aichernig, Chris George:
  When Model-based Testing Fails. MBT 2006: 115-128
• 
  Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin:
  Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. MBT 2006: 83-96
• 
  N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
  A Model-based Integration and Testing Method to Reduce System Development Effort. MBT 2006: 13-28
• 
  Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok:
  Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. MBT 2006: 41-52
• 
  Mirko Conrad, Alexander Krupp:
  An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. MBT 2006: 3-11
• 
  Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch:
  Testing Self-Similar Networks. MBT 2006: 67-82
• 
  Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
  Preface. MBT 2006: 1
• 
  Antti Kervinen, Mika Maunumaa, Mika Katara:
  Controlling Testing Using Three-Tier Model Architecture. MBT 2006: 53-66
• 
  Robert Nilsson, Jeff Offutt, Jonas Mellin:
  Test Case Generation for Mutation-based Testing of Timeliness. MBT 2006: 97-114
• 
  Daniel Aguiar da Silva, Patrícia D. L. Machado:
  Towards Test Purpose Generation from CTL Properties for Reactive Systems. MBT 2006: 29-40
• 
  Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
  Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 [contents]