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

• 2004
• 
  Zakarya A. Alzamil:
  RCAT: A Performance Analysis Tool. ASE 2004: 366-370
• 
  James H. Andrews:
  Case Study of Coverage-Checked Random Data Structure Testing. ASE 2004: 316-319
• 
  Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
  A Differencing Algorithm for Object-Oriented Programs. ASE 2004: 2-13
• 
  Naveed Arshad:
  Automated Dynamic Reconfiguration using AI Planning. ASE 2004: 402-405
• 
  Aysu Betin-Can, Tevfik Bultan:
  Verifiable Concurrent Programming Using Concurrency Controllers. ASE 2004: 248-257
• 
  Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck:
  Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
• 
  Matthias Book, Volker Gruhn:
  Modeling Web-Based Dialog Flows for Automatic Dialog Control . ASE 2004: 100-109
• 
  Sebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking:
  Automated Data Mapping Specification via Schema Heuristics and User Interaction. ASE 2004: 208-217
• 
  Naoufel Boulila:
  Group Support for Distributed Collaborative Concurrent Software Modeling. ASE 2004: 422-425
• 
  Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
  Case Study in JML-Based Software Validation. ASE 2004: 294-297
• 
  Silvia Breu, Jens Krinke:
  Aspect Mining Using Event Traces. ASE 2004: 310-315
• 
  Yuhong Cai, John C. Grundy, John G. Hosking:
  Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool. ASE 2004: 36-45
• 
  Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero:
  An Architecture for Generating Web-Based, Thin-Client Diagramming Tools. ASE 2004: 270-273
• 
  Roberto Capuano:
  Interactive Visualization of Concurrents Programs. ASE 2004: 418-421
• 
  Yunja Choi, Mats Per Erik Heimdahl:
  Combination Model Checking: Approach and a Case Study. ASE 2004: 354-357
• 
  Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi:
  Automated Performance Validation of Software Design: An Industrial Experience. ASE 2004: 298-301
• 
  Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser:
  Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
• 
  Jutta Eusterbrock:
  Context-Aware Code Certification. ASE 2004: 358-361
• 
  Franck Fleurey, Yves Le Traon, Benoit Baudry:
  From Testing to Diagnosis: An Automated Approach. ASE 2004: 306-309
• 
  Ping Guo, Reiko Heckel:
  Modeling and Simulation of Context-Aware Mobile Systems. ASE 2004: 430-433
• 
  Robert J. Hall, Andrea Zisman:
  Validating Personal Requirements by Assisted Symbolic Behavior Browsing . ASE 2004: 56-66
• 
  Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen:
  Adaptable Concern-Based Framework Specialization in UML. ASE 2004: 78-87
• 
  May Haydar:
  Formal Framework for Automated Analysis and Verification of Web-Based Applications. ASE 2004: 410-413
• 
  Mats Per Erik Heimdahl, George Devaraj:
  Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. ASE 2004: 176-185
• 
  Dirk Heuzeroth:
  COMPASS: Tool-Supported Adaptation of Interactions. ASE 2004: 286-289
• 
  Rosco Hill, Joe Rideout:
  Automatic Method Completion. ASE 2004: 228-235
• 
  Philippa J. Hopcroft, Guy H. Broadfoot:
  Combining the Box Structure Development Method and CSP. ASE 2004: 340-345
• 
  Lothar Hotz, Thorsten Krebs, Katharina Wolter:
  Using a Structure-based Configuration Tool for Product Derivation. ASE 2004: 388-391
• 
  Anton Jansen, Jan Bosch:
  Evaluation of Tool Support for Architectural Evolution. ASE 2004: 375-378
• 
  Ji Wu, Xiao-xia Jia, Chang Liu, Haiyan Yang, Chao Liu, Maozhong Jin:
  A Statistical Model to Locate Faults at Input Level. ASE 2004: 274-277

skipping 36 more matches