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

• 2013
• 
  Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André:
  Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013)
• 
  Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps:
  ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. ACM Trans. Softw. Eng. Methodol. 22(2): 10:1-10:33 (2013)
• 
  Mira Balaban, Azzam Maraee:
  Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM Trans. Softw. Eng. Methodol. 22(3): 24:1-24:42 (2013)
• 
  Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
  Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. 22(3): 25:1-25:46 (2013)
• 
  Sagar Chaki, Christian Schallhart, Helmut Veith:
  Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. 22(2): 15:1-15:12 (2013)
• 
  Hervé Chang, Leonardo Mariani, Mauro Pezzè:
  Exception handlers for healing component-based systems. ACM Trans. Softw. Eng. Methodol. 22(4): 30:1-30:40 (2013)
• 
  Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
  Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22(1): 9:1-9:36 (2013)
• 
  Brian Demsky, Patrick Lam:
  Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22(1): 4:1-4:33 (2013)
• 
  Giovanni Denaro, Mauro Pezzè, Davide Tosi:
  Test-and-adapt: An approach for improving service interchangeability. ACM Trans. Softw. Eng. Methodol. 22(4): 28:1-28:43 (2013)
• 
  Davide Falessi, Lionel C. Briand, Giovanni Cantone, Rafael Capilla, Philippe Kruchten:
  The value of design rationale information. ACM Trans. Softw. Eng. Methodol. 22(3): 21:1-21:32 (2013)
• 
  Scott D. Fleming, Christopher Scaffidi, David Piorkowski, Margaret M. Burnett, Rachel K. E. Bellamy, Joseph Lawrance, Irwin Kwan:
  An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks. ACM Trans. Softw. Eng. Methodol. 22(2): 14:1-14:41 (2013)
• 
  Hadi Hemmati, Andrea Arcuri, Lionel C. Briand:
  Achieving scalable model-based testing through test case diversity. ACM Trans. Softw. Eng. Methodol. 22(1): 6:1-6:42 (2013)
• 
  Kevin J. Hoffman, Patrick Eugster:
  Trading obliviousness for modularity with cooperative aspect-oriented programming. ACM Trans. Softw. Eng. Methodol. 22(3): 22:1-22:46 (2013)
• 
  Jeff Huang, Jinguo Zhou, Charles Zhang:
  Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. 22(1): 8:1-8:21 (2013)
• 
  Wei Le, Mary Lou Soffa:
  Marple: Detecting faults in path segments using automatically generated analyses. ACM Trans. Softw. Eng. Methodol. 22(3): 18:1-18:38 (2013)
• 
  David Lizcano, Fernando Alonso, Javier Soriano, Genoveva López Gómez:
  A web-centred approach to end-user software engineering. ACM Trans. Softw. Eng. Methodol. 22(4): 36:1-36:29 (2013)
• 
  Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, Alain Abran:
  Using a functional size measurement procedure to evaluate the quality of models in MDD environments. ACM Trans. Softw. Eng. Methodol. 22(3): 26:1-26:31 (2013)
• 
  Lorenzo Martignoni, Roberto Paleari, Alessandro Reina, Giampaolo Fresi Roglia, Danilo Bruschi:
  A methodology for testing CPU emulators. ACM Trans. Softw. Eng. Methodol. 22(4): 29:1-29:26 (2013)
• 
  Collin McMillan, Denys Poshyvanyk, Mark Grechanik, Qing Xie, Chen Fu:
  Portfolio: Searching for relevant functions and their usages in millions of lines of code. ACM Trans. Softw. Eng. Methodol. 22(4): 37:1-37:30 (2013)
• 
  Leandro L. Minku, Xin Yao:
  Software effort estimation as a multiobjective learning problem. ACM Trans. Softw. Eng. Methodol. 22(4): 35:1-35:32 (2013)
• 
  Martin Monperrus, Mira Mezini:
  Detecting missing method calls as violations of the majority rule. ACM Trans. Softw. Eng. Methodol. 22(1): 7:1-7:25 (2013)
• 
  David Notkin:
  Editorial - looking back. ACM Trans. Softw. Eng. Methodol. 22(1): 1:1-1:2 (2013)
• 
  Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
  Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22(3): 20:1-20:54 (2013)
• 
  Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury:
  Path exploration based on symbolic output. ACM Trans. Softw. Eng. Methodol. 22(4): 32:1-32:41 (2013)
• 
  Marcello La Rosa, Marlon Dumas, Reina Uba, Remco M. Dijkman:
  Business Process Model Merging: An Approach to Business Process Consolidation. ACM Trans. Softw. Eng. Methodol. 22(2): 11:1-11:42 (2013)
• 
  David S. Rosenblum:
  Editorial - looking forward. ACM Trans. Softw. Eng. Methodol. 22(1): 2:1-2:3 (2013)
• 
  David S. Rosenblum:
  In memoriam: David Notkin (1955-2013). ACM Trans. Softw. Eng. Methodol. 22(3): 16:1-16:2 (2013)
• 
  Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
  Use case and task models: An integrated development methodology and its formal foundation. ACM Trans. Softw. Eng. Methodol. 22(3): 27:1-27:31 (2013)
• 
  Takaaki Tateishi, Marco Pistoia, Omer Tripp:
  Path- and index-sensitive string analysis based on monadic second-order logic. ACM Trans. Softw. Eng. Methodol. 22(4): 33:1-33:33 (2013)
• 
  Jérôme Vouillon, Roberto Di Cosmo:
  On software component co-installability. ACM Trans. Softw. Eng. Methodol. 22(4): 34:1-34:35 (2013)

skipping 8 more matches