| 2009 | A Case for Automated Debugging Using Data Structure Repair. Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid |
| 2009 | A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao |
| 2009 | A Formal Syntax for Probabilistic Timed Property Sequence Charts. Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li |
| 2009 | A Framework for State-Space Exploration of Java-Based Actor Programs. Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha |
| 2009 | A Holistic Approach to Mobile Service Provisioning. Andrew John Dennis Meads |
| 2009 | A Linear Programming Approach for Automated Localization of Multiple Faults. Brian C. Dean, William B. Pressly, Brian A. Malloy, Adam A. Whitley |
| 2009 | A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. Florence T. Balagtas-Fernandez, Heinrich Hussmann |
| 2009 | A Modelling Language for Interactive Web Applications. Jevon M. Wright |
| 2009 | A Petri Net Based Debugging Environment for QVT Relations. Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger |
| 2009 | A Quantum Algorithm for Software Engineering Search. Robert J. Hall |
| 2009 | A Tool Suite for the Generation and Validation of Configurations for Software Availability. Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe |
| 2009 | A Tool for Attributed Goal-Oriented Requirements Analysis. Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya |
| 2009 | A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. Ewen Denney, Bernd Fischer |
| 2009 | AOWP: Web-Specific AOP Framework for PHP. Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai |
| 2009 | ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009 |
| 2009 | Adaptive Random Test Case Prioritization. Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse |
| 2009 | Adding Examples into Java Documents. Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim |
| 2009 | Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. Suresh Thummalapenta, Tao Xie |
| 2009 | An Automated Passive Testing Approach for the IMS PoC Service. Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet |
| 2009 | An Automated Tool for Generating UML Models from Natural Language Requirements. Deva Kumar Deeptimahanti, Muhammad Ali Babar |
| 2009 | An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider |
| 2009 | An Open Source-Based Approach to Software Development Infrastructures. Yuhoon Ki, Meongchul Song |
| 2009 | Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development. Bryan Lemon, Aaron Riesbeck, Tim Menzies, Justin Price, Joseph D'Alessandro, Rikard Carlsson, Tomi Prifiti, Fayola Peters, Huihua Lu, Daniel Port |
| 2009 | Automated Comprehension Tasks in Software Exploration. Sandro Boccuzzo, Harald C. Gall |
| 2009 | Automated Software Tool Support for Checking the Inconsistency of Requirements. Massila Kamalrudin |
| 2009 | Automated Test Order Generation for Software Component Integration Testing. Rattikorn Hewett, Phongphun Kijsanayothin |
| 2009 | Automatic Generation of Object Usage Specifications from Large Method Traces. Michael Pradel, Thomas R. Gross |
| 2009 | Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks. Reid Holmes, Tristan Ratchford, Martin P. Robillard, Robert J. Walker |
| 2009 | Automating the Implementation of Analysis Concerns in Workflow Applications. Oscar González, Rubby Casallas, Dirk Deridder |
| 2009 | Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2009 | Clone-Aware Configuration Management. Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen |
| 2009 | Cluster-Based I/O-Efficient LTL Model Checking. Jiri Barnat, Lubos Brim, Pavel Simecek |
| 2009 | Code Completion from Abbreviated Input. Sangmok Han, David R. Wallace, Robert C. Miller |
| 2009 | Design Rule Hierarchies and Parallelism in Software Development Tasks. Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi Simeonov, Kanwarpreet Sethi |
| 2009 | EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements. Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid |
| 2009 | Efficient Formalism-Independent Monitoring of Parametric Properties. Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu |
| 2009 | Enhanced Automation for Managing Model and Metamodel Inconsistency. Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
| 2009 | Evaluating the Accuracy of Fault Localization Techniques. Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang |
| 2009 | Explicit Concern-Driven Development with ArchEvol. Eugen C. Nistor, André van der Hoek |
| 2009 | Generating Fixes from Object Behavior Anomalies. Valentin Dallmeier, Andreas Zeller, Bertrand Meyer |
| 2009 | Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. Fang Yu, Muath Alkhalaf, Tevfik Bultan |
| 2009 | Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann |
| 2009 | Goal-Based Testing of Semantic Web Services. M. Shaban Jokhio |
| 2009 | Improving API Usage through Automatic Detection of Redundant Code. David Kawrykow, Martin P. Robillard |
| 2009 | Improving Component Dependency Resolution with Soft Constraints, Validation and Verification. Graham Jenson |
| 2009 | Improving the Efficiency of Dependency Analysis in Logical Decision Models. Sunny Wong, Yuanfang Cai |
| 2009 | Inferring Method Effect Summaries for Nested Heap Regions. Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson |
| 2009 | Inferring Resource Specifications from Natural Language API Documentation. Hao Zhong, Lu Zhang, Tao Xie, Hong Mei |
| 2009 | Jtop: Managing JUnit Test Cases in Absence of Coverage Information. Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei |
| 2009 | KaitoroBase: Visual Exploration of Software Architecture Documents. Moon Ting Su, Christian Hirsch, John G. Hosking |
| 2009 | Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser |
| 2009 | Looper: Lightweight Detection of Infinite Loops at Runtime. Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen |
| 2009 | Loopfrog: A Static Analyzer for ANSI-C Programs. Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2009 | Lost in Translation: Forgetful Semantic Anchoring. Daniel Balasubramanian, Ethan K. Jackson |
| 2009 | Migration from Procedural Programming to Aspect Oriented Paradigm. Dipankar Majumdar |
| 2009 | Mining Health Models for Performance Monitoring of Services. Mithun Acharya, Vamshidhar Kommineni |
| 2009 | Mining Hierarchical Scenario-Based Specifications. David Lo, Shahar Maoz |
| 2009 | Mining Temporal Specifications from Object Usage. Andrzej Wasylkowski, Andreas Zeller |
| 2009 | Model Checking of Domain Artifacts in Product Line Engineering. Kim Lauenroth, Klaus Pohl, Simon Toehning |
| 2009 | Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences. Paul Grünbacher, Rick Rabiser, Deepak Dhungana, Martin Lehofer |
| 2009 | Optimizing a Structural Constraint Solver for Efficient Software Checking. Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
| 2009 | Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software. Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Xu |
| 2009 | Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders |
| 2009 | ReAssert: Suggesting Repairs for Broken Unit Tests. Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov |
| 2009 | Reducing Features to Improve Bug Prediction. Shivkumar Shivaji, E. James Whitehead Jr., Ram Akella, Sunghun Kim |
| 2009 | Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva |
| 2009 | Secure and Usable Requirements Engineering. Jose Romero-Mariona |
| 2009 | Self-Repair through Reconfiguration: A Requirements Engineering Approach. Yiqiao Wang, John Mylopoulos |
| 2009 | Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels |
| 2009 | Service Substitution Revisited. Dionysis Athanasopoulos, Apostolos V. Zarras, Valérie Issarny |
| 2009 | Specification and Control of Interface Responses to User Input in Rich Internet Applications. Matthias Book, Tobias Brückmann, Volker Gruhn, Malte Hülder |
| 2009 | Spectrum-Based Multiple Fault Localization. Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
| 2009 | State-Space Coverage Estimation. Ali Taleghani, Joanne M. Atlee |
| 2009 | Static Typing for Ruby on Rails. Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster |
| 2009 | Static Validation of C Preprocessor Macros. Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su |
| 2009 | Supporting Requirements Validation: The EuRailCheck Tool. Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2009 | Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan |
| 2009 | Task-First or Context-First? Tool Integration Revisited. Walid Maalej |
| 2009 | Towards Augmenting Requirements Models with Preferences. Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos |
| 2009 | Towards Automating Class-Splitting Using Betweenness Clustering. Keith Cassell, Peter Andreae, Lindsay Groves, James Noble |
| 2009 | Towards a Comprehensive Test Suite for Detectors of Design Patterns. Patrycja Wegrzynowicz, Krzysztof Stencel |
| 2009 | Type Inference for Soft-Error Fault-Tolerance Prediction. Gustav Munkby, Sibylle Schupp |
| 2009 | Understanding the Value of Software Engineering Technologies. Phillip Green II, Tim Menzies, Steve Williams, Oussama El-Rawas |
| 2009 | Using Spectrum-Based Fault Localization for Test Case Grouping. Martin Weiglhofer, Gordon Fraser, Franz Wotawa |
| 2009 | Using String Distances for Test Case Prioritisation. Yves Ledru, Alexandre Petrenko, Sergiy Boroday |
| 2009 | Validating Automotive Control Software Using Instrumentation-Based Verification. Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
| 2009 | Weaving Context Sensitivity into Test Suite Construction. Huai Wang, W. K. Chan |
| 2009 | Zoltar: A Toolset for Automatic Fault Localization. Tom Janssen, Rui Abreu, Arjan J. C. van Gemund |
| 2009 | phpModeler - A Web Model Extractor. Josip Maras, Maja Stula, Ivica Crnkovic |