| 2012 | A model-driven parser generator with reference resolution support. Luis Quesada |
| 2012 | A qualitative study on user guidance capabilities in product configuration tools. Rick Rabiser, Paul Grünbacher, Martin Lehofer |
| 2012 | Adaptability of model comparison tools. Timo Kehrer, Udo Kelter, Pit Pietsch, Maik Schmidt |
| 2012 | An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling. Ayman A. Amin, Lars Grunske, Alan Colman |
| 2012 | Arcade.PLC: a verification platform for programmable logic controllers. Sebastian Biallas, Jörg Brauer, Stefan Kowalewski |
| 2012 | Augmented dynamic symbolic execution. Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux |
| 2012 | Automated API migration in a user-extensible refactoring tool for Erlang programs. Huiqing Li, Simon J. Thompson |
| 2012 | Automated evaluation of syntax error recovery. Maartje de Jonge, Eelco Visser |
| 2012 | Automated inference of goal-oriented performance prediction functions. Dennis Westermann, Jens Happe, Rouven Krebs, Roozbeh Farahbod |
| 2012 | Automatic query performance assessment during the retrieval of software artifacts. Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, Andrian Marcus |
| 2012 | Automatic recovery of statecharts from procedural code. Moria Abadi, Yishai A. Feldman |
| 2012 | Automatically generating and adapting model constraints to support co-evolution of design models. Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed |
| 2012 | Automatically securing permission-based software by reducing the attack surface: an application to Android. Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus |
| 2012 | Boreas: an accurate and scalable token-based approach to code clone detection. Yang Yuan, Yao Guo |
| 2012 | CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega |
| 2012 | Can I clone this piece of code here? Xiaoyin Wang, Yingnong Dang, Lu Zhang, Dongmei Zhang, Erica Lan, Hong Mei |
| 2012 | Caprice: a tool for engineering adaptive privacy. Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin J. Doherty, Bashar Nuseibeh |
| 2012 | Code patterns for automatically validating requirements-to-code traces. Achraf Ghabi, Alexander Egyed |
| 2012 | Communicating continuous integration servers for increasing effectiveness of automated testing. Stefan Dösinger, Richard Mordinyi, Stefan Biffl |
| 2012 | Computing repair trees for resolving inconsistencies in design models. Alexander Reder, Alexander Egyed |
| 2012 | Detection of embedded code smells in dynamic web applications. Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen |
| 2012 | Diagnosys: automatic generation of a debugging interface to the Linux kernel. Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller |
| 2012 | Diversity maximization speedup for fault localization. Liang Gong, David Lo, Lingxiao Jiang, Hongyu Zhang |
| 2012 | Duplicate bug report detection with a combination of information retrieval and topic modeling. Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David Lo, Chengnian Sun |
| 2012 | Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. Lei Shang, Yi Lu, Jingling Xue |
| 2012 | Formal verification techniques for model transformations specified by-demonstration. Sebastian Gabmeyer |
| 2012 | GUITest: a Java library for fully automated GUI robustness testing. Sebastian Bauersfeld, Tanja E. J. Vos |
| 2012 | GZoltar: an eclipse plug-in for testing and debugging. José Campos, André Riboira, Alexandre Perez, Rui Abreu |
| 2012 | Generating model transformation rules from examples using an evolutionary algorithm. Martin Faunes, Houari A. Sahraoui, Mounir Boukadoum |
| 2012 | Healing online service systems via mining historical issue repositories. Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, Tao Xie |
| 2012 | IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012 Michael Goedicke, Tim Menzies, Motoshi Saeki |
| 2012 | Identifying refactoring sequences for improving software maintainability. Panita Meananeatra |
| 2012 | Improving the effectiveness of spectra-based fault localization using specifications. Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2012 | JStereoCode: automatically identifying method and class stereotypes in Java code. Laura Moreno, Andrian Marcus |
| 2012 | Locating distinguishing features using diff sets. Julia Rubin, Marsha Chechik |
| 2012 | MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements. Massila Kamalrudin, John Grundy, John G. Hosking |
| 2012 | Observatory of trends in software related microblogs. Palakorn Achananuparp, Ibrahim Nelman Lubis, Yuan Tian, David Lo, Ee-Peng Lim |
| 2012 | Practical isolation of failure-inducing changes for debugging regression faults. Kai Yu, Mengxiang Lin, Jin Chen, Xiangyu Zhang |
| 2012 | Predicting common web application vulnerabilities from input validation and sanitization code patterns. Lwin Khin Shar, Hee Beng Kuan Tan |
| 2012 | Predicting recurring crash stacks. Hyunmin Seo, Sunghun Kim |
| 2012 | Predicting software complexity by means of evolutionary testing. Ana Filipa Nogueira |
| 2012 | Property-preserving program refinement. Yosuke Yamamoto |
| 2012 | PuMoC: a CTL model-checker for sequential programs. Fu Song, Tayssir Touili |
| 2012 | Puzzle-based automatic testing: bringing humans into the loop by solving puzzles. Ning Chen, Sunghun Kim |
| 2012 | Quokka: visualising interactions of enterprise software environment emulators. Cameron M. Hine, Jean-Guy Schneider, Jun Han, Steven Versteeg |
| 2012 | REInDetector: a framework for knowledge-based requirements engineering. Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy |
| 2012 | Re-founding software engineering - SEMAT at the age of three (keynote abstract). Ivar Jacobson, Ian Spence, Pontus Johnson, Mira Kajko-Mattsson |
| 2012 | Refactorings without names. Friedrich Steimann, Jens von Pilgrim |
| 2012 | Runtime monitoring of software energy hotspots. Adel Noureddine, Aurelien Bourdon, Romain Rouvoy, Lionel Seinturier |
| 2012 | SYMake: a build code analysis and refactoring tool for makefiles. Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen |
| 2012 | Selection of regression system tests for security policy evolution. Jeehyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon |
| 2012 | Semantic patch inference. Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo |
| 2012 | Slicing and replaying code change history. Katsuhisa Maruyama, Eijiro Kitsu, Takayuki Omori, Shinpei Hayashi |
| 2012 | Software defect prediction using semi-supervised learning with dimension reduction. Huihua Lu, Bojan Cukic, Mark Vere Culp |
| 2012 | Structured merge with auto-tuning: balancing precision and performance. Sven Apel, Olaf Leßenich, Christian Lengauer |
| 2012 | Support vector machines for anti-pattern detection. Abdou Maiga, Nasir Ali, Neelesh Bhattacharya, Aminata Sabané, Yann-Gaël Guéhéneuc, Giuliano Antoniol, Esma Aïmeur |
| 2012 | Supporting automated software re-engineering using re-aspects. Mohamed Almorsy, John Grundy, Amani S. Ibrahim |
| 2012 | Supporting automated vulnerability analysis using formalized vulnerability signatures. Mohamed Almorsy, John Grundy, Amani S. Ibrahim |
| 2012 | Supporting operating system kernel data disambiguation using points-to analysis. Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy |
| 2012 | Test suite selection based on traceability annotations. Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet |
| 2012 | The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark |
| 2012 | To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools. Ferdian Thung, Lucia, David Lo, Lingxiao Jiang, Foyzur Rahman, Premkumar T. Devanbu |
| 2012 | Unbounded data model verification using SMT solvers. Jaideep Nijjar, Tevfik Bultan |
| 2012 | User-aware privacy control via extended static-information-flow analysis. Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal |
| 2012 | Using GUI ripping for automated testing of Android applications. Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Salvatore De Carmine, Atif M. Memon |
| 2012 | Using mobile devices for collaborative requirements engineering. Rainer Lutz, Sascha Schäfer, Stephan Diehl |
| 2012 | Using unfoldings in automated testing of multithreaded programs. Kari Kähkönen, Olli Saarikivi, Keijo Heljanko |
| 2012 | Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. Yliès Falcone, Sebastian Currea |
| 2012 | kbe-anonymity: test data anonymization for evolving programs. Lucia, David Lo, Lingxiao Jiang, Aditya Budi |