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

• 2012
• 
  Bernhard K. Aichernig, Elisabeth Jöbstl:
  Efficient Refinement Checking for Model-Based Mutation Testing. QSIC 2012: 21-30
• 
  Rüdiger Berndt, Peter Bazan, Kai-Steffen Hielscher, Reinhard German, Martin Lukasiewycz:
  Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data. QSIC 2012: 189-192
• 
  Mario Bernhart, Stefan Strobl, Andreas Mauczka, Thomas Grechenig:
  Applying Continuous Code Reviews in Airport Operations Software. QSIC 2012: 214-219
• 
  Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Chao-Tung Yang:
  An Integrated Development Environment to Support the Multi-core Embedded Systems Development. QSIC 2012: 258-264
• 
  Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zhiquan Zhou:
  Metamorphic Testing: Applications and Integration with Other Methods: Tutorial Synopsis. QSIC 2012: 285-288
• 
  Feng Chen, Hongji Yang, William Cheng-Chung Chu, Baowen Xu:
  A Program Transformation Framework for Multicore Software Reengineering. QSIC 2012: 270-275
• 
  Longming Dong, Ji Wang, Liqian Chen:
  Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC 2012: 197-200
• 
  Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re:
  Direct Verification of BPMN Processes through an Optimized Unfolding Technique. QSIC 2012: 179-188
• 
  Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette:
  Function Substitution: Towards Constraint Solving in Software Testing. QSIC 2012: 31-40
• 
  Jing Feng, Bei-Bei Yin, Kai-Yuan Cai, Zhongxing Yu:
  3-Way GUI Test Cases Generation Based on Event-Wise Partitioning. QSIC 2012: 89-97
• 
  Dominik Franke, Stefan Kowalewski, Carsten Weise:
  A Mobile Software Quality Model. QSIC 2012: 154-157
• 
  Ana Paula Carvalho Cavalcanti Furtado, Marcos André Wanderley Gomes, Ermeson Carneiro de Andrade, Ivaldir Honório de Farias Júnior:
  MPT.BR: A Brazilian Maturity Model for Testing. QSIC 2012: 220-229
• 
  Matthias Galster, Paris Avgeriou:
  Qualitative Analysis of the Impact of SOA Patterns on Quality Attributes. QSIC 2012: 167-170
• 
  Yongqi Ge, Yunwei Dong, Hong-bing Zhao:
  A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application. QSIC 2012: 246-250
• 
  Birgit Hofer, Franz Wotawa:
  Reducing the Size of Dynamic Slicing with Constraint Solving. QSIC 2012: 41-48
• 
  Shujuan Jiang, Wei Li, Haiyang Li, Yanmei Zhang, Hongchang Zhang, Yingqi Liu:
  Fault Localization for Null Pointer Exception Based on Stack Trace and Program Slicing. QSIC 2012: 9-12
• 
  Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
  Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC 2012: 124-127
• 
  Chorng-Shiuh Koong, Bo-Huan Lee, Yu-Hsiang Wang, Chih-Hung Chang, William C. Chu:
  A Component-Based Authoring Tool and Script Language for MPEG-4. QSIC 2012: 265-269
• 
  Philippe Kruchten:
  Strategic Management of Technical Debt: Tutorial Synopsis. QSIC 2012: 282-284
• 
  Jie Li, Changhai Nie, Yu Lei:
  Improved Delta Debugging Based on Combinatorial Testing. QSIC 2012: 102-105
• 
  Winson Y. S. Li, Shangru Wu, Wing Kwong Chan, T. H. Tse:
  JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices. QSIC 2012: 240-245
• 
  Yun Liao, Yuxiang Zhou, Hua Zhou, Zhihong Liang:
  Fingertips Detection Algorithm Based on Skin Colour Filtering and Distance Transformation. QSIC 2012: 276-281
• 
  Huai Liu, Xuan Liu, Tsong Yueh Chen:
  A New Method for Constructing Metamorphic Relations. QSIC 2012: 59-68
• 
  Yi Liu, Zhiyi Ma, Rui Qiu, Hongjie Chen, Weizhong Shao:
  An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns. QSIC 2012: 132-135
• 
  Chengying Mao, Xinxin Yu, Jifu Chen, Jinfu Chen:
  Generating Test Data for Structural Testing Based on Ant Colony Optimization. QSIC 2012: 98-101
• 
  Scott McMaster, Xun Yuan:
  Developing a Feedback-Driven Automated Testing Tool for Web Applications. QSIC 2012: 210-213
• 
  Mercedes G. Merayo:
  Passive Testing of Timed Systems with Timeouts. QSIC 2012: 69-78
• 
  Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli:
  An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. QSIC 2012: 49-58
• 
  Tanay Kanti Paul, Man Fai Lau:
  Redefinition of Fault Classes in Logic Expressions. QSIC 2012: 144-153
• 
  Thanh-Trung Pham, Xavier Défago:
  Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. QSIC 2012: 106-115

skipping 16 more matches