| 2010 | A bounded statistical approach for model checking of unbounded until properties. Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu |
| 2010 | A program differencing algorithm for verilog HDL. Adam Duley, Chris Spandikow, Miryung Kim |
| 2010 | A sentence-matching method for automatic license identification of source code files. Daniel M. Germán, Yuki Manabe, Katsuro Inoue |
| 2010 | A two-step technique for extract class refactoring. Gabriele Bavota, Andrea De Lucia, Andrian Marcus, Rocco Oliveto |
| 2010 | A visual interactive debugger based on symbolic execution. Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe |
| 2010 | ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010 Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto |
| 2010 | An automated approach for finding variable-constant pairing bugs. Julia Lawall, David Lo |
| 2010 | An experience report on scaling tools for mining software repositories using MapReduce. Weiyi Shang, Bram Adams, Ahmed E. Hassan |
| 2010 | Analyzing security architectures. Marwan Abi-Antoun, Jeffrey M. Barnes |
| 2010 | Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira |
| 2010 | Architectural style as an independent variable. Hamid Bagheri, Yuanyuan Song, Kevin J. Sullivan |
| 2010 | Automated SQL query generation for systematic testing of database engines. Shadi Abdul Khalek, Sarfraz Khurshid |
| 2010 | Automated model grouping. Michael Becker, Volker Gruhn |
| 2010 | Automated program repair through the evolution of assembly code. Eric M. Schulte, Stephanie Forrest, Westley Weimer |
| 2010 | Automated support for repairing input-model faults. Senthil Mani, Vibha Singhal Sinha, Pankaj Dhoolia, Saurabh Sinha |
| 2010 | Automatic construction of an effective training set for prioritizing static analysis warnings. Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, Hong Mei |
| 2010 | Automatic detection of nocuous coordination ambiguities in natural language requirements. Hui Yang, Alistair Willis, Anne N. De Roeck, Bashar Nuseibeh |
| 2010 | Automatic inference of abstract type behavior. Mihai Balint |
| 2010 | Automatically documenting program changes. Raymond P. L. Buse, Westley Weimer |
| 2010 | C2O: a tool for guided decision-making. Alexander Nöhrer, Alexander Egyed |
| 2010 | Checking roundoff errors using counterexample-guided narrowing. Do Thi Bich Ngoc, Mizuhito Ogawa |
| 2010 | CoGenTe: a tool for code generator testing. A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh |
| 2010 | Deriving behavior of multi-user processes from interactive requirements validation. Gregor Gabrysiak, Holger Giese, Andreas Seibel |
| 2010 | Detecting user-visible failures in AJAX web applications by analyzing users' interaction behaviors. Wanchun Li, Mary Jean Harrold, Carsten Görg |
| 2010 | Detection of recurring software vulnerabilities. Nam H. Pham, Tung Thanh Nguyen, Hoan Anh Nguyen, Tien N. Nguyen |
| 2010 | Deviance from perfection is a better criterion than closeness to evil when identifying risky code. Marouane Kessentini, Stéphane Vaucher, Houari A. Sahraoui |
| 2010 | Dynamic and transparent analysis of commodity production systems. Aristide Fattori, Roberto Paleari, Lorenzo Martignoni, Mattia Monga |
| 2010 | Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan |
| 2010 | Eliminating products to test in a software product line. Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid |
| 2010 | End-user oriented critic specification for domain-specific visual language tools. Norhayati Mohd. Ali, John G. Hosking, John C. Grundy, Jun Huh |
| 2010 | Enumeration refactoring: a tool for automatically converting Java constants to enumerated types. Raffi Khatchadourian, Benjamin Muskalla |
| 2010 | Error-avoiding adaptors for black-box software components. Casandra Holotescu |
| 2010 | Extraction and visualization of traceability relationships between documents and source code. Xiaofan Chen |
| 2010 | Flexible and scalable consistency checking on product line variability models. Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider |
| 2010 | How did you specify your test suite. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2010 | Impendulo: debugging the programmer. Willem Visser, Jaco Geldenhuys |
| 2010 | Integrating model verification and self-adaptation. Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb |
| 2010 | JCCD: a flexible and extensible API for implementing custom code clone detectors. Benjamin Biegel, Stephan Diehl |
| 2010 | JRF-E: using model checking to give advice on eliminating memory model-related bugs. Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders |
| 2010 | Kadre: domain-specific architectural recovery for scientific software systems. David Woollard, Chris Mattmann, Daniel Popescu, Nenad Medvidovic |
| 2010 | Keynote address: model engineering for model-driven engineering. Axel van Lamsweerde |
| 2010 | Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983. Cordell Green |
| 2010 | Keynote address: toward compositional software engineering. Jan Bosch |
| 2010 | MODA: automated test generation for database applications via mock objects. Kunal Taneja, Yi Zhang, Tao Xie |
| 2010 | Matching dependence-related queries in the system dependence graph. Xiaoyin Wang, David Lo, Jiefeng Cheng, Lu Zhang, Hong Mei, Jeffrey Xu Yu |
| 2010 | MiTV: multiple-implementation testing of user-input validators for web applications. Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann |
| 2010 | MoDisco: a generic and extensible framework for model driven reverse engineering. Hugo Bruneliere, Jordi Cabot, Frédéric Jouault, Frédéric Madiot |
| 2010 | Model checking graph representation of precise boolean inter-procedural flow analysis. Dominic Letarte |
| 2010 | Model comparison with GenericDiff. Zhenchang Xing |
| 2010 | Model-driven reverse engineering of legacy graphical user interfaces. Óscar Sánchez Ramón, Jesús Sánchez Cuadrado, Jesús García Molina |
| 2010 | Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML. Alexander Reder, Alexander Egyed |
| 2010 | PLASMA: a plan-based layered architecture for software model-driven adaptation. Hossein Tajalli, Joshua Garcia, George Edwards, Nenad Medvidovic |
| 2010 | PeerUnit: a framework for testing peer-to-peer systems. Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Patrick Valduriez |
| 2010 | PlayGo: towards a comprehensive tool for scenario based programming. David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan |
| 2010 | REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. Dinko Ivanov, Marin Orlic, Cristina Cerschi Seceleanu, Aneta Vulgarakis |
| 2010 | RESISTing reliability degradation through proactive reconfiguration. Deshan Cooray, Sam Malek, Roshanak Roshandel, David Kilgore |
| 2010 | Random unit-test generation with MUT-aware sequence recommendation. Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie |
| 2010 | Reac2o: a runtime for enterprise system models. Cameron M. Hine, Jean-Guy Schneider, Steven Versteeg |
| 2010 | Realizing architecture frameworks through megamodelling techniques. Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione |
| 2010 | Reconfigurable run-time support for distributed service component architectures. Rémi Mélisson, Philippe Merle, Daniel Romero, Romain Rouvoy, Lionel Seinturier |
| 2010 | Recovering inter-project dependencies in software ecosystems. Mircea Lungu, Romain Robbes, Michele Lanza |
| 2010 | Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty". Pongtip Aroonvatanaporn, Chatchai Sinthop, Barry W. Boehm |
| 2010 | RuMoR: monitoring and recovery for BPEL applications. Jocelyn Simmonds, Marsha Chechik |
| 2010 | Scenario-based and value-based specification mining: better together. David Lo, Shahar Maoz |
| 2010 | Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components. Heiko Paulheim |
| 2010 | Search-carrying code. Ali Taleghani, Joanne M. Atlee |
| 2010 | Security-driven model-based dynamic adaptation. Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel |
| 2010 | Software design sketching with calico. Nicolas Mangano, Alex Baker, Mitch Dempsey, Emily Oh Navarro, André van der Hoek |
| 2010 | Solving string constraints lazily. Pieter Hooimeijer, Westley Weimer |
| 2010 | SpecDiff: debugging formal specifications. Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong |
| 2010 | Symbolic PathFinder: symbolic execution of Java bytecode. Corina S. Pasareanu, Neha Rungta |
| 2010 | Tag and prune: a pragmatic approach to software product line implementation. Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau |
| 2010 | Test generation to expose changes in evolving programs. Dawei Qi, Abhik Roychoudhury, Zhenkai Liang |
| 2010 | Text mining in supporting software systems risk assurance. Liguo Huang, Daniel Port, Liang Wang, Tao Xie, Tim Menzies |
| 2010 | The influence of multiple artifacts on the effectiveness of software testing. Matt Staats |
| 2010 | Timesheet assistant: mining and reporting developer effort. Renuka Sindhgatta, Nanjangud C. Narendra, Bikram Sengupta, Karthik Visweswariah, Arthur G. Ryman |
| 2010 | Tool support for code generation from a UMLsec property. Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint |
| 2010 | Tool support for continuous maintenance of state machine models in program code. Moritz Balz, Michael Striewe, Michael Goedicke |
| 2010 | Tool support for essential use cases to better capture software requirements. Massila Kamalrudin, John C. Grundy, John G. Hosking |
| 2010 | Tool support for quality-driven development of software architectures. Suntae Kim, Dae-Kyoo Kim, Sooyong Park |
| 2010 | Towards automatically generating summary comments for Java methods. Giriprasad Sridhara, Emily Hill, Divya Muppaneni, Lori L. Pollock, K. Vijay-Shanker |
| 2010 | Towards mining replacement queries for hard-to-retrieve traces. Marek Gibiec, Adam Czauderna, Jane Cleland-Huang |
| 2010 | Using transitive changesets to support feature location. Sukanya Ratanotayanon, Hye Jung Choi, Susan Elliott Sim |
| 2010 | Variability modeling in the real: a perspective from the operating systems domain. Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki |
| 2010 | Verification-driven slicing of UML/OCL models. Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon |
| 2010 | VikiBuilder: end-user specification and generation of visual wikis. Christian Hirsch, John G. Hosking, John C. Grundy |
| 2010 | When to use data from other projects for effort estimation. Ekrem Kocaguneli, Gregory Gay, Tim Menzies, Ye Yang, Jacky W. Keung |
| 2010 | iMashup: assisting end-user programming for the service-oriented web. Xuanzhe Liu, Qi Zhao, Gang Huang, Zhi Jin, Hong Mei |