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

• 2010
• 
  Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti:
  A Fault Injection Tool for Testing Web Services Composition. TAIC PART 2010: 137-146
• 
  Lydie du Bousquet:
  A New Approach for Software Testability. TAIC PART 2010: 207-210
• 
  Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons:
  Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. TAIC PART 2010: 203-206
• 
  Frank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm:
  Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs. TAIC PART 2010: 56-71
• 
  Vahid Garousi, Negar Koochakzadeh:
  An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information. TAIC PART 2010: 189-193
• 
  Wolfgang Grieskamp:
  Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. TAIC PART 2010: 7
• 
  Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund:
  Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38
• 
  Siamak Haschemi, Stephan Weißleder:
  A Generic Approach to Run Mutation Analysis. TAIC PART 2010: 155-164
• 
  Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
  DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214
• 
  Tony Hoare:
  Testing and Proving, Hand-in-Hand. TAIC PART 2010: 5-6
• 
  Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo:
  Bad Pairs in Software Testing. TAIC PART 2010: 39-55
• 
  Antti Jääskeläinen:
  Filtering Test Models to Support Incremental Testing. TAIC PART 2010: 72-87
• 
  Marko Kääramees, Jüri Vain, Kullo Raiend:
  Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART 2010: 147-154
• 
  Ben W. Y. Kam, Thomas R. Dean:
  Linguistic Security Testing for Text Communication Protocols. TAIC PART 2010: 104-117
• 
  Negar Koochakzadeh, Vahid Garousi:
  TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization. TAIC PART 2010: 129-136
• 
  Huiqing Li, Simon J. Thompson:
  Improved Testing through Refactoring: Experience from the ProTest Project. TAIC PART 2010: 198-202
• 
  Bertrand Meyer:
  Automatic Testing and Fixing for Eiffel - (Extended Abstract). TAIC PART 2010: 1-4
• 
  Yana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller:
  Mining API Popularity. TAIC PART 2010: 173-180
• 
  Mihai Nica, Simona Nica, Franz Wotawa:
  Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? TAIC PART 2010: 88-103
• 
  André Riboira, Rui Abreu:
  The GZoltar Project: A Graphical Debugger Interface. TAIC PART 2010: 215-218
• 
  Muzammil Shahbaz, Robert Eschbach:
  Automatic Discovery of Unspecified Behaviors in Automotive Control Software. TAIC PART 2010: 181-188
• 
  P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh:
  Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART 2010: 8-22
• 
  Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea:
  A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. TAIC PART 2010: 194-197
• 
  Neil Walkinshaw:
  The Practical Assessment of Test Sets with Inductive Inference Techniques. TAIC PART 2010: 165-172
• 
  Christian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar:
  An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation. TAIC PART 2010: 118-128
• 
  Leonardo Bottaci, Gordon Fraser:
  Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings. Lecture Notes in Computer Science 6303, Springer 2010, ISBN 978-3-642-15584-0 [contents]
• 2006
• 
  Shaukat Ali:
  AutoAbstract: Problem Statement and Hypothetical Solutions. TAIC PART 2006: 75-80
• 
  Mohammad Aref Alshraideh, Leonardo Bottaci:
  Using Program Data-State Diversity in Test Data Search. TAIC PART 2006: 107-114
• 
  Taweesup Apiwattanapong, Raúl A. Santelices, Pavan Kumar Chittimalli, Alessandro Orso, Mary Jean Harrold:
  MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner. TAIC PART 2006: 137-146
• 
  Paul Baker, Dominic Evans, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss:
  TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications. TAIC PART 2006: 90-94

skipping 29 more matches