| 2014 | 42 variability bugs in the linux kernel: a qualitative analysis. Iago Abal, Claus Brabrand, Andrzej Wasowski |
| 2014 | 8Cage: lightweight fault-based test generation for simulink. Dominik Holling, Alexander Pretschner, Matthias Gemmar |
| 2014 | A dynamic analysis to support object-sharing code refactorings. Girish Maskeri Rama, Raghavan Komondoor |
| 2014 | A proposal for revisiting coverage testing metrics. Breno Miranda |
| 2014 | A requirements monitoring infrastructure for systems of systems. Michael Vierhauser |
| 2014 | A tool chain for generating the description files of highly available software. Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Samer Razzook |
| 2014 | A web based UML modeling tool with touch screens. Zhiyi Ma, Chih-Yi Yeh, Huihong He, Hongjie Chen |
| 2014 | ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014 Ivica Crnkovic, Marsha Chechik, Paul Grünbacher |
| 2014 | Abstraction-aware verifying compiler for yet another MDD. Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei |
| 2014 | Accelerated test execution using GPUs. Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening |
| 2014 | Active code search: incorporating user feedback to improve code search relevance. Shaowei Wang, David Lo, Lingxiao Jiang |
| 2014 | An empirical evaluation and comparison of manual and automated test selection. Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov |
| 2014 | An empirical study on reducing omission errors in practice. Jihun Park, Miryung Kim, Doo-Hwan Bae |
| 2014 | Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation. Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo |
| 2014 | Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. Markus Kusano, Chao Wang |
| 2014 | Assigning time budgets to component functions in the design of time-critical automotive systems. Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard |
| 2014 | AugIR: the conceptual design and evaluation of an augmented interaction room. Markus Kleffmann |
| 2014 | Automated analysis of multithreaded programs for performance modeling. Alexander Tarvo, Steven P. Reiss |
| 2014 | Automated domain-specific C verification with mbeddr. Zaur Molotnikov, Markus Völter, Daniel Ratiu |
| 2014 | Automated requirements analysis for a molecular watchdog timer. Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner |
| 2014 | Automated synthesis and deployment of cloud applications. Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi |
| 2014 | Automated unit test generation for classes with environment dependencies. Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti |
| 2014 | Automated variability analysis and testing of an E-commerce site.: an experience report. Sergio Segura, Ana Belén Sánchez, Antonio Ruiz Cortés |
| 2014 | Automatic early defects detection in use case documents. Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang |
| 2014 | Automatic verification of interactions in asynchronous systems with unbounded buffers. Samik Basu, Tevfik Bultan |
| 2014 | Automating regression verification. Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich |
| 2014 | Automating the formalization of product comparison matrices. Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry |
| 2014 | Behavioral resource-aware model inference. Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun |
| 2014 | CoCoTest: a tool for model-in-the-loop testing of continuous controllers. Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann |
| 2014 | Combining rule-based and information retrieval techniques to assign software change requests. Yguaratã Cerqueira Cavalcanti, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira |
| 2014 | Compatibility testing using patterns-based trace comparison. Venkatesh-Prasad Ranganath, Pradip Vallathol, Pankaj Gupta |
| 2014 | Concurrent transformation components using contention context sensors. Erik Österlund, Welf Löwe |
| 2014 | Constructing adaptive configuration dialogs using crowd data. Saeideh Hamidi, Periklis Andritsos, Sotirios Liaskos |
| 2014 | Continuous test generation: enhancing continuous integration with automated test generation. José Carlos Medeiros de Campos, Andrea Arcuri, Gordon Fraser, Rui Filipe Lima Maranhão de Abreu |
| 2014 | Derailer: interactive security analysis for web applications. Joseph P. Near, Daniel Jackson |
| 2014 | Determining the most probable root causes of run-time errors in simulink models. Johanna Schneider |
| 2014 | Discriminating influences among instructions in a dynamic slice. Vijay Krishna Palepu, James A. Jones |
| 2014 | Diver: precise dynamic impact analysis using dependence-based trace pruning. Haipeng Cai, Raúl A. Santelices |
| 2014 | Docovery: toward generic automatic document recovery. Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa |
| 2014 | Dompletion: DOM-aware JavaScript code completion. Kartik Bajaj, Karthik Pattabiraman, Ali Mesbah |
| 2014 | Droidmarking: resilient software watermarking for impeding android application repackaging. Chuangang Ren, Kai Chen, Peng Liu |
| 2014 | DupFinder: integrated tool support for duplicate bug report detection. Ferdian Thung, Pavneet Singh Kochhar, David Lo |
| 2014 | Embrace your issues: compassing the software engineering landscape using bug reports. Markus Borg |
| 2014 | Evaluation of string constraint solvers in the context of symbolic execution. Scott Kausler, Elena Sherman |
| 2014 | Exact and approximate probabilistic symbolic execution for nondeterministic programs. Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser |
| 2014 | Finding HTML presentation failures using image comparison techniques. Sonal Mahajan, William G. J. Halfond |
| 2014 | Fine-grained and accurate source code differencing. Jean-Rémy Falleri, Floréal Morandat, Xavier Blanc, Matias Martinez, Martin Monperrus |
| 2014 | Firecrow: a tool for web application analysis and reus. Josip Maras, Maja Stula, Jan Carlson |
| 2014 | Formalisation of the integration of behavior trees. Kushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar |
| 2014 | From out-place transformation evolution to in-place model patching. Alexander Bergmayr, Javier Troya, Manuel Wimmer |
| 2014 | Fusion fault localizers. Lucia, David Lo, Xin Xia |
| 2014 | HUSACCT: architecture compliance checking with rich sets of module and rule types. Leo J. Pruijt, Christian Köppe, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper |
| 2014 | Improvement of applications' stability through robust APIs. Maria Kechagia |
| 2014 | Improving the accuracy of oracle verdicts through automated model steering. Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2014 | Incremental symbolic execution for automated test suite maintenance. Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui |
| 2014 | Information flows as a permission mechanism. Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric John Lehner, Steven Y. Ko, Lukasz Ziarek |
| 2014 | Interrogative-guided re-ranking for question-oriented software text retrieval. Ting Ye, Bing Xie, Yanzhen Zou, Xiuzhao Chen |
| 2014 | Issues of automated software composition in AI planning. Felix Mohr |
| 2014 | Keynote talk: EasyChair. Andrei Voronkov |
| 2014 | Keynote talk: experiences from developing industrial software systems with long lifecycles. Magnus Larsson |
| 2014 | Keynote talk: the logic of information design. Luciano Floridi |
| 2014 | Language fuzzing using constraint logic programming. Kyle Dewey, Jared Roesch, Ben Hardekopf |
| 2014 | Leveraging existing tests in automated test generation for web applications. Amin Milani Fard, Mehdi MirzaAghaei, Ali Mesbah |
| 2014 | Localization of concurrency bugs using shared memory access pairs. Wenwen Wang, Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew, Xipeng Shen, Xiang Yuan, Jianjun Li, Xiaobing Feng, Yong Guan |
| 2014 | MIMIC: locating and understanding bugs by analyzing mimicked executions. Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso |
| 2014 | MPAnalyzer: a tool for finding unintended inconsistencies in program source code. Yoshiki Higo, Shinji Kusumoto |
| 2014 | Meta-Model validation and verification with MetaBest. Jesús J. López-Fernández, Esther Guerra, Juan de Lara |
| 2014 | MiL testing of highly configurable continuous controllers: scalable search using surrogate models. Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann |
| 2014 | Minimal strongly unsatisfiable subsets of reactive system specifications. Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki |
| 2014 | Model-driven development of content management systems based on Joomla. Dennis Priefer |
| 2014 | Multi-objective optimization in rule-based design space exploration. Hani Abdeen, Dániel Varró, Houari A. Sahraoui, András Szabolcs Nagy, Csaba Debreceni, Ábel Hegedüs, Ákos Horváth |
| 2014 | NeedFeed: taming change notifications by modeling code relevance. Rohan Padhye, Senthil Mani, Vibha Singhal Sinha |
| 2014 | PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
| 2014 | Pattern-based auto-completion of UML modeling activities. Tobias Kuschke, Patrick Mäder |
| 2014 | Personas in the middle: automated support for creating personas as focal points in feature gathering forums. Mona Rahimi, Jane Cleland-Huang |
| 2014 | PiE: programming in eliza. Xiao Liu, Dinghao Wu |
| 2014 | Potential biases in bug localization: do they matter? Pavneet Singh Kochhar, Yuan Tian, David Lo |
| 2014 | PrefFinder: getting the right preference in configurable software systems. Dongpu Jin, Myra B. Cohen, Xiao Qu, Brian Robinson |
| 2014 | Program analysis for secure big data processing. Julian James Stephen, Savvas Savvides, Russell Seidel, Patrick Th. Eugster |
| 2014 | Recommendation system for software refactoring using innovization and interactive dynamic optimization. Mohamed Wiem Mkaouer, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb, Mel Ó Cinnéide |
| 2014 | Recommending refactorings based on team co-maintenance patterns. Gabriele Bavota, Sebastiano Panichella, Nikolaos Tsantalis, Massimiliano Di Penta, Rocco Oliveto, Gerardo Canfora |
| 2014 | Resilient user interface level tests. Heidar Pirzadeh, Sara Shanian |
| 2014 | Scaling exact multi-objective combinatorial optimization by parallelization. Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee |
| 2014 | SeSAME: modeling and analyzing high-quality service compositions. Svetlana Arifulina, Sven Walther, Matthias Becker, Marie Christin Platenius |
| 2014 | Search-based inference of polynomial metamorphic relations. Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei |
| 2014 | Seeking the user interface. Steven P. Reiss |
| 2014 | Static, lightweight includes resolution for PHP. Mark Hills, Paul Klint, Jurgen J. Vinju |
| 2014 | Statistical learning approach for mining API usage mappings for code migration. Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen |
| 2014 | Studying task allocation decisions of novice agile teams with data from agile project management tools. Jun Lin, Han Yu, Zhiqi Shen, Chunyan Miao |
| 2014 | SymCrash: selective recording for reproducing crashes. Yu Cao, Hongyu Zhang, Sun Ding |
| 2014 | Symbolic state validation through runtime data. Yueqi Li, Shing-Chi Cheung |
| 2014 | Taming test inputs for separation assurance. Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman |
| 2014 | Targeted test input generation using symbolic-concrete backward execution. Peter Dinges, Gul A. Agha |
| 2014 | The confidence in our k-tails. Hila Cohen, Shahar Maoz |
| 2014 | Towards an intelligent domain-specific traceability solution. Jin Guo, Natawut Monaikul, Cody Plepel, Jane Cleland-Huang |
| 2014 | Towards self-healing smartphone software via automated patching. Tanzirul Azim, Iulian Neamtiu, Lisa M. Marvel |
| 2014 | Tracing software build processes to uncover license compliance inconsistencies. Sander van der Burg, Eelco Dolstra, Shane McIntosh, Julius Davies, Daniel M. Germán, Armijn Hemel |
| 2014 | Tracking down root causes of defects in simulink models. Johanna Schneider |
| 2014 | Tracking load-time configuration options. Max Lillack, Christian Kästner, Eric Bodden |
| 2014 | Transferring an automated test generation tool to practice: from pex to fakes and code digger. Nikolai Tillmann, Jonathan de Halleux, Tao Xie |
| 2014 | Understanding performance stairs: elucidating heuristics. Bryan Marker, Don S. Batory, Robert A. van de Geijn |
| 2014 | Using visual dataflow programming for interactive model comparison. Rainer Lutz, Stephan Diehl |
| 2014 | Utilizing feature location techniques for feature addition and feature enhancement. Joseph T. Burke |
| 2014 | Validating ajax applications using a delay-based mutation technique. Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden |
| 2014 | Variability-aware change impact analysis of multi-language product lines. Florian Angerer |
| 2014 | Verifying self-adaptive applications suffering uncertainty. Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2014 | Workspace updates of visual models. Timo Kehrer, Udo Kelter, Dennis Reuling |
| 2014 | symMMU: symbolically executed runtime libraries for symbolic memory access. Anthony Romano, Dawson R. Engler |