| 2013 | 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013 Ewen Denney, Tevfik Bultan, Andreas Zeller |
| 2013 | A comparative analysis of software architecture recovery techniques. Joshua Garcia, Igor Ivkovic, Nenad Medvidovic |
| 2013 | A pattern-based approach to parametric specification mining. Giles Reger, Howard Barringer, David E. Rydeheard |
| 2013 | A scalable approach for malware detection through bounded feature space behavior modeling. Mahinthan Chandramohan, Hee Beng Kuan Tan, Lionel C. Briand, Lwin Khin Shar, Bindu Madhavi Padmanabhuni |
| 2013 | A study of repetitiveness of code changes in software evolution. Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, Hridesh Rajan |
| 2013 | Adding context to fault localization with integration coverage. Higor Amario de Souza, Marcos Lordello Chaim |
| 2013 | Assessing the maturity of requirements through argumentation: A good enough approach. Varsha Veerappa, Rachel Harrison |
| 2013 | AutoComment: Mining question and answer sites for automatic comment generation. Edmund Wong, Jinqiu Yang, Lin Tan |
| 2013 | Automated inference of classifications and dependencies for combinatorial testing. Duy Cu Nguyen, Paolo Tonella |
| 2013 | Automated planning for software architecture evolution. Jeffrey M. Barnes, Ashutosh Pandey, David Garlan |
| 2013 | Automated testing of cloud-based elastic systems with AUToCLES. Alessio Gambi, Waldemar Hummer, Schahram Dustdar |
| 2013 | Automated unit testing of large industrial embedded software using concolic testing. Yunho Kim, Youil Kim, Taeksu Kim, GunWoo Lee, Yoonkyu Jang, Moonzoo Kim |
| 2013 | Automated verification of interactive rule-based configuration systems. Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski |
| 2013 | Automated verification of pattern-based interaction invariants in Ajax applications. Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden |
| 2013 | Automatic recommendation of API methods from feature requests. Ferdian Thung, Shaowei Wang, David Lo, Julia Lawall |
| 2013 | Automatically partition software into least privilege components using dynamic data dependency analysis. Yongzheng Wu, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | Automatically synthesizing SQL queries from input-output examples. Sai Zhang, Yuyin Sun |
| 2013 | BLITZ: Compositional bounded model checking for real-world programs. Chia Yuan Cho, Vijay D'Silva, Dawn Song |
| 2013 | BOOM: Experiences in language and tool design for distributed systems (keynote). Joseph M. Hellerstein |
| 2013 | Big problems in industry (panel). John Penix |
| 2013 | Bita: Coverage-guided, automatic testing of actor programs. Samira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson |
| 2013 | CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. Markus Kusano, Chao Wang |
| 2013 | CSeq: A concurrency pre-processor for sequential C verification tools. Bernd Fischer, Omar Inverso, Gennaro Parlato |
| 2013 | Characteristic studies of loop problems for structural test generation via symbolic execution. Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann |
| 2013 | Characterizing and detecting resource leaks in Android applications. Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang |
| 2013 | Class level fault prediction using software clustering. Giuseppe Scanniello, Carmine Gravino, Andrian Marcus, Tim Menzies |
| 2013 | Cloud Twin: Native execution of android applications on the Windows Phone. Ethan Holder, Eeshan Shah, Mohammed Davoodi, Eli Tilevich |
| 2013 | Consistency-preserving edit scripts in model versioning. Timo Kehrer, Udo Kelter, Gabriele Taentzer |
| 2013 | Constraint-based automatic symmetry detection. Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong |
| 2013 | Context-aware task allocation for distributed agile team. Jun Lin |
| 2013 | Crushinator: A framework towards game-independent testing. Christopher Schaefer, Hyunsook Do, Brian M. Slator |
| 2013 | Dangling references in multi-configuration and dynamic PHP-based Web applications. Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen |
| 2013 | Detecting and characterizing semantic inconsistencies in ported code. Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta |
| 2013 | Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method. Fatemeh Hendijani Fard |
| 2013 | Detecting bad smells in source code using change history information. Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, Denys Poshyvanyk |
| 2013 | Detecting system use cases and validations from documents. Smita Ghaisas, Manish Motwani, Preethu Rose Anish |
| 2013 | Developing self-verifying service-based systems. Radu Calinescu, Kenneth Johnson, Yasmin Rafiq |
| 2013 | Dynamically transforming data structures. Erik Österlund, Welf Löwe |
| 2013 | Efficient data race prediction with incremental reasoning on time-stamped lock history. Malay K. Ganai |
| 2013 | Efficient parametric runtime verification with deterministic string rewriting. Patrick O'Neil Meredith, Grigore Rosu |
| 2013 | Entropy-based test generation for improved fault localization. José Campos, Rui Abreu, Gordon Fraser, Marcelo d'Amorim |
| 2013 | Environment rematching: Toward dependability improvement for self-adaptive applications. Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lu |
| 2013 | ExPort: Detecting and visualizing API usages in large source code repositories. Evan Moritz, Mario Linares Vásquez, Denys Poshyvanyk, Mark Grechanik, Collin McMillan, Malcom Gethers |
| 2013 | Finding architectural flaws using constraints. Radu Vanciu, Marwan Abi-Antoun |
| 2013 | Flow Permissions for Android. Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek |
| 2013 | From comparison matrix to Variability Model: The Wikipedia case study. Nicolas Sannier, Mathieu Acher, Benoit Baudry |
| 2013 | Identifying execution points for dynamic analyses. William N. Sumner, Xiangyu Zhang |
| 2013 | Improving bug localization using structured information retrieval. Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, Dewayne E. Perry |
| 2013 | Improving efficiency of dynamic analysis with dynamic dependence summaries. Vijay Krishna Palepu, Guoqing Xu, James A. Jones |
| 2013 | JFlow: Practical refactorings for flow-based parallelism. Nicholas Chen, Ralph E. Johnson |
| 2013 | Learning effective query transformations for enhanced requirements trace retrieval. Timothy Dietrich, Jane Cleland-Huang, Yonghee Shin |
| 2013 | Leveraging program equivalence for adaptive program repair: Models and first results. Westley Weimer, Zachary P. Fry, Stephanie Forrest |
| 2013 | Lightweight control-flow instrumentation and postmortem analysis in support of debugging. Peter Ohmann, Ben Liblit |
| 2013 | Measuring the structural complexity of feature models. Richard Pohl, Vanessa Stricker, Klaus Pohl |
| 2013 | Minimizing CPU time shortage risks in integrated embedded software. Shiva Nejati, Morayo Adedjouma, Lionel C. Briand, Jonathan Hellebaut, Julien Begey, Yves Clement |
| 2013 | Mining branching-time scenarios. Dirk Fahland, David Lo, Shahar Maoz |
| 2013 | Model based test validation and oracles for data acquisition systems. Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakic-Alfirevic, Vincent Masquelier |
| 2013 | Model repair and transformation with Echo. Nuno Macedo, Tiago Guimarães, Alcino Cunha |
| 2013 | Model/code co-refactoring: An MDE approach. Jens von Pilgrim, Bastian Ulke, Andreas Thies, Friedrich Steimann |
| 2013 | Multi-user variability configuration: A game theoretic approach. Jesús García-Galán, Pablo Trinidad, Antonio Ruiz Cortés |
| 2013 | Natural language requirements quality analysis based on business domain models. K. M. Annervaz, Vikrant S. Kaulgud, Shubhashis Sengupta, Milind Savagaonkar |
| 2013 | OCRA: A tool for checking the refinement of temporal contracts. Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta |
| 2013 | Operator-based and random mutant selection: Better together. Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid |
| 2013 | PIEtrace: Platform independent executable trace. Yonghwi Kwon, Xiangyu Zhang, Dongyan Xu |
| 2013 | PYTHIA: Generating test cases with oracles for JavaScript applications. Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman |
| 2013 | Personalized defect prediction. Tian Jiang, Lin Tan, Sunghun Kim |
| 2013 | Pex4Fun: A web-based environment for educational gaming via automated test generation. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2013 | Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization. Mehdi Mirakhorli |
| 2013 | Proving MCAPI executions are correct using SMT. Yu Huang, Eric Mercer, Jay McCarthy |
| 2013 | Randomizing regression tests using game theory. Nupul Kukreja, William G. J. Halfond, Milind Tambe |
| 2013 | Ranger: Parallel analysis of alloy models by range partitioning. Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias |
| 2013 | Recovering model transformation traces using multi-objective optimization. Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui |
| 2013 | Round-up: Runtime checking quasi linearizability of concurrent data structures. Lu Zhang, Arijit Chattopadhyay, Chao Wang |
| 2013 | SABRINE: State-based robustness testing of operating systems. Domenico Cotroneo, Domenico Di Leo, Francesco Fucci, Roberto Natella |
| 2013 | SBFR: A search based approach for reproducing failures of programs with grammar based input. Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, Paolo Tonella |
| 2013 | SEDGE: Symbolic example data generation for dataflow programs. Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner |
| 2013 | Scalable product line configuration: A straw to break the camel's back. Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, Hany H. Ammar |
| 2013 | Semi-automatic generation of metamodels from model sketches. Dustin Wüest, Norbert Seyff, Martin Glinz |
| 2013 | Smart Cloud Broker: Finding your home in the clouds. Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk |
| 2013 | Software analytics for incident management of online services: An experience report. Jian-Guang Lou, Qingwei Lin, Rui Ding, Qiang Fu, Dongmei Zhang, Tao Xie |
| 2013 | Software model checking for distributed systems with selector-based, non-blocking communication. Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto |
| 2013 | Supporting bug investigation using history analysis. Francisco Servant |
| 2013 | Synthesizing fault-tolerant programs from deontic logic specifications. Ramiro Demasi |
| 2013 | TRAM: A tool for transforming textual requirements into analysis models. Keletso Letsholo, Liping Zhao, Erol-Valeriu Chioasca |
| 2013 | Testing properties of dataflow program operators. Zhihong Xu, Martin Hirzel, Gregg Rothermel, Kun-Lung Wu |
| 2013 | The bounded model checker LLBMC. Stephan Falke, Florian Merz, Carsten Sinz |
| 2013 | The challenges of verification and validation of automated planning systems (keynote). Jeremy Frank |
| 2013 | The potential of polyhedral optimization: An empirical study. Andreas Simburger, Sven Apel, Armin Größlinger, Christian Lengauer |
| 2013 | Tool support for automatic model transformation specification using concrete visualisations. Iman Avazpour, John Grundy, Lars Grunske |
| 2013 | Towards contextual and on-demand code clone management by continuous monitoring. Gang Zhang, Xin Peng, Zhenchang Xing, Shihai Jiang, Hai Wang, Wenyun Zhao |
| 2013 | Towards precise metrics for predicting graph query performance. Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth |
| 2013 | TzuYu: Learning stateful typestates. Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun |
| 2013 | Using automatically generated invariants for regression testing and bug localization. Parth Sagdeo, Nicholas Ewalt, Debjit Pal, Shobha Vasudevan |
| 2013 | Variability-aware performance prediction: A statistical learning approach. Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, Andrzej Wasowski |
| 2013 | iProbe: A lightweight user-level dynamic instrumentation tool. Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, Guofei Jiang |