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

• 2015
• 
  Aldeida Aleti:
  Designing automotive embedded systems with adaptive genetic algorithms. Autom. Softw. Eng. 22(2): 199-240 (2015)
• 
  Mika Cohen, Ulrik Franke:
  An experiment in ontology use for command and control interoperability. Autom. Softw. Eng. 22(2): 145-157 (2015)
• 
  Rachel Harrison, Tim Menzies:
  Guest editorial: special issue on realizing AI synergies in software engineering. Autom. Softw. Eng. 22(1): 1-2 (2015)
• 
  Rachel Harrison, Tim Menzies:
  Guest editorial: special issue on realizing AI synergies in software engineering (part 2). Autom. Softw. Eng. 22(2): 143-144 (2015)
• 
  Ábel Hegedüs, Ákos Horváth, Dániel Varró:
  A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3): 399-436 (2015)
• 
  Constance L. Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton:
  Building high assurance human-centric decision systems. Autom. Softw. Eng. 22(2): 159-197 (2015)
• 
  Birgit Hofer, Alexandre Perez, Rui Abreu, Franz Wotawa:
  On the empirical evaluation of similarity coefficients for spreadsheets fault localization. Autom. Softw. Eng. 22(1): 47-74 (2015)
• 
  LiGuo Huang, Vincent Ng, Isaac Persing, Mingrui Chen, Zeheng Li, Ruili Geng, Jeff Tian:
  AutoODC: Automated generation of orthogonal defect classifications. Autom. Softw. Eng. 22(1): 3-46 (2015)
• 
  Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain:
  Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22(4): 517-559 (2015)
• 
  Kari Kähkönen, Olli Saarikivi, Keijo Heljanko:
  Unfolding based automated testing of multithreaded programs. Autom. Softw. Eng. 22(4): 475-515 (2015)
• 
  Olaf Leßenich, Sven Apel, Christian Lengauer:
  Balancing precision and performance in structured merge. Autom. Softw. Eng. 22(3): 367-397 (2015)
• 
  Tim Menzies, Corina S. Pasareanu:
  Guest editorial: special multi-issue on selected topics in Automated Software Engineering. Autom. Softw. Eng. 22(3): 289-290 (2015)
• 
  Tim Menzies, Corina S. Pasareanu:
  Guest editorial: special multi-issue on selected topics in automated software engineering. Autom. Softw. Eng. 22(4): 437-438 (2015)
• 
  Adel Noureddine, Romain Rouvoy, Lionel Seinturier:
  Monitoring energy hotspots in software - Energy profiling of software code. Autom. Softw. Eng. 22(3): 291-332 (2015)
• 
  Kai Pan, Xintao Wu, Tao Xie:
  Program-input generation for testing database applications using existing database states. Autom. Softw. Eng. 22(4): 439-473 (2015)
• 
  Samad Paydar, Mohsen Kahani:
  A semantic web enabled approach to reuse functional requirements models in web engineering. Autom. Softw. Eng. 22(2): 241-288 (2015)
• 
  Ferdian Thung, Lucia, David Lo, Lingxiao Jiang, Foyzur Rahman, Premkumar T. Devanbu:
  To what extent could we detect field defects? An extended empirical study of false negatives in static bug-finding tools. Autom. Softw. Eng. 22(4): 561-602 (2015)
• 
  Xin Xia, David Lo, Emad Shihab, Xinyu Wang, Bo Zhou:
  Automatic, high accuracy prediction of reopened bugs. Autom. Softw. Eng. 22(1): 75-109 (2015)
• 
  Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie:
  User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22(3): 333-366 (2015)
• 
  Wei Zhang, LiGuo Huang, Vincent Ng, Jidong Ge:
  SMPLearner: learning to predict software maintainability. Autom. Softw. Eng. 22(1): 111-141 (2015)