• 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

• 2005
• 
  Yuri Gurevich, Alexander K. Petrenko:
  Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 111, Elsevier 2005 [contents]
• 2004
• 
  Seung Mo Cho, Jae Wook Lee:
  Lightweight Specification-based Testing of Memory Cards: A Case Study. MBT 2004: 73-91
• 
  Mirko Conrad, Ines Fey, Sadegh Sadeghipour:
  Systematic Model-Based Testing of Embedded Automotive Software. MBT 2004: 13-26
• 
  Hans-Gerhard Groß, Ina Schieferdecker, George Din:
  Model-Based Built-In Tests. MBT 2004: 161-182
• 
  Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev:
  Preface. MBT 2004: 1-3
• 
  Antti Kervinen, Pablo Virolainen:
  Heuristics for Faster Error Detection With Automated Black Box Testing. MBT 2004: 53-71
• 
  Victor V. Kuliamin:
  Multi-paradigm Models as Source for Automated Test Construction. MBT 2004: 137-160
• 
  Bruno Marre, Benjamin Blanc:
  Test Selection Strategies for Lustre Descriptions in GATeL. MBT 2004: 93-111
• 
  Manoranjan Satpathy, Michael Leuschel, Michael J. Butler:
  ProTest: An Automatic Test Environment for B Specifications. MBT 2004: 113-136
• 
  Giuseppe Scollo, Silvia Zecchini:
  Architectural Unit Testing. MBT 2004: 27-52
• 
  Keith Stobie:
  Model Based Testing in Practice at Microsoft. MBT 2004: 5-12