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

• 2001
• 
  Sridhar Alagar, Subbarayan Venkatesan:
  Techniques to Tackle State Explosion in Global Predicate Detection. IEEE Trans. Software Eng. 27(8): 704-714 (2001)
• 
  Anneliese Amschler Andrews:
  Editorial. IEEE Trans. Software Eng. 27(5): 385-386 (2001)
• 
  Anneliese Amschler Andrews:
  Editorial. IEEE Trans. Software Eng. 27(10): 865-866 (2001)
• 
  Özalp Babaoglu, Renzo Davoli, Alberto Montresor:
  Group Communication in Partitionable Systems: Specification and Algorithms. IEEE Trans. Software Eng. 27(4): 308-336 (2001)
• 
  Ki-Seok Bang, Jin-Young Choi, Chuck Yoo:
  Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27(6): 573-576 (2001)
• 
  Israel Ben-Shaul, Ophir Holder, Boris Lavva:
  Dynamic Adaptation and Deployment of Distributed Components In Hadas. IEEE Trans. Software Eng. 27(9): 769-787 (2001)
• 
  Lionel C. Briand, Christian Bunse, John W. Daly:
  A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs. IEEE Trans. Software Eng. 27(6): 513-530 (2001)
• 
  Lionel C. Briand, Jürgen Wüst:
  Modeling Development Effort in Object-Oriented Systems Using Design Properties. IEEE Trans. Software Eng. 27(11): 963-986 (2001)
• 
  Manfred Broy:
  Toward a Mathematical Foundation of Software Engineering Methods. IEEE Trans. Software Eng. 27(1): 42-57 (2001)
• 
  L. Jean Camp:
  An Atomicity-Generating Protocol for Anonymous Currencies. IEEE Trans. Software Eng. 27(3): 272-278 (2001)
• 
  William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner:
  Optimizing Symbolic Model Checking for Statecharts. IEEE Trans. Software Eng. 27(2): 170-190 (2001)
• 
  Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
  Complexity of Points-To Analysis of Java in the Presence of Exceptions. IEEE Trans. Software Eng. 27(6): 481-512 (2001)
• 
  Marsha Chechik, John D. Gannon:
  Automatic Analysis of Consistency between Requirements and Designs. IEEE Trans. Software Eng. 27(7): 651-672 (2001)
• 
  Shyh-Kwei Chen, W. Kent Fuchs, Jen-Yao Chung:
  Reversible Debugging Using Program Instrumentation. IEEE Trans. Software Eng. 27(8): 715-727 (2001)
• 
  Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta:
  The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS. IEEE Trans. Software Eng. 27(9): 827-850 (2001)
• 
  Robert DeLine:
  Avoiding Packaging Mismatch with Flexible Packaging. IEEE Trans. Software Eng. 27(2): 124-143 (2001)
• 
  Robert DeLine:
  Corrections to 'Avoiding Packaging Mismatch with Flexible Packaging'. IEEE Trans. Software Eng. 27(6): 576 (2001)
• 
  Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur:
  Interface Mutation: An Approach for Integration Testing. IEEE Trans. Software Eng. 27(3): 228-247 (2001)
• 
  Paloma Díaz, Ignacio Aedo, Fivos Panetsos:
  Modeling the Dynamic Behavior of Hypermedia Applications. IEEE Trans. Software Eng. 27(6): 550-572 (2001)
• 
  Paloma Díaz, Ignacio Aedo, Fivos Panetsos:
  Erratum Corrections to 'Modeling the Dynamic Behavior of Hypermedia Applications'. IEEE Trans. Software Eng. 27(8): 766-767 (2001)
• 
  Stephen G. Eick, Todd L. Graves, Alan F. Karr, J. S. Marron, Audris Mockus:
  Does Code Decay? Assessing the Evidence from Change Management Data. IEEE Trans. Software Eng. 27(1): 1-12 (2001)
• 
  Khaled El Emam, Saïda Benlarbi, Nishith Goel, Shesh N. Rai:
  The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics. IEEE Trans. Software Eng. 27(7): 630-650 (2001)
• 
  Khaled El Emam, Oliver Laitenberger:
  Evaluating Capture-Recapture Models with Two Inspectors. IEEE Trans. Software Eng. 27(9): 851-864 (2001)
• 
  Hyeonsang Eom, Jeffrey K. Hollingsworth:
  A Tool to Help Tune where Computation Is Performed. IEEE Trans. Software Eng. 27(7): 618-629 (2001)
• 
  Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin:
  Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. 27(2): 99-123 (2001)
• 
  Fabrizio Fioravanti, Paolo Nesi:
  Estimation and Prediction Metrics for Adaptive Maintenance Effort of Object-Oriented Systems. IEEE Trans. Software Eng. 27(12): 1062-1084 (2001)
• 
  Stephen Gilmore, Jane Hillston, Marina Ribaudo:
  An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
• 
  Rachid Guerraoui, André Schiper:
  The Generic Consensus Service. IEEE Trans. Software Eng. 27(1): 29-41 (2001)
• 
  Gursaran, Gurdev Roy:
  On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics. IEEE Trans. Software Eng. 27(4): 381-384 (2001)
• 
  Mary Jean Harrold, David S. Rosenblum, Gregg Rothermel, Elaine J. Weyuker:
  Empirical Studies of a Prediction Model for Regression Test Selection. IEEE Trans. Software Eng. 27(3): 248-263 (2001)

skipping 41 more matches