| 2011 | 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 Perry Alexander, Corina S. Pasareanu, John G. Hosking |
| 2011 | A case for alloy annotations for efficient incremental analysis via domain specific solvers. Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
| 2011 | A framework for managing uncertainty in self-adaptive software systems. Naeem Esfahani |
| 2011 | A model checking framework for hierarchical systems. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong |
| 2011 | A model-driven framework for guided design space exploration. Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró |
| 2011 | A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. Richard Pohl, Kim Lauenroth, Klaus Pohl |
| 2011 | A rule-based approach to the semantic lifting of model differences in the context of model versioning. Timo Kehrer, Udo Kelter, Gabriele Taentzer |
| 2011 | A topic-based approach for narrowing the search space of buggy files from a bug report. Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Hung Viet Nguyen, Tien N. Nguyen |
| 2011 | APIExample: An effective web search based usage example recommendation system for java APIs. Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, Fuqing Yang |
| 2011 | An adaptive approach to impact analysis from change requests to source code. Malcom Gethers, Huzefa H. Kagdi, Bogdan Dit, Denys Poshyvanyk |
| 2011 | An optimal strategy for algorithmic debugging. David Insa, Josep Silva |
| 2011 | Analyzing temporal API usage patterns. Gias Uddin, Barthélémy Dagenais, Martin P. Robillard |
| 2011 | Analyzing temporal properties of abstract models. Amirhossein Vakili |
| 2011 | Auto-locating and fix-propagating for HTML validation errors to PHP server-side code. Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen |
| 2011 | AutoODC: Automated generation of Orthogonal Defect Classifications. Liguo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, Jeff Tian |
| 2011 | Automated documentation inference to explain failed tests. Sai Zhang, Cheng Zhang, Michael D. Ernst |
| 2011 | Automated extraction of architecture-level performance models of distributed component-based systems. Fabian Brosig, Nikolaus Huber, Samuel Kounev |
| 2011 | Automated planning for feature model configuration based on stakeholders' business concerns. Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gasevic, Ebrahim Bagheri |
| 2011 | Automated web application testing using search based software engineering. Nadia Alshahwan, Mark Harman |
| 2011 | Automatic assessment of software documentation quality. Andreas Dautovic |
| 2011 | Automatic generation of load tests. Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2011 | Automatically detecting the quality of the query and its implications in IR-based concept location. Sonia Haiduc |
| 2011 | Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems. Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, David B. Knoester |
| 2011 | Automating analysis of qualitative preferences in goal-oriented requirements engineering. Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu |
| 2011 | BEST: A symbolic testing tool for predicting multi-threaded program failures. Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan |
| 2011 | Capacity planning for event-based systems using automated performance predictions. Christoph Rathfelder, Samuel Kounev, David Evans |
| 2011 | Client-side web application slicing. Josip Maras, Jan Carlson, Ivica Crnkovic |
| 2011 | CloneDifferentiator: Analyzing clones by differentiation. Zhenchang Xing, Yinxing Xue, Stan Jarzabek |
| 2011 | Code-based automated program fixing. Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2011 | Combining search-based and constraint-based testing. Jan Malburg, Gordon Fraser |
| 2011 | Coverage rewarded: Test input generation via adaptation-based programming. Alex Groce |
| 2011 | DC2: A framework for scalable, scope-bounded software verification. Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki |
| 2011 | Decomposing feature models: language, environment, and applications. Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
| 2011 | Detection of feature interactions using feature-aware verification. Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer |
| 2011 | Deviation management during process execution. Marcos Aurélio Almeida da Silva, Xavier Blanc, Reda Bendraou |
| 2011 | Diagnosis of software failures using computational geometry. Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, Spiros Mancoridis |
| 2011 | Differential precondition checking: A lightweight, reusable analysis for refactoring tools. Jeffrey L. Overbey, Ralph E. Johnson |
| 2011 | Do software engineers benefit from source code navigation with traceability? - An experiment in software change management. Patrick Mäder, Alexander Egyed |
| 2011 | Domain and value checking of web application invocation arguments. William G. J. Halfond |
| 2011 | Ecological inference in empirical software engineering. Daryl Posnett, Vladimir Filkov, Premkumar T. Devanbu |
| 2011 | Enhancing architectural recovery using concerns. Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, Yuanfang Cai |
| 2011 | Evaluating test selection strategies for end-user specified flow-based applications. Kristina Winbladh, Anand Ranganathan |
| 2011 | Exploring caching for efficient collection operations. Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert |
| 2011 | Extracting structured data from natural language documents with island parsing. Alberto Bacchelli, Anthony Cleve, Michele Lanza, Andrea Mocci |
| 2011 | Fault-localization using dynamic slicing and change impact analysis. Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim |
| 2011 | Finding relevant answers in software forums. Swapna Gottipati, David Lo, Jing Jiang |
| 2011 | Finding the merits and drawbacks of software resources from comments. Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, Hong Mei |
| 2011 | Flexible design pattern detection based on feature types. Ghulam Rasool, Patrick Mäder |
| 2011 | Formalizing hardware/software interface specifications. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
| 2011 | GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano |
| 2011 | Generalizing evolutionary coupling with stochastic dependencies. Sunny Wong, Yuanfang Cai |
| 2011 | Generating essential user interface prototypes to validate requirements. Massila Kamalrudin, John C. Grundy |
| 2011 | Generating program inputs for database application testing. Kai Pan, Xintao Wu, Tao Xie |
| 2011 | Generating realistic test models for model processing tools. Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter |
| 2011 | GitBAC: Flexible access control for non-modular concerns. Mark Robinson, Jianwei Niu, Macneil Shonle |
| 2011 | Guided test visualization: Making sense of errors in concurrent programs. Saint Wesonga, Eric G. Mercer, Neha Rungta |
| 2011 | Heap cloning: Enabling dynamic symbolic execution of java programs. Saswat Anand, Mary Jean Harrold |
| 2011 | History slicing. Francisco Servant, James A. Jones |
| 2011 | Identifying future field accesses in exhaustive state space traversal. Pavel Parízek, Ondrej Lhoták |
| 2011 | Implementing efficient model validation in EMF tools. Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró |
| 2011 | Improving automated documentation to code traceability by combining retrieval techniques. Xiaofan Chen, John C. Grundy |
| 2011 | Improving source code search with natural language phrasal representations of method signatures. Emily Hill, Lori L. Pollock, K. Vijay-Shanker |
| 2011 | Improving spectrum-based fault localization using proximity-based weighting of test cases. Aritra Bandyopadhyay |
| 2011 | Inferred dependence coverage to support fault contextualization. Fang Deng, James A. Jones |
| 2011 | Isomorphism in model tools and editors. George Edwards, Yuriy Brun, Nenad Medvidovic |
| 2011 | Iterative mining of resource-releasing specifications. Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei |
| 2011 | JPF-AWT: Model checking GUI applications. Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma |
| 2011 | Local vs. global models for effort estimation and defect prediction. Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, David R. Cok |
| 2011 | Localizing SQL faults in database applications. Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, Mary Jean Harrold |
| 2011 | MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. René Just, Franz Schweiggert, Gregory M. Kapfhammer |
| 2011 | Mendel: Source code recommendation based on a genetic metaphor. Angela Lozano, Andy Kellens, Kim Mens |
| 2011 | Mining test oracles of web search engines. Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, Irwin King |
| 2011 | Mixed constraints for test input generation - An initial exploration. Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid |
| 2011 | Model checking distributed systems by combining caching and process checkpointing. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2011 | Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation. Achraf Ghabi, Alexander Egyed |
| 2011 | Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2011 | PRECIS: Inferring invariants using program path guided clustering. Parth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan |
| 2011 | Precomputing possible configuration error diagnoses. Ariel Rabkin, Randy H. Katz |
| 2011 | Prioritizing tests for fault localization through ambiguity group reduction. Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund |
| 2011 | Proximity based weighting of test cases to improve spectrum based fault localization. Aritra Bandyopadhyay, Sudipto Ghosh |
| 2011 | Querying source code with natural language. Markus Kimmig, Martin Monperrus, Mira Mezini |
| 2011 | Run-time systems failure prediction via proactive monitoring. Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li |
| 2011 | SAUML: A tool for symbolic analysis of UML-RT models. Karolina Zurowska, Jürgen Dingel |
| 2011 | Safe asynchronous multicore memory operations. Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
| 2011 | Scalable and precise symbolic analysis for atomicity violations. Malay K. Ganai |
| 2011 | Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li |
| 2011 | Search-based fault localization. Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, Hoong Chuin Lau |
| 2011 | Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio |
| 2011 | Slicing feature models. Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
| 2011 | Software process evaluation: A machine learning approach. Ning Chen, Steven C. H. Hoi, Xiaokui Xiao |
| 2011 | Specifying and detecting meaningful changes in programs. Yijun Yu, Thein Than Tun, Bashar Nuseibeh |
| 2011 | Stateful testing: Finding more errors in code and contracts. Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer |
| 2011 | Statistical debugging with elastic predicates. Ross Gore, Paul F. Reynolds Jr., David Kamensky |
| 2011 | Supporting activity based computing paradigm in global software development. Paolo Tell, Muhammad Ali Babar |
| 2011 | Supporting domain-specific state space reductions through local partial-order reduction. Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri |
| 2011 | Symbolic search-based testing. Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos |
| 2011 | Taming changes With 1.x-Way architecture-implementation mapping. Yongjie Zheng, Richard N. Taylor |
| 2011 | TestEra: A tool for testing Java programs using alloy specifications. Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
| 2011 | The CORE system: Animation and functional correctness of pointer programs. Ewen Maclean, Andrew Ireland, Gudmund Grov |
| 2011 | The Capture Calculus Toolset. Robert J. Hall |
| 2011 | Toward consistency checking of natural language temporal requirements. Wenbin Li |
| 2011 | Towards an approach and framework for test-execution plan derivation. Soham Sundar Chakraborty, Vipul Shah |
| 2011 | Towards dynamic backward slicing of model transformations. Zoltán Ujhelyi, Ákos Horváth, Dániel Varró |
| 2011 | Towards more accurate retrieval of duplicate bug reports. Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang |
| 2011 | Towards requirements aware systems: Run-time resolution of design-time assumptions. Kristopher Welsh, Pete Sawyer, Nelly Bencomo |
| 2011 | Tracing requirements to tests with high precision and recall. Celal Ziftci, Ingolf Krueger |
| 2011 | Unifying testing and analysis through behavioral coverage. Matthew B. Dwyer |
| 2011 | Using Formal Concept Analysis to support change analysis. Xiaobing Sun, Bixin Li |
| 2011 | Using model checking to analyze static properties of declarative models. Amirhossein Vakili, Nancy A. Day |
| 2011 | Using model-based assurance to strengthen diagnostic procedures. Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine |
| 2011 | Wikipedia and how to use it for semantic document representation. Ian H. Witten |
| 2011 | iDiff: Interaction-based program differencing tool. Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, Tien N. Nguyen |
| 2011 | jCT: A Java Code Tomograph. Markus Lumpe, Samiran Mahmud, Olga Goloshchapova |