ASE 2011 – Author Index

A B C D E F G H I J K L M N O P R S T U V W X Y Z

	Abreu, Rui	ASE '11: "Prioritizing Tests for Fault ..." Prioritizing Tests for Fault Localization through Ambiguity Group Reduction Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund (Delft University of Technology, Netherlands; University of Porto, Portugal) @InProceedings{ASE11p91, author = {Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J. C. van Gemund}, title = {Prioritizing Tests for Fault Localization through Ambiguity Group Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {91-90}, doi = {}, year = {2011}, } Article: ase11research-p066-p (type: Full paper) doi:
	Acher, Mathieu	ASE '11: "Slicing Feature Models ..." Slicing Feature Models Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p511, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Slicing Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {511-510}, doi = {}, year = {2011}, } Article: ase11research-p079-p (type: Short paper) doi: ASE '11: "Decomposing Feature Models: ..." Decomposing Feature Models: Language, Environment, and Applications Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p909, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Decomposing Feature Models: Language, Environment, and Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {909-908}, doi = {}, year = {2011}, } Article: ase11tool-id24-p (type: Tool Demonstration) doi:
	Al-Kofahi, Jafar	ASE '11: "A Topic-based Approach for ..." A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p271, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Jafar Al-Kofahi and Hung Viet Nguyen and Tien N. Nguyen}, title = {A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {271-270}, doi = {}, year = {2011}, } Article: ase11research-p261-p (type: Full paper) doi:
	Alshahwan, Nadia	ASE '11: "Automated Web Application ..." Automated Web Application Testing Using Search Based Software Engineering Nadia Alshahwan and Mark Harman (UCL, UK) @InProceedings{ASE11p11, author = {Nadia Alshahwan and Mark Harman}, title = {Automated Web Application Testing Using Search Based Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2011}, } Article: ase11research-p034-p (type: Full paper) doi:
	Alves, Elton	ASE '11: "Fault-Localization Using Dynamic ..." Fault-Localization Using Dynamic Slicing and Change Impact Analysis Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim (Federal University of Pernambuco, Brazil; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p751, author = {Elton Alves and Milos Gligoric and Vilas Jagannath and Marcelo d'Amorim}, title = {Fault-Localization Using Dynamic Slicing and Change Impact Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {751-750}, doi = {}, year = {2011}, } Article: ase11research-p252-p (type: Short paper) doi:
	Anand, Saswat	ASE '11: "Heap Cloning: Enabling Dynamic ..." Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs Saswat Anand and Mary Jean Harrold (Georgia Tech, USA) @InProceedings{ASE11p41, author = {Saswat Anand and Mary Jean Harrold}, title = {Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2011}, } Article: ase11research-p308-p (type: Full paper) doi:
	Apel, Sven	ASE '11: "Detection of Feature Interactions ..." Detection of Feature Interactions using Feature-Aware Verification Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer (University of Passau, Germany; Simon Fraser University, Canada) @InProceedings{ASE11p381, author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title = {Detection of Feature Interactions using Feature-Aware Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {381-380}, doi = {}, year = {2011}, } Article: ase11research-p016-p (type: Short paper) doi:
	Arcaini, Paolo	ASE '11: "Optimizing the Automatic Test ..." Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene (Università degli Studi di Milano, Italy; Università di Bergamo, Italy) @InProceedings{ASE11p421, author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene}, title = {Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {421-420}, doi = {}, year = {2011}, } Article: ase11research-p053-p (type: Short paper) doi:
	Arora, Nipun	ASE '11: "BEST: A Symbolic Testing Tool ..." BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, and Gogul Balakrishnan (NEC Labs, USA; Columbia University, USA) @InProceedings{ASE11p905, author = {Malay K. Ganai and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan}, title = {BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2011}, } Article: ase11tool-id16-p (type: Tool Demonstration) doi:
	Artho, Cyrille	ASE '11: "Model Checking Distributed ..." Model Checking Distributed Systems by Combining Caching and Process Checkpointing Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto (University of Tokyo, Japan; National Institute of Advanced Industrial Science and Technology, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE11p111, author = {Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto}, title = {Model Checking Distributed Systems by Combining Caching and Process Checkpointing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {111-110}, doi = {}, year = {2011}, } Article: ase11research-p166-p (type: Full paper) doi:
	Asadi, Mohsen	ASE '11: "Automated Planning for Feature ..." Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gašević, and Ebrahim Bagheri (Simon Fraser University, Canada; Athabasca University, Canada) @InProceedings{ASE11p791, author = {Samaneh Soltani and Mohsen Asadi and Marek Hatala and Dragan Gašević and Ebrahim Bagheri}, title = {Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {791-790}, doi = {}, year = {2011}, } Article: ase11research-p268-p (type: Short paper) doi:
	Athavale, Viraj	ASE '11: "PRECIS: Inferring Invariants ..." PRECIS: Inferring Invariants using Program Path Guided Clustering Parth Sagdeo, Viraj Athavale, Sumant Kowshik, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p781, author = {Parth Sagdeo and Viraj Athavale and Sumant Kowshik and Shobha Vasudevan}, title = {PRECIS: Inferring Invariants using Program Path Guided Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {781-780}, doi = {}, year = {2011}, } Article: ase11research-p264-p (type: Short paper) doi:
	Augustine, Vinay	ASE '11: "Scaling Up Automated Test ..." Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, and Nuo Li (ABB Corporate Research, USA; University of Washington, USA; MIT, USA; ABB Robotics, Cyprus) @InProceedings{ASE11p31, author = {Brian Robinson and Michael D. Ernst and Jeff H. Perkins and Vinay Augustine and Nuo Li}, title = {Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2011}, } Article: ase11research-p236-p (type: Full paper) doi:
	Baars, Arthur	ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Babar, Muhammad Ali	ASE '11: "Supporting Activity Based ..." Supporting Activity Based Computing Paradigm in Global Software Development Paolo Tell and Muhammad Ali Babar (IT University of Copenhagen, Denmark) @InProceedings{ASE11p721, author = {Paolo Tell and Muhammad Ali Babar}, title = {Supporting Activity Based Computing Paradigm in Global Software Development}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {721-720}, doi = {}, year = {2011}, } Article: ase11research-p229-p (type: Short paper) doi:
	Bacchelli, Alberto	ASE '11: "Extracting Structured Data ..." Extracting Structured Data from Natural Language Documents with Island Parsing Alberto Bacchelli, Anthony Cleve, Michele Lanza, and Andrea Mocci (University of Lugano, Switzerland; University of Namur, Belgium; Politecnico di Milano, Italy) @InProceedings{ASE11p641, author = {Alberto Bacchelli and Anthony Cleve and Michele Lanza and Andrea Mocci}, title = {Extracting Structured Data from Natural Language Documents with Island Parsing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {641-640}, doi = {}, year = {2011}, } Article: ase11research-p190-p (type: Short paper) doi:
	Bagheri, Ebrahim	ASE '11: "Automated Planning for Feature ..." Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gašević, and Ebrahim Bagheri (Simon Fraser University, Canada; Athabasca University, Canada) @InProceedings{ASE11p791, author = {Samaneh Soltani and Mohsen Asadi and Marek Hatala and Dragan Gašević and Ebrahim Bagheri}, title = {Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {791-790}, doi = {}, year = {2011}, } Article: ase11research-p268-p (type: Short paper) doi:
	Bai, Xu	ASE '11: "AutoODC: Automated Generation ..." AutoODC: Automated Generation of Orthogonal Defect Classifications LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, } Article: ase11research-p071-p (type: Short paper) doi:
	Balakrishnan, Gogul	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi: ASE '11: "BEST: A Symbolic Testing Tool ..." BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, and Gogul Balakrishnan (NEC Labs, USA; Columbia University, USA) @InProceedings{ASE11p905, author = {Malay K. Ganai and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan}, title = {BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2011}, } Article: ase11tool-id16-p (type: Tool Demonstration) doi:
	Ball, Thomas	ASE '11: "Formalizing Hardware/Software ..." Formalizing Hardware/Software Interface Specifications Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey (Microsoft Inc., USA; Portland State University, USA) @InProceedings{ASE11p151, author = {Juncao Li and Fei Xie and Thomas Ball and Vladimir Levin and Con McGarvey}, title = {Formalizing Hardware/Software Interface Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2011}, } Article: ase11research-p105-p (type: Full paper) doi:
	Bandyopadhyay, Aritra	ASE '11: "Improving Spectrum-Based Fault ..." Improving Spectrum-Based Fault Localization Using Proximity-Based Weighting of Test Cases Aritra Bandyopadhyay (Colorado State University, USA) @InProceedings{ASE11p971, author = {Aritra Bandyopadhyay}, title = {Improving Spectrum-Based Fault Localization Using Proximity-Based Weighting of Test Cases}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {971-970}, doi = {}, year = {2011}, } Article: ase11doctoral-id8-p (type: Doctoral Paper) doi: ASE '11: "Proximity Based Weighting ..." Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization Aritra Bandyopadhyay and Sudipto Ghosh (Colorado State University, USA) @InProceedings{ASE11p501, author = {Aritra Bandyopadhyay and Sudipto Ghosh}, title = {Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {501-500}, doi = {}, year = {2011}, } Article: ase11research-p078-p (type: Short paper) doi:
	Basu, Samik	ASE '11: "Automating Analysis of Qualitative ..." Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering Zachary J. Oster, Ganesh Ram Santhanam, and Samik Basu (Iowa State University, USA) @InProceedings{ASE11p571, author = {Zachary J. Oster and Ganesh Ram Santhanam and Samik Basu}, title = {Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {571-570}, doi = {}, year = {2011}, } Article: ase11research-p128-p (type: Short paper) doi:
	Bencomo, Nelly	ASE '11: "Towards Requirements Aware ..." Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions Kristopher Welsh, Pete Sawyer, and Nelly Bencomo (Lancaster University, UK; INRIA Paris - Rocquencourt, France) @InProceedings{ASE11p851, author = {Kristopher Welsh and Pete Sawyer and Nelly Bencomo}, title = {Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {851-850}, doi = {}, year = {2011}, } Article: ase11research-p350-p (type: Short paper) doi:
	Bendraou, Reda	ASE '11: "Deviation Management during ..." Deviation Management during Process Execution Marcos Aurélio Almeida da Silva, Xavier Blanc, and Reda Bendraou (LIP6, France; LaBRI, France) @InProceedings{ASE11p771, author = {Marcos Aurélio Almeida da Silva and Xavier Blanc and Reda Bendraou}, title = {Deviation Management during Process Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {771-770}, doi = {}, year = {2011}, } Article: ase11research-p262-p (type: Short paper) doi:
	Bergmann, Gábor	ASE '11: "Implementing Efficient Model ..." Implementing Efficient Model Validation in EMF Tools Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, } Article: ase11tool-id12-p (type: Tool Demonstration) doi:
	Beyer, Dirk	ASE '11: "Detection of Feature Interactions ..." Detection of Feature Interactions using Feature-Aware Verification Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer (University of Passau, Germany; Simon Fraser University, Canada) @InProceedings{ASE11p381, author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title = {Detection of Feature Interactions using Feature-Aware Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {381-380}, doi = {}, year = {2011}, } Article: ase11research-p016-p (type: Short paper) doi:
	Blanc, Xavier	ASE '11: "Deviation Management during ..." Deviation Management during Process Execution Marcos Aurélio Almeida da Silva, Xavier Blanc, and Reda Bendraou (LIP6, France; LaBRI, France) @InProceedings{ASE11p771, author = {Marcos Aurélio Almeida da Silva and Xavier Blanc and Reda Bendraou}, title = {Deviation Management during Process Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {771-770}, doi = {}, year = {2011}, } Article: ase11research-p262-p (type: Short paper) doi:
	Bokor, Péter	ASE '11: "Supporting Domain-Specific ..." Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri (TU Darmstadt, Germany; EPFL, Switzerland; Yahoo! Research Barcelona, Spain) @InProceedings{ASE11p121, author = {Péter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri}, title = {Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {121-120}, doi = {}, year = {2011}, } Article: ase11research-p189-p (type: Full paper) doi:
	Botinčan, Matko	ASE '11: "Safe Asynchronous Multicore ..." Safe Asynchronous Multicore Memory Operations Matko Botinčan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson (University of Cambridge, UK; Imperial College London, UK; Microsoft Research Cambridge, UK) @InProceedings{ASE11p161, author = {Matko Botinčan and Mike Dodds and Alastair F. Donaldson and Matthew J. Parkinson}, title = {Safe Asynchronous Multicore Memory Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {161-160}, doi = {}, year = {2011}, } Article: ase11research-p162-p (type: Full paper) doi:
	Brosig, Fabian	ASE '11: "Automated Extraction of Architecture-Level ..." Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems Fabian Brosig, Nikolaus Huber, and Samuel Kounev (KIT, Germany) @InProceedings{ASE11p191, author = {Fabian Brosig and Nikolaus Huber and Samuel Kounev}, title = {Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {191-190}, doi = {}, year = {2011}, } Article: ase11research-p247-p (type: Full paper) doi:
	Brun, Yuriy	ASE '11: "Isomorphism in Model Tools ..." Isomorphism in Model Tools and Editors George Edwards, Yuriy Brun, and Nenad Medvidovic (Blue Cell Software, USA; University of Washington, USA; University of Southern California, USA) @InProceedings{ASE11p601, author = {George Edwards and Yuriy Brun and Nenad Medvidovic}, title = {Isomorphism in Model Tools and Editors}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {601-600}, doi = {}, year = {2011}, } Article: ase11research-p147-p (type: Short paper) doi:
	Butcher, Andrew	ASE '11: "Local vs. Global Models for ..." Local vs. Global Models for Effort Estimation and Defect Prediction Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, and David Cok (West Virginia University, USA; Wayne State University, USA; Microsoft Research, USA; GrammaTech Inc., USA) @InProceedings{ASE11p351, author = {Tim Menzies and Andrew Butcher and Andrian Marcus and Thomas Zimmermann and David Cok}, title = {Local vs. Global Models for Effort Estimation and Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {351-350}, doi = {}, year = {2011}, } Article: ase11research-p273-p (type: Full paper) doi:
	Cai, Sibo	ASE '11: "Finding the Merits and Drawbacks ..." Finding the Merits and Drawbacks of Software Resources from Comments Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei (Peking University, China) @InProceedings{ASE11p531, author = {Changsheng Liu and Yanzhen Zou and Sibo Cai and Bing Xie and Hong Mei}, title = {Finding the Merits and Drawbacks of Software Resources from Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2011}, } Article: ase11research-p110-p (type: Short paper) doi:
	Cai, Yuanfang	ASE '11: "Generalizing Evolutionary ..." Generalizing Evolutionary Coupling with Stochastic Dependencies Sunny Wong and Yuanfang Cai (Siemens Healthcare, USA; Drexel University, USA) @InProceedings{ASE11p301, author = {Sunny Wong and Yuanfang Cai}, title = {Generalizing Evolutionary Coupling with Stochastic Dependencies}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {301-300}, doi = {}, year = {2011}, } Article: ase11research-p141-p (type: Full paper) doi: ASE '11: "Enhancing Architectural Recovery ..." Enhancing Architectural Recovery Using Concerns Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, and Yuanfang Cai (University of Southern California, USA; Jet Propulsion Laboratory, USA; Drexel University, USA) @InProceedings{ASE11p831, author = {Joshua Garcia and Daniel Popescu and Chris Mattmann and Nenad Medvidovic and Yuanfang Cai}, title = {Enhancing Architectural Recovery Using Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {831-830}, doi = {}, year = {2011}, } Article: ase11research-p315-p (type: Short paper) doi:
	Carlson, Jan	ASE '11: "Client-side Web Application ..." Client-side Web Application Slicing Josip Maras, Jan Carlson, and Ivica Crnković (University of Split, Croatia; Mälardalen University, Sweden) @InProceedings{ASE11p711, author = {Josip Maras and Jan Carlson and Ivica Crnković}, title = {Client-side Web Application Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {711-710}, doi = {}, year = {2011}, } Article: ase11research-p226-p (type: Short paper) doi:
	Chakraborty, Soham Sundar	ASE '11: "Towards an Approach and Framework ..." Towards an Approach and Framework for Test-Execution Plan Derivation Soham Sundar Chakraborty and Vipul Shah (AMD, India; Tata Research Development and Design Centre, India) @InProceedings{ASE11p671, author = {Soham Sundar Chakraborty and Vipul Shah}, title = {Towards an Approach and Framework for Test-Execution Plan Derivation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {671-670}, doi = {}, year = {2011}, } Article: ase11research-p205-p (type: Short paper) doi:
	Chen, Ning	ASE '11: "Software Process Evaluation: ..." Software Process Evaluation: A Machine Learning Approach Ning Chen, Steven C. H. Hoi, and Xiaokui Xiao (Nanyang Technological University, Singapore) @InProceedings{ASE11p341, author = {Ning Chen and Steven C. H. Hoi and Xiaokui Xiao}, title = {Software Process Evaluation: A Machine Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {341-340}, doi = {}, year = {2011}, } Article: ase11research-p213-p (type: Full paper) doi:
	Chen, Xiaofan	ASE '11: "Improving Automated Documentation ..." Improving Automated Documentation to Code Traceability by Combining Retrieval Techniques Xiaofan Chen and John Grundy (University of Auckland, New Zealand; Swinburne University of Technology at Melbourne, Australia) @InProceedings{ASE11p231, author = {Xiaofan Chen and John Grundy}, title = {Improving Automated Documentation to Code Traceability by Combining Retrieval Techniques}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {231-230}, doi = {}, year = {2011}, } Article: ase11research-p042-p (type: Full paper) doi:
	Cheng, Betty H. C.	ASE '11: "Automatically Exploring How ..." Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, and David B. Knoester (Michigan State University, USA) @InProceedings{ASE11p871, author = {Andres J. Ramirez and Adam C. Jensen and Betty H. C. Cheng and David B. Knoester}, title = {Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {871-870}, doi = {}, year = {2011}, } Article: ase11research-p357-p (type: Short paper) doi:
	Clark, Sarah R.	ASE '11: "Localizing SQL Faults in Database ..." Localizing SQL Faults in Database Applications Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold (Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA) @InProceedings{ASE11p221, author = {Sarah R. Clark and Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Localizing SQL Faults in Database Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {221-220}, doi = {}, year = {2011}, } Article: ase11research-p280-p (type: Full paper) doi:
	Cleve, Anthony	ASE '11: "Extracting Structured Data ..." Extracting Structured Data from Natural Language Documents with Island Parsing Alberto Bacchelli, Anthony Cleve, Michele Lanza, and Andrea Mocci (University of Lugano, Switzerland; University of Namur, Belgium; Politecnico di Milano, Italy) @InProceedings{ASE11p641, author = {Alberto Bacchelli and Anthony Cleve and Michele Lanza and Andrea Mocci}, title = {Extracting Structured Data from Natural Language Documents with Island Parsing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {641-640}, doi = {}, year = {2011}, } Article: ase11research-p190-p (type: Short paper) doi:
	Cobb, Jake	ASE '11: "Localizing SQL Faults in Database ..." Localizing SQL Faults in Database Applications Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold (Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA) @InProceedings{ASE11p221, author = {Sarah R. Clark and Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Localizing SQL Faults in Database Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {221-220}, doi = {}, year = {2011}, } Article: ase11research-p280-p (type: Full paper) doi:
	Cok, David	ASE '11: "Local vs. Global Models for ..." Local vs. Global Models for Effort Estimation and Defect Prediction Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, and David Cok (West Virginia University, USA; Wayne State University, USA; Microsoft Research, USA; GrammaTech Inc., USA) @InProceedings{ASE11p351, author = {Tim Menzies and Andrew Butcher and Andrian Marcus and Thomas Zimmermann and David Cok}, title = {Local vs. Global Models for Effort Estimation and Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {351-350}, doi = {}, year = {2011}, } Article: ase11research-p273-p (type: Full paper) doi:
	Collet, Philippe	ASE '11: "Slicing Feature Models ..." Slicing Feature Models Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p511, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Slicing Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {511-510}, doi = {}, year = {2011}, } Article: ase11research-p079-p (type: Short paper) doi: ASE '11: "Decomposing Feature Models: ..." Decomposing Feature Models: Language, Environment, and Applications Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p909, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Decomposing Feature Models: Language, Environment, and Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {909-908}, doi = {}, year = {2011}, } Article: ase11tool-id24-p (type: Tool Demonstration) doi:
	Crnković, Ivica	ASE '11: "Client-side Web Application ..." Client-side Web Application Slicing Josip Maras, Jan Carlson, and Ivica Crnković (University of Split, Croatia; Mälardalen University, Sweden) @InProceedings{ASE11p711, author = {Josip Maras and Jan Carlson and Ivica Crnković}, title = {Client-side Web Application Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {711-710}, doi = {}, year = {2011}, } Article: ase11research-p226-p (type: Short paper) doi:
	Dagenais, Barthélémy	ASE '11: "Analyzing Temporal API Usage ..." Analyzing Temporal API Usage Patterns Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard (McGill University, Canada) @InProceedings{ASE11p591, author = {Gias Uddin and Barthélémy Dagenais and Martin P. Robillard}, title = {Analyzing Temporal API Usage Patterns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {591-590}, doi = {}, year = {2011}, } Article: ase11research-p137-p (type: Short paper) doi:
	D'Amorim, Marcelo	ASE '11: "Fault-Localization Using Dynamic ..." Fault-Localization Using Dynamic Slicing and Change Impact Analysis Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim (Federal University of Pernambuco, Brazil; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p751, author = {Elton Alves and Milos Gligoric and Vilas Jagannath and Marcelo d'Amorim}, title = {Fault-Localization Using Dynamic Slicing and Change Impact Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {751-750}, doi = {}, year = {2011}, } Article: ase11research-p252-p (type: Short paper) doi:
	Dautovic, Andreas	ASE '11: "Automatic Assessment of Software ..." Automatic Assessment of Software Documentation Quality Andreas Dautovic (Johannes Kepler University, Austria) @InProceedings{ASE11p976, author = {Andreas Dautovic}, title = {Automatic Assessment of Software Documentation Quality}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {976-975}, doi = {}, year = {2011}, } Article: ase11doctoral-id6-p (type: Doctoral Paper) doi:
	Day, Nancy A.	ASE '11: "Using Model Checking to Analyze ..." Using Model Checking to Analyze Static Properties of Declarative Models Amirhossein Vakili and Nancy A. Day (University of Waterloo, Canada) @InProceedings{ASE11p521, author = {Amirhossein Vakili and Nancy A. Day}, title = {Using Model Checking to Analyze Static Properties of Declarative Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {521-520}, doi = {}, year = {2011}, } Article: ase11research-p094-p (type: Short paper) doi:
	Deng, Fang	ASE '11: "Inferred Dependence Coverage ..." Inferred Dependence Coverage to Support Fault Contextualization Fang Deng and James A. Jones (UC Irvine, USA) @InProceedings{ASE11p731, author = {Fang Deng and James A. Jones}, title = {Inferred Dependence Coverage to Support Fault Contextualization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {731-730}, doi = {}, year = {2011}, } Article: ase11research-p237-p (type: Short paper) doi:
	Devanbu, Premkumar	ASE '11: "Ecological Inference in Empirical ..." Ecological Inference in Empirical Software Engineering Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (UC Davis, USA) @InProceedings{ASE11p371, author = {Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {Ecological Inference in Empirical Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2011}, } Article: ase11research-p234-p (type: Full paper) doi:
	Dingel, Juergen	ASE '11: "SAUML: A Tool for Symbolic ..." SAUML: A Tool for Symbolic Analysis of UML-RT Models Karolina Zurowska and Juergen Dingel (Queen's University, Canada) @InProceedings{ASE11p913, author = {Karolina Zurowska and Juergen Dingel}, title = {SAUML: A Tool for Symbolic Analysis of UML-RT Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {913-912}, doi = {}, year = {2011}, } Article: ase11tool-id9-p (type: Tool Demonstration) doi:
	Dit, Bogdan	ASE '11: "An Adaptive Approach to Impact ..." An Adaptive Approach to Impact Analysis from Change Requests to Source Code Malcom Gethers, Huzefa Kagdi, Bogdan Dit, and Denys Poshyvanyk (College of William and Mary, USA; Wichita State University, USA) @InProceedings{ASE11p801, author = {Malcom Gethers and Huzefa Kagdi and Bogdan Dit and Denys Poshyvanyk}, title = {An Adaptive Approach to Impact Analysis from Change Requests to Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {801-800}, doi = {}, year = {2011}, } Article: ase11research-p276-p (type: Short paper) doi:
	Dodds, Mike	ASE '11: "Safe Asynchronous Multicore ..." Safe Asynchronous Multicore Memory Operations Matko Botinčan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson (University of Cambridge, UK; Imperial College London, UK; Microsoft Research Cambridge, UK) @InProceedings{ASE11p161, author = {Matko Botinčan and Mike Dodds and Alastair F. Donaldson and Matthew J. Parkinson}, title = {Safe Asynchronous Multicore Memory Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {161-160}, doi = {}, year = {2011}, } Article: ase11research-p162-p (type: Full paper) doi:
	Donaldson, Alastair F.	ASE '11: "Safe Asynchronous Multicore ..." Safe Asynchronous Multicore Memory Operations Matko Botinčan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson (University of Cambridge, UK; Imperial College London, UK; Microsoft Research Cambridge, UK) @InProceedings{ASE11p161, author = {Matko Botinčan and Mike Dodds and Alastair F. Donaldson and Matthew J. Parkinson}, title = {Safe Asynchronous Multicore Memory Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {161-160}, doi = {}, year = {2011}, } Article: ase11research-p162-p (type: Full paper) doi:
	Dong, Jin Song	ASE '11: "A Symbolic Model Checking ..." A Symbolic Model Checking Framework for Hierarchical Systems Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ASE11p942, author = {Truong Khanh Nguyen and Jun Sun and Yang Liu and Jin Song Dong}, title = {A Symbolic Model Checking Framework for Hierarchical Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {942-941}, doi = {}, year = {2011}, } Article: ase11tool-id21-p (type: Tool Demonstration) doi:
	Dwyer, Matthew B.	ASE '11: "Unifying Testing and Analysis ..." Unifying Testing and Analysis through Behavioral Coverage Matthew B. Dwyer (University of Nebraska, USA) @InProceedings{ASE11p6, author = {Matthew B. Dwyer}, title = {Unifying Testing and Analysis through Behavioral Coverage}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2011}, } Article: ase11keynotes-key02-p (type: Keynote Paper) doi: ASE '11: "Automatic Generation of Load ..." Automatic Generation of Load Tests Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ASE11p51, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Automatic Generation of Load Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {51-50}, doi = {}, year = {2011}, } Article: ase11research-p217-p (type: Full paper) doi:
	Edwards, George	ASE '11: "Isomorphism in Model Tools ..." Isomorphism in Model Tools and Editors George Edwards, Yuriy Brun, and Nenad Medvidovic (Blue Cell Software, USA; University of Washington, USA; University of Southern California, USA) @InProceedings{ASE11p601, author = {George Edwards and Yuriy Brun and Nenad Medvidovic}, title = {Isomorphism in Model Tools and Editors}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {601-600}, doi = {}, year = {2011}, } Article: ase11research-p147-p (type: Short paper) doi:
	Egyed, Alexander	ASE '11: "Observations on the Connectedness ..." Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation Achraf Ghabi and Alexander Egyed (Johannes Kepler University, Austria) @InProceedings{ASE11p491, author = {Achraf Ghabi and Alexander Egyed}, title = {Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {491-490}, doi = {}, year = {2011}, } Article: ase11research-p076-p (type: Short paper) doi: ASE '11: "Do Software Engineers Benefit ..." Do Software Engineers Benefit from Source Code Navigation with Traceability? – An Experiment in Software Change Management Patrick Mäder and Alexander Egyed (Johannes Kepler University, Austria) @InProceedings{ASE11p561, author = {Patrick Mäder and Alexander Egyed}, title = {Do Software Engineers Benefit from Source Code Navigation with Traceability? – An Experiment in Software Change Management}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {561-560}, doi = {}, year = {2011}, } Article: ase11research-p125-p (type: Short paper) doi:
	Elbaum, Sebastian	ASE '11: "Automatic Generation of Load ..." Automatic Generation of Load Tests Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ASE11p51, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Automatic Generation of Load Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {51-50}, doi = {}, year = {2011}, } Article: ase11research-p217-p (type: Full paper) doi:
	Ernst, Michael D.	ASE '11: "Scaling Up Automated Test ..." Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, and Nuo Li (ABB Corporate Research, USA; University of Washington, USA; MIT, USA; ABB Robotics, Cyprus) @InProceedings{ASE11p31, author = {Brian Robinson and Michael D. Ernst and Jeff H. Perkins and Vinay Augustine and Nuo Li}, title = {Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2011}, } Article: ase11research-p236-p (type: Full paper) doi: ASE '11: "Automated Documentation Inference ..." Automated Documentation Inference to Explain Failed Tests Sai Zhang, Cheng Zhang, and Michael D. Ernst (University of Washington, USA; Shanghai Jiao Tong University, China) @InProceedings{ASE11p71, author = {Sai Zhang and Cheng Zhang and Michael D. Ernst}, title = {Automated Documentation Inference to Explain Failed Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {71-70}, doi = {}, year = {2011}, } Article: ase11research-p182-p (type: Full paper) doi:
	Esfahani, Naeem	ASE '11: "A Framework for Managing Uncertainty ..." A Framework for Managing Uncertainty in Self-Adaptive Software Systems Naeem Esfahani (George Mason University, USA) @InProceedings{ASE11p956, author = {Naeem Esfahani}, title = {A Framework for Managing Uncertainty in Self-Adaptive Software Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {956-955}, doi = {}, year = {2011}, } Article: ase11doctoral-id2-p (type: Doctoral Paper) doi:
	Evans, David	ASE '11: "Capacity Planning for Event-based ..." Capacity Planning for Event-based Systems using Automated Performance Predictions Christoph Rathfelder, Samuel Kounev, and David Evans (FZI, Germany; KIT, Germany; University of Cambridge, UK) @InProceedings{ASE11p361, author = {Christoph Rathfelder and Samuel Kounev and David Evans}, title = {Capacity Planning for Event-based Systems using Automated Performance Predictions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {361-360}, doi = {}, year = {2011}, } Article: ase11research-p032-p (type: Full paper) doi:
	Fang, Lu	ASE '11: "APIExample: An Effective Web ..." APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang (Peking University, China) @InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, } Article: ase11tool-id10-p (type: Tool Demonstration) doi:
	Filieri, Antonio	ASE '11: "Self-Adaptive Software Meets ..." Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio (Politecnico di Milano, Italy) @InProceedings{ASE11p291, author = {Antonio Filieri and Carlo Ghezzi and Alberto Leva and Martina Maggio}, title = {Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {291-290}, doi = {}, year = {2011}, } Article: ase11research-p013-p (type: Full paper) doi:
	Filkov, Vladimir	ASE '11: "Ecological Inference in Empirical ..." Ecological Inference in Empirical Software Engineering Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (UC Davis, USA) @InProceedings{ASE11p371, author = {Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {Ecological Inference in Empirical Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2011}, } Article: ase11research-p234-p (type: Full paper) doi:
	France, Robert B.	ASE '11: "Slicing Feature Models ..." Slicing Feature Models Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p511, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Slicing Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {511-510}, doi = {}, year = {2011}, } Article: ase11research-p079-p (type: Short paper) doi: ASE '11: "Decomposing Feature Models: ..." Decomposing Feature Models: Language, Environment, and Applications Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p909, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Decomposing Feature Models: Language, Environment, and Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {909-908}, doi = {}, year = {2011}, } Article: ase11tool-id24-p (type: Tool Demonstration) doi:
	Fraser, Gordon	ASE '11: "Combining Search-based and ..." Combining Search-based and Constraint-based Testing Jan Malburg and Gordon Fraser (Saarland University, Germany) @InProceedings{ASE11p541, author = {Jan Malburg and Gordon Fraser}, title = {Combining Search-based and Constraint-based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {541-540}, doi = {}, year = {2011}, } Article: ase11research-p111-p (type: Short paper) doi:
	Furia, Carlo A.	ASE '11: "Code-Based Automated Program ..." Code-Based Automated Program Fixing Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p431, author = {Yu Pei and Yi Wei and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Code-Based Automated Program Fixing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {431-430}, doi = {}, year = {2011}, } Article: ase11research-p058-p (type: Short paper) doi: ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Ganai, Malay K.	ASE '11: "Scalable and Precise Symbolic ..." Scalable and Precise Symbolic Analysis for Atomicity Violations Malay K. Ganai (NEC Labs, USA) @InProceedings{ASE11p131, author = {Malay K. Ganai}, title = {Scalable and Precise Symbolic Analysis for Atomicity Violations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {131-130}, doi = {}, year = {2011}, } Article: ase11research-p067-p (type: Full paper) doi: ASE '11: "BEST: A Symbolic Testing Tool ..." BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, and Gogul Balakrishnan (NEC Labs, USA; Columbia University, USA) @InProceedings{ASE11p905, author = {Malay K. Ganai and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan}, title = {BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2011}, } Article: ase11tool-id16-p (type: Tool Demonstration) doi:
	Ganov, Svetoslav	ASE '11: "A Case for Alloy Annotations ..." A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers Svetoslav Ganov, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE11p611, author = {Svetoslav Ganov and Sarfraz Khurshid and Dewayne E. Perry}, title = {A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {611-610}, doi = {}, year = {2011}, } Article: ase11research-p150-p (type: Short paper) doi:
	Garcia, Joshua	ASE '11: "Enhancing Architectural Recovery ..." Enhancing Architectural Recovery Using Concerns Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, and Yuanfang Cai (University of Southern California, USA; Jet Propulsion Laboratory, USA; Drexel University, USA) @InProceedings{ASE11p831, author = {Joshua Garcia and Daniel Popescu and Chris Mattmann and Nenad Medvidovic and Yuanfang Cai}, title = {Enhancing Architectural Recovery Using Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {831-830}, doi = {}, year = {2011}, } Article: ase11research-p315-p (type: Short paper) doi:
	Gargantini, Angelo	ASE '11: "Optimizing the Automatic Test ..." Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene (Università degli Studi di Milano, Italy; Università di Bergamo, Italy) @InProceedings{ASE11p421, author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene}, title = {Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {421-420}, doi = {}, year = {2011}, } Article: ase11research-p053-p (type: Short paper) doi:
	Gašević, Dragan	ASE '11: "Automated Planning for Feature ..." Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gašević, and Ebrahim Bagheri (Simon Fraser University, Canada; Athabasca University, Canada) @InProceedings{ASE11p791, author = {Samaneh Soltani and Mohsen Asadi and Marek Hatala and Dragan Gašević and Ebrahim Bagheri}, title = {Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {791-790}, doi = {}, year = {2011}, } Article: ase11research-p268-p (type: Short paper) doi:
	Gemund, Arjan J. C. van	ASE '11: "Prioritizing Tests for Fault ..." Prioritizing Tests for Fault Localization through Ambiguity Group Reduction Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund (Delft University of Technology, Netherlands; University of Porto, Portugal) @InProceedings{ASE11p91, author = {Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J. C. van Gemund}, title = {Prioritizing Tests for Fault Localization through Ambiguity Group Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {91-90}, doi = {}, year = {2011}, } Article: ase11research-p066-p (type: Full paper) doi:
	Geng, Ruili	ASE '11: "AutoODC: Automated Generation ..." AutoODC: Automated Generation of Orthogonal Defect Classifications LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, } Article: ase11research-p071-p (type: Short paper) doi:
	Gethers, Malcom	ASE '11: "An Adaptive Approach to Impact ..." An Adaptive Approach to Impact Analysis from Change Requests to Source Code Malcom Gethers, Huzefa Kagdi, Bogdan Dit, and Denys Poshyvanyk (College of William and Mary, USA; Wichita State University, USA) @InProceedings{ASE11p801, author = {Malcom Gethers and Huzefa Kagdi and Bogdan Dit and Denys Poshyvanyk}, title = {An Adaptive Approach to Impact Analysis from Change Requests to Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {801-800}, doi = {}, year = {2011}, } Article: ase11research-p276-p (type: Short paper) doi:
	Ghabi, Achraf	ASE '11: "Observations on the Connectedness ..." Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation Achraf Ghabi and Alexander Egyed (Johannes Kepler University, Austria) @InProceedings{ASE11p491, author = {Achraf Ghabi and Alexander Egyed}, title = {Observations on the Connectedness between Requirements-to-Code Traces and Calling Relationships for Trace Validation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {491-490}, doi = {}, year = {2011}, } Article: ase11research-p076-p (type: Short paper) doi:
	Ghezzi, Carlo	ASE '11: "Self-Adaptive Software Meets ..." Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio (Politecnico di Milano, Italy) @InProceedings{ASE11p291, author = {Antonio Filieri and Carlo Ghezzi and Alberto Leva and Martina Maggio}, title = {Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {291-290}, doi = {}, year = {2011}, } Article: ase11research-p013-p (type: Full paper) doi:
	Ghosh, Sudipto	ASE '11: "Proximity Based Weighting ..." Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization Aritra Bandyopadhyay and Sudipto Ghosh (Colorado State University, USA) @InProceedings{ASE11p501, author = {Aritra Bandyopadhyay and Sudipto Ghosh}, title = {Proximity Based Weighting of Test Cases to Improve Spectrum Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {501-500}, doi = {}, year = {2011}, } Article: ase11research-p078-p (type: Short paper) doi:
	Gligoric, Milos	ASE '11: "Fault-Localization Using Dynamic ..." Fault-Localization Using Dynamic Slicing and Change Impact Analysis Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim (Federal University of Pernambuco, Brazil; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p751, author = {Elton Alves and Milos Gligoric and Vilas Jagannath and Marcelo d'Amorim}, title = {Fault-Localization Using Dynamic Slicing and Change Impact Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {751-750}, doi = {}, year = {2011}, } Article: ase11research-p252-p (type: Short paper) doi:
	Goloshchapova, Olga	ASE '11: "jCT: A Java Code Tomograph ..." jCT: A Java Code Tomograph Markus Lumpe, Samiran Mahmud, and Olga Goloshchapova (Swinburne University of Technology at Hawthorn, Australia) @InProceedings{ASE11p925, author = {Markus Lumpe and Samiran Mahmud and Olga Goloshchapova}, title = {jCT: A Java Code Tomograph}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {925-924}, doi = {}, year = {2011}, } Article: ase11tool-id1-p (type: Tool Demonstration) doi:
	Gonzalez-Sanchez, Alberto	ASE '11: "Prioritizing Tests for Fault ..." Prioritizing Tests for Fault Localization through Ambiguity Group Reduction Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund (Delft University of Technology, Netherlands; University of Porto, Portugal) @InProceedings{ASE11p91, author = {Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J. C. van Gemund}, title = {Prioritizing Tests for Fault Localization through Ambiguity Group Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {91-90}, doi = {}, year = {2011}, } Article: ase11research-p066-p (type: Full paper) doi:
	Gore, Ross	ASE '11: "Statistical Debugging with ..." Statistical Debugging with Elastic Predicates Ross Gore, Paul F. Reynolds, Jr., and David Kamensky (University of Virginia, USA; University of Texas at Austin, USA) @InProceedings{ASE11p681, author = {Ross Gore and Paul F. Reynolds, Jr. and David Kamensky}, title = {Statistical Debugging with Elastic Predicates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {681-680}, doi = {}, year = {2011}, } Article: ase11research-p206-p (type: Short paper) doi:
	Gottipati, Swapna	ASE '11: "Finding Relevant Answers in ..." Finding Relevant Answers in Software Forums Swapna Gottipati, David Lo, and Jing Jiang (Singapore Management University, Singapore) @InProceedings{ASE11p331, author = {Swapna Gottipati and David Lo and Jing Jiang}, title = {Finding Relevant Answers in Software Forums}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {331-330}, doi = {}, year = {2011}, } Article: ase11research-p106-p (type: Full paper) doi:
	Groce, Alex	ASE '11: "Coverage Rewarded: Test Input ..." Coverage Rewarded: Test Input Generation via Adaptation-Based Programming Alex Groce (Oregon State University, USA) @InProceedings{ASE11p401, author = {Alex Groce}, title = {Coverage Rewarded: Test Input Generation via Adaptation-Based Programming}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {401-400}, doi = {}, year = {2011}, } Article: ase11research-p035-p (type: Short paper) doi:
	Gross, Hans-Gerhard	ASE '11: "Prioritizing Tests for Fault ..." Prioritizing Tests for Fault Localization through Ambiguity Group Reduction Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, and Arjan J. C. van Gemund (Delft University of Technology, Netherlands; University of Porto, Portugal) @InProceedings{ASE11p91, author = {Alberto Gonzalez-Sanchez and Rui Abreu and Hans-Gerhard Gross and Arjan J. C. van Gemund}, title = {Prioritizing Tests for Fault Localization through Ambiguity Group Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {91-90}, doi = {}, year = {2011}, } Article: ase11research-p066-p (type: Full paper) doi:
	Grov, Gudmund	ASE '11: "The CORE System: Animation ..." The CORE System: Animation and Functional Correctness of Pointer Programs Ewen Maclean, Andrew Ireland, and Gudmund Grov (Heriot-Watt University, UK; University of Edinburgh, UK) @InProceedings{ASE11p897, author = {Ewen Maclean and Andrew Ireland and Gudmund Grov}, title = {The CORE System: Animation and Functional Correctness of Pointer Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {897-896}, doi = {}, year = {2011}, } Article: ase11tool-id2-p (type: Tool Demonstration) doi:
	Grundy, John	ASE '11: "Improving Automated Documentation ..." Improving Automated Documentation to Code Traceability by Combining Retrieval Techniques Xiaofan Chen and John Grundy (University of Auckland, New Zealand; Swinburne University of Technology at Melbourne, Australia) @InProceedings{ASE11p231, author = {Xiaofan Chen and John Grundy}, title = {Improving Automated Documentation to Code Traceability by Combining Retrieval Techniques}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {231-230}, doi = {}, year = {2011}, } Article: ase11research-p042-p (type: Full paper) doi: ASE '11: "Generating Essential User ..." Generating Essential User Interface Prototypes to Validate Requirements Massila Kamalrudin and John Grundy (University of Auckland, New Zealand; Swinburne University of Technology at Hawthorn, Australia) @InProceedings{ASE11p861, author = {Massila Kamalrudin and John Grundy}, title = {Generating Essential User Interface Prototypes to Validate Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {861-860}, doi = {}, year = {2011}, } Article: ase11research-p356-p (type: Short paper) doi:
	Gupta, Aarti	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi: ASE '11: "BEST: A Symbolic Testing Tool ..." BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, and Gogul Balakrishnan (NEC Labs, USA; Columbia University, USA) @InProceedings{ASE11p905, author = {Malay K. Ganai and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan}, title = {BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2011}, } Article: ase11tool-id16-p (type: Tool Demonstration) doi:
	Hagiya, Masami	ASE '11: "Model Checking Distributed ..." Model Checking Distributed Systems by Combining Caching and Process Checkpointing Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto (University of Tokyo, Japan; National Institute of Advanced Industrial Science and Technology, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE11p111, author = {Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto}, title = {Model Checking Distributed Systems by Combining Caching and Process Checkpointing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {111-110}, doi = {}, year = {2011}, } Article: ase11research-p166-p (type: Full paper) doi:
	Haiduc, Sonia	ASE '11: "Automatically Detecting the ..." Automatically Detecting the Quality of the Query and its Implications in IR-based Concept Location Sonia Haiduc (Wayne State University, USA) @InProceedings{ASE11p946, author = {Sonia Haiduc}, title = {Automatically Detecting the Quality of the Query and its Implications in IR-based Concept Location}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {946-945}, doi = {}, year = {2011}, } Article: ase11doctoral-id7-p (type: Doctoral Paper) doi:
	Halfond, William G. J.	ASE '11: "Domain and Value Checking ..." Domain and Value Checking of Web Application Invocation Arguments William G. J. Halfond (University of Southern California, USA) @InProceedings{ASE11p811, author = {William G. J. Halfond}, title = {Domain and Value Checking of Web Application Invocation Arguments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {811-810}, doi = {}, year = {2011}, } Article: ase11research-p287-p (type: Short paper) doi:
	Hall, Robert J.	ASE '11: "The Capture Calculus Toolset ..." The Capture Calculus Toolset Robert J. Hall (AT&T Labs Research, USA) @InProceedings{ASE11p937, author = {Robert J. Hall}, title = {The Capture Calculus Toolset}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {937-936}, doi = {}, year = {2011}, } Article: ase11tool-id22-p (type: Tool Demonstration) doi:
	Harman, Mark	ASE '11: "Automated Web Application ..." Automated Web Application Testing Using Search Based Software Engineering Nadia Alshahwan and Mark Harman (UCL, UK) @InProceedings{ASE11p11, author = {Nadia Alshahwan and Mark Harman}, title = {Automated Web Application Testing Using Search Based Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2011}, } Article: ase11research-p034-p (type: Full paper) doi: ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Harrold, Mary Jean	ASE '11: "Localizing SQL Faults in Database ..." Localizing SQL Faults in Database Applications Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold (Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA) @InProceedings{ASE11p221, author = {Sarah R. Clark and Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Localizing SQL Faults in Database Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {221-220}, doi = {}, year = {2011}, } Article: ase11research-p280-p (type: Full paper) doi: ASE '11: "Heap Cloning: Enabling Dynamic ..." Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs Saswat Anand and Mary Jean Harrold (Georgia Tech, USA) @InProceedings{ASE11p41, author = {Saswat Anand and Mary Jean Harrold}, title = {Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2011}, } Article: ase11research-p308-p (type: Full paper) doi:
	Hassoun, Youssef	ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Hatala, Marek	ASE '11: "Automated Planning for Feature ..." Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gašević, and Ebrahim Bagheri (Simon Fraser University, Canada; Athabasca University, Canada) @InProceedings{ASE11p791, author = {Samaneh Soltani and Mohsen Asadi and Marek Hatala and Dragan Gašević and Ebrahim Bagheri}, title = {Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {791-790}, doi = {}, year = {2011}, } Article: ase11research-p268-p (type: Short paper) doi:
	Hegedüs, Ábel	ASE '11: "A Model-driven Framework for ..." A Model-driven Framework for Guided Design Space Exploration Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p181, author = {Ábel Hegedüs and Ákos Horváth and István Ráth and Dániel Varró}, title = {A Model-driven Framework for Guided Design Space Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {181-180}, doi = {}, year = {2011}, } Article: ase11research-p187-p (type: Full paper) doi: ASE '11: "Implementing Efficient Model ..." Implementing Efficient Model Validation in EMF Tools Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, } Article: ase11tool-id12-p (type: Tool Demonstration) doi:
	Hidaka, Soichiro	ASE '11: "GRoundTram: An Integrated ..." GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano (National Institute of Informatics, Japan; University of Electro-Communications, Japan) @InProceedings{ASE11p651, author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano}, title = {GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {651-650}, doi = {}, year = {2011}, } Article: ase11research-p195-p (type: Short paper) doi:
	Hill, Emily	ASE '11: "Improving Source Code Search ..." Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures Emily Hill, Lori Pollock, and K. Vijay-Shanker (Montclair State University, USA; University of Delaware, USA) @InProceedings{ASE11p761, author = {Emily Hill and Lori Pollock and K. Vijay-Shanker}, title = {Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {761-760}, doi = {}, year = {2011}, } Article: ase11research-p258-p (type: Short paper) doi:
	Hoi, Steven C. H.	ASE '11: "Software Process Evaluation: ..." Software Process Evaluation: A Machine Learning Approach Ning Chen, Steven C. H. Hoi, and Xiaokui Xiao (Nanyang Technological University, Singapore) @InProceedings{ASE11p341, author = {Ning Chen and Steven C. H. Hoi and Xiaokui Xiao}, title = {Software Process Evaluation: A Machine Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {341-340}, doi = {}, year = {2011}, } Article: ase11research-p213-p (type: Full paper) doi:
	Horton, Alexander	ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Horváth, Ákos	ASE '11: "A Model-driven Framework for ..." A Model-driven Framework for Guided Design Space Exploration Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p181, author = {Ábel Hegedüs and Ákos Horváth and István Ráth and Dániel Varró}, title = {A Model-driven Framework for Guided Design Space Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {181-180}, doi = {}, year = {2011}, } Article: ase11research-p187-p (type: Full paper) doi: ASE '11: "Towards Dynamic Backward Slicing ..." Towards Dynamic Backward Slicing of Model Transformations Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p461, author = {Zoltán Ujhelyi and Ákos Horváth and Dániel Varró}, title = {Towards Dynamic Backward Slicing of Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {461-460}, doi = {}, year = {2011}, } Article: ase11research-p065-p (type: Short paper) doi: ASE '11: "Implementing Efficient Model ..." Implementing Efficient Model Validation in EMF Tools Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, } Article: ase11tool-id12-p (type: Tool Demonstration) doi:
	Hu, Zhenjiang	ASE '11: "GRoundTram: An Integrated ..." GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano (National Institute of Informatics, Japan; University of Electro-Communications, Japan) @InProceedings{ASE11p651, author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano}, title = {GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {651-650}, doi = {}, year = {2011}, } Article: ase11research-p195-p (type: Short paper) doi:
	Huang, LiGuo	ASE '11: "AutoODC: Automated Generation ..." AutoODC: Automated Generation of Orthogonal Defect Classifications LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, } Article: ase11research-p071-p (type: Short paper) doi:
	Huber, Nikolaus	ASE '11: "Automated Extraction of Architecture-Level ..." Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems Fabian Brosig, Nikolaus Huber, and Samuel Kounev (KIT, Germany) @InProceedings{ASE11p191, author = {Fabian Brosig and Nikolaus Huber and Samuel Kounev}, title = {Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {191-190}, doi = {}, year = {2011}, } Article: ase11research-p247-p (type: Full paper) doi:
	Imoto, Takashi	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi:
	Inaba, Kazuhiro	ASE '11: "GRoundTram: An Integrated ..." GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano (National Institute of Informatics, Japan; University of Electro-Communications, Japan) @InProceedings{ASE11p651, author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano}, title = {GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {651-650}, doi = {}, year = {2011}, } Article: ase11research-p195-p (type: Short paper) doi:
	Insa, David	ASE '11: "An Optimal Strategy for Algorithmic ..." An Optimal Strategy for Algorithmic Debugging David Insa and Josep Silva (Universidad Politécnica de Valencia, Spain) @InProceedings{ASE11p211, author = {David Insa and Josep Silva}, title = {An Optimal Strategy for Algorithmic Debugging}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {211-210}, doi = {}, year = {2011}, } Article: ase11research-p174-p (type: Full paper) doi:
	Ireland, Andrew	ASE '11: "The CORE System: Animation ..." The CORE System: Animation and Functional Correctness of Pointer Programs Ewen Maclean, Andrew Ireland, and Gudmund Grov (Heriot-Watt University, UK; University of Edinburgh, UK) @InProceedings{ASE11p897, author = {Ewen Maclean and Andrew Ireland and Gudmund Grov}, title = {The CORE System: Animation and Functional Correctness of Pointer Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {897-896}, doi = {}, year = {2011}, } Article: ase11tool-id2-p (type: Tool Demonstration) doi:
	Ivančić, Franjo	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi:
	Jagannath, Vilas	ASE '11: "Fault-Localization Using Dynamic ..." Fault-Localization Using Dynamic Slicing and Change Impact Analysis Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim (Federal University of Pernambuco, Brazil; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p751, author = {Elton Alves and Milos Gligoric and Vilas Jagannath and Marcelo d'Amorim}, title = {Fault-Localization Using Dynamic Slicing and Change Impact Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {751-750}, doi = {}, year = {2011}, } Article: ase11research-p252-p (type: Short paper) doi:
	Jarzabek, Stan	ASE '11: "CloneDifferentiator: Analyzing ..." CloneDifferentiator: Analyzing Clones by Differentiation Zhenchang Xing, Yinxing Xue, and Stan Jarzabek (National University of Singapore, Singapore) @InProceedings{ASE11p885, author = {Zhenchang Xing and Yinxing Xue and Stan Jarzabek}, title = {CloneDifferentiator: Analyzing Clones by Differentiation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {885-884}, doi = {}, year = {2011}, } Article: ase11tool-id13-p (type: Tool Demonstration) doi:
	Jensen, Adam C.	ASE '11: "Automatically Exploring How ..." Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, and David B. Knoester (Michigan State University, USA) @InProceedings{ASE11p871, author = {Andres J. Ramirez and Adam C. Jensen and Betty H. C. Cheng and David B. Knoester}, title = {Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {871-870}, doi = {}, year = {2011}, } Article: ase11research-p357-p (type: Short paper) doi:
	Jiang, Jing	ASE '11: "Towards More Accurate Retrieval ..." Towards More Accurate Retrieval of Duplicate Bug Reports Chengnian Sun, David Lo, Siau-Cheng Khoo, and Jing Jiang (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ASE11p261, author = {Chengnian Sun and David Lo and Siau-Cheng Khoo and Jing Jiang}, title = {Towards More Accurate Retrieval of Duplicate Bug Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2011}, } Article: ase11research-p257-p (type: Full paper) doi: ASE '11: "Finding Relevant Answers in ..." Finding Relevant Answers in Software Forums Swapna Gottipati, David Lo, and Jing Jiang (Singapore Management University, Singapore) @InProceedings{ASE11p331, author = {Swapna Gottipati and David Lo and Jing Jiang}, title = {Finding Relevant Answers in Software Forums}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {331-330}, doi = {}, year = {2011}, } Article: ase11research-p106-p (type: Full paper) doi:
	Jiang, Lingxiao	ASE '11: "Search-Based Fault Localization ..." Search-Based Fault Localization Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau (Singapore Management University, Singapore) @InProceedings{ASE11p841, author = {Shaowei Wang and David Lo and Lingxiao Jiang and Lucia and Hoong Chuin Lau}, title = {Search-Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {841-840}, doi = {}, year = {2011}, } Article: ase11research-p324-p (type: Short paper) doi:
	Johnson, Jeremy	ASE '11: "Using Model-based Assurance ..." Using Model-based Assurance to Strengthen Diagnostic Procedures Robyn Lutz, Jeremy Johnson, and Ann Patterson-Hine (Jet Propulsion Lab, USA; Iowa State University, USA; NASA Ames, USA) @InProceedings{ASE11p741, author = {Robyn Lutz and Jeremy Johnson and Ann Patterson-Hine}, title = {Using Model-based Assurance to Strengthen Diagnostic Procedures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {741-740}, doi = {}, year = {2011}, } Article: ase11research-p249-p (type: Short paper) doi:
	Johnson, Ralph E.	ASE '11: "Differential Precondition ..." Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools Jeffrey L. Overbey and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p311, author = {Jeffrey L. Overbey and Ralph E. Johnson}, title = {Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {311-310}, doi = {}, year = {2011}, } Article: ase11research-p271-p (type: Full paper) doi:
	Jones, James A.	ASE '11: "Localizing SQL Faults in Database ..." Localizing SQL Faults in Database Applications Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold (Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA) @InProceedings{ASE11p221, author = {Sarah R. Clark and Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Localizing SQL Faults in Database Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {221-220}, doi = {}, year = {2011}, } Article: ase11research-p280-p (type: Full paper) doi: ASE '11: "History Slicing ..." History Slicing Francisco Servant and James A. Jones (UC Irvine, USA) @InProceedings{ASE11p581, author = {Francisco Servant and James A. Jones}, title = {History Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {581-580}, doi = {}, year = {2011}, } Article: ase11research-p136-p (type: Short paper) doi: ASE '11: "Inferred Dependence Coverage ..." Inferred Dependence Coverage to Support Fault Contextualization Fang Deng and James A. Jones (UC Irvine, USA) @InProceedings{ASE11p731, author = {Fang Deng and James A. Jones}, title = {Inferred Dependence Coverage to Support Fault Contextualization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {731-730}, doi = {}, year = {2011}, } Article: ase11research-p237-p (type: Short paper) doi:
	Just, René	ASE '11: "MAJOR: An Efficient and Extensible ..." MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler René Just, Franz Schweiggert, and Gregory M. Kapfhammer (Ulm University, Germany; Allegheny College, USA) @InProceedings{ASE11p921, author = {René Just and Franz Schweiggert and Gregory M. Kapfhammer}, title = {MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {921-920}, doi = {}, year = {2011}, } Article: ase11tool-id20-p (type: Tool Demonstration) doi:
	Kagdi, Huzefa	ASE '11: "An Adaptive Approach to Impact ..." An Adaptive Approach to Impact Analysis from Change Requests to Source Code Malcom Gethers, Huzefa Kagdi, Bogdan Dit, and Denys Poshyvanyk (College of William and Mary, USA; Wichita State University, USA) @InProceedings{ASE11p801, author = {Malcom Gethers and Huzefa Kagdi and Bogdan Dit and Denys Poshyvanyk}, title = {An Adaptive Approach to Impact Analysis from Change Requests to Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {801-800}, doi = {}, year = {2011}, } Article: ase11research-p276-p (type: Short paper) doi:
	Kamalrudin, Massila	ASE '11: "Generating Essential User ..." Generating Essential User Interface Prototypes to Validate Requirements Massila Kamalrudin and John Grundy (University of Auckland, New Zealand; Swinburne University of Technology at Hawthorn, Australia) @InProceedings{ASE11p861, author = {Massila Kamalrudin and John Grundy}, title = {Generating Essential User Interface Prototypes to Validate Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {861-860}, doi = {}, year = {2011}, } Article: ase11research-p356-p (type: Short paper) doi:
	Kamensky, David	ASE '11: "Statistical Debugging with ..." Statistical Debugging with Elastic Predicates Ross Gore, Paul F. Reynolds, Jr., and David Kamensky (University of Virginia, USA; University of Texas at Austin, USA) @InProceedings{ASE11p681, author = {Ross Gore and Paul F. Reynolds, Jr. and David Kamensky}, title = {Statistical Debugging with Elastic Predicates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {681-680}, doi = {}, year = {2011}, } Article: ase11research-p206-p (type: Short paper) doi:
	Kapfhammer, Gregory M.	ASE '11: "Localizing SQL Faults in Database ..." Localizing SQL Faults in Database Applications Sarah R. Clark, Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold (Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA) @InProceedings{ASE11p221, author = {Sarah R. Clark and Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Localizing SQL Faults in Database Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {221-220}, doi = {}, year = {2011}, } Article: ase11research-p280-p (type: Full paper) doi: ASE '11: "MAJOR: An Efficient and Extensible ..." MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler René Just, Franz Schweiggert, and Gregory M. Kapfhammer (Ulm University, Germany; Allegheny College, USA) @InProceedings{ASE11p921, author = {René Just and Franz Schweiggert and Gregory M. Kapfhammer}, title = {MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {921-920}, doi = {}, year = {2011}, } Article: ase11tool-id20-p (type: Tool Demonstration) doi:
	Kato, Hiroyuki	ASE '11: "GRoundTram: An Integrated ..." GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano (National Institute of Informatics, Japan; University of Electro-Communications, Japan) @InProceedings{ASE11p651, author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano}, title = {GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {651-650}, doi = {}, year = {2011}, } Article: ase11research-p195-p (type: Short paper) doi:
	Katz, Randy	ASE '11: "Precomputing Possible Configuration ..." Precomputing Possible Configuration Error Diagnoses Ariel Rabkin and Randy Katz (UC Berkeley, USA) @InProceedings{ASE11p201, author = {Ariel Rabkin and Randy Katz}, title = {Precomputing Possible Configuration Error Diagnoses}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {201-200}, doi = {}, year = {2011}, } Article: ase11research-p040-p (type: Full paper) doi:
	Kehrer, Timo	ASE '11: "A Rule-Based Approach to the ..." A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning Timo Kehrer, Udo Kelter, and Gabriele Taentzer (University of Siegen, Germany; Philipps-Universität Marburg, Germany) @InProceedings{ASE11p171, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {171-170}, doi = {}, year = {2011}, } Article: ase11research-p159-p (type: Full paper) doi:
	Kellens, Andy	ASE '11: "Mendel: Source Code Recommendation ..." Mendel: Source Code Recommendation based on a Genetic Metaphor Angela Lozano, Andy Kellens, and Kim Mens (Université Catholique de Louvain, Belgium; Vrije Universiteit Brussel, Belgium) @InProceedings{ASE11p411, author = {Angela Lozano and Andy Kellens and Kim Mens}, title = {Mendel: Source Code Recommendation based on a Genetic Metaphor}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {411-410}, doi = {}, year = {2011}, } Article: ase11research-p051-p (type: Short paper) doi:
	Kelter, Udo	ASE '11: "A Rule-Based Approach to the ..." A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning Timo Kehrer, Udo Kelter, and Gabriele Taentzer (University of Siegen, Germany; Philipps-Universität Marburg, Germany) @InProceedings{ASE11p171, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {171-170}, doi = {}, year = {2011}, } Article: ase11research-p159-p (type: Full paper) doi: ASE '11: "Generating Realistic Test ..." Generating Realistic Test Models for Model Processing Tools Pit Pietsch, Hamed Shariat Yazdi, and Udo Kelter (University of Siegen, Germany) @InProceedings{ASE11p929, author = {Pit Pietsch and Hamed Shariat Yazdi and Udo Kelter}, title = {Generating Realistic Test Models for Model Processing Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {929-928}, doi = {}, year = {2011}, } Article: ase11tool-id8-p (type: Tool Demonstration) doi:
	Khalek, Shadi Abdul	ASE '11: "Mixed Constraints for Test ..." Mixed Constraints for Test Input Generation – An Initial Exploration Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{ASE11p821, author = {Shadi Abdul Khalek and Vidya Priyadarshini Narayanan and Sarfraz Khurshid}, title = {Mixed Constraints for Test Input Generation – An Initial Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {821-820}, doi = {}, year = {2011}, } Article: ase11research-p305-p (type: Short paper) doi: ASE '11: "TestEra: A Tool for Testing ..." TestEra: A Tool for Testing Java Programs Using Alloy Specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p917, author = {Shadi Abdul Khalek and Guowei Yang and Lingming Zhang and Darko Marinov and Sarfraz Khurshid}, title = {TestEra: A Tool for Testing Java Programs Using Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {917-916}, doi = {}, year = {2011}, } Article: ase11tool-id25-p (type: Tool Demonstration) doi:
	Khoo, Siau-Cheng	ASE '11: "Towards More Accurate Retrieval ..." Towards More Accurate Retrieval of Duplicate Bug Reports Chengnian Sun, David Lo, Siau-Cheng Khoo, and Jing Jiang (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ASE11p261, author = {Chengnian Sun and David Lo and Siau-Cheng Khoo and Jing Jiang}, title = {Towards More Accurate Retrieval of Duplicate Bug Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2011}, } Article: ase11research-p257-p (type: Full paper) doi:
	Khurshid, Sarfraz	ASE '11: "A Case for Alloy Annotations ..." A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers Svetoslav Ganov, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE11p611, author = {Svetoslav Ganov and Sarfraz Khurshid and Dewayne E. Perry}, title = {A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {611-610}, doi = {}, year = {2011}, } Article: ase11research-p150-p (type: Short paper) doi: ASE '11: "Mixed Constraints for Test ..." Mixed Constraints for Test Input Generation – An Initial Exploration Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{ASE11p821, author = {Shadi Abdul Khalek and Vidya Priyadarshini Narayanan and Sarfraz Khurshid}, title = {Mixed Constraints for Test Input Generation – An Initial Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {821-820}, doi = {}, year = {2011}, } Article: ase11research-p305-p (type: Short paper) doi: ASE '11: "TestEra: A Tool for Testing ..." TestEra: A Tool for Testing Java Programs Using Alloy Specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p917, author = {Shadi Abdul Khalek and Guowei Yang and Lingming Zhang and Darko Marinov and Sarfraz Khurshid}, title = {TestEra: A Tool for Testing Java Programs Using Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {917-916}, doi = {}, year = {2011}, } Article: ase11tool-id25-p (type: Tool Demonstration) doi:
	Kimmig, Markus	ASE '11: "Querying Source Code with ..." Querying Source Code with Natural Language Markus Kimmig, Martin Monperrus, and Mira Mezini (TU Darmstadt, Germany; University of Lille, France) @InProceedings{ASE11p391, author = {Markus Kimmig and Martin Monperrus and Mira Mezini}, title = {Querying Source Code with Natural Language}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {391-390}, doi = {}, year = {2011}, } Article: ase11research-p028-p (type: Short paper) doi:
	Kinder, Johannes	ASE '11: "Supporting Domain-Specific ..." Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri (TU Darmstadt, Germany; EPFL, Switzerland; Yahoo! Research Barcelona, Spain) @InProceedings{ASE11p121, author = {Péter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri}, title = {Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {121-120}, doi = {}, year = {2011}, } Article: ase11research-p189-p (type: Full paper) doi:
	King, Irwin	ASE '11: "Mining Test Oracles of Web ..." Mining Test Oracles of Web Search Engines Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King (Chinese University of Hong Kong, China; Microsoft Research, USA; North Carolina State University, USA; AT&T Labs Research, USA) @InProceedings{ASE11p471, author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King}, title = {Mining Test Oracles of Web Search Engines}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {471-470}, doi = {}, year = {2011}, } Article: ase11research-p070-p (type: Short paper) doi:
	Knoester, David B.	ASE '11: "Automatically Exploring How ..." Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, and David B. Knoester (Michigan State University, USA) @InProceedings{ASE11p871, author = {Andres J. Ramirez and Adam C. Jensen and Betty H. C. Cheng and David B. Knoester}, title = {Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {871-870}, doi = {}, year = {2011}, } Article: ase11research-p357-p (type: Short paper) doi:
	Kounev, Samuel	ASE '11: "Automated Extraction of Architecture-Level ..." Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems Fabian Brosig, Nikolaus Huber, and Samuel Kounev (KIT, Germany) @InProceedings{ASE11p191, author = {Fabian Brosig and Nikolaus Huber and Samuel Kounev}, title = {Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {191-190}, doi = {}, year = {2011}, } Article: ase11research-p247-p (type: Full paper) doi: ASE '11: "Capacity Planning for Event-based ..." Capacity Planning for Event-based Systems using Automated Performance Predictions Christoph Rathfelder, Samuel Kounev, and David Evans (FZI, Germany; KIT, Germany; University of Cambridge, UK) @InProceedings{ASE11p361, author = {Christoph Rathfelder and Samuel Kounev and David Evans}, title = {Capacity Planning for Event-based Systems using Automated Performance Predictions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {361-360}, doi = {}, year = {2011}, } Article: ase11research-p032-p (type: Full paper) doi:
	Kowshik, Sumant	ASE '11: "PRECIS: Inferring Invariants ..." PRECIS: Inferring Invariants using Program Path Guided Clustering Parth Sagdeo, Viraj Athavale, Sumant Kowshik, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p781, author = {Parth Sagdeo and Viraj Athavale and Sumant Kowshik and Shobha Vasudevan}, title = {PRECIS: Inferring Invariants using Program Path Guided Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {781-780}, doi = {}, year = {2011}, } Article: ase11research-p264-p (type: Short paper) doi:
	Krueger, Ingolf	ASE '11: "Tracing Requirements to Tests ..." Tracing Requirements to Tests with High Precision and Recall Celal Ziftci and Ingolf Krueger (UC San Diego, USA) @InProceedings{ASE11p631, author = {Celal Ziftci and Ingolf Krueger}, title = {Tracing Requirements to Tests with High Precision and Recall}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {631-630}, doi = {}, year = {2011}, } Article: ase11research-p171-p (type: Short paper) doi:
	Lahire, Philippe	ASE '11: "Slicing Feature Models ..." Slicing Feature Models Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p511, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Slicing Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {511-510}, doi = {}, year = {2011}, } Article: ase11research-p079-p (type: Short paper) doi: ASE '11: "Decomposing Feature Models: ..." Decomposing Feature Models: Language, Environment, and Applications Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France (Université Nice Sophia Antipolis/CNRS, France; Colorado State University, USA) @InProceedings{ASE11p909, author = {Mathieu Acher and Philippe Collet and Philippe Lahire and Robert B. France}, title = {Decomposing Feature Models: Language, Environment, and Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {909-908}, doi = {}, year = {2011}, } Article: ase11tool-id24-p (type: Tool Demonstration) doi:
	Lakhotia, Kiran	ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Lanza, Michele	ASE '11: "Extracting Structured Data ..." Extracting Structured Data from Natural Language Documents with Island Parsing Alberto Bacchelli, Anthony Cleve, Michele Lanza, and Andrea Mocci (University of Lugano, Switzerland; University of Namur, Belgium; Politecnico di Milano, Italy) @InProceedings{ASE11p641, author = {Alberto Bacchelli and Anthony Cleve and Michele Lanza and Andrea Mocci}, title = {Extracting Structured Data from Natural Language Documents with Island Parsing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {641-640}, doi = {}, year = {2011}, } Article: ase11research-p190-p (type: Short paper) doi:
	Lau, Hoong Chuin	ASE '11: "Search-Based Fault Localization ..." Search-Based Fault Localization Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau (Singapore Management University, Singapore) @InProceedings{ASE11p841, author = {Shaowei Wang and David Lo and Lingxiao Jiang and Lucia and Hoong Chuin Lau}, title = {Search-Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {841-840}, doi = {}, year = {2011}, } Article: ase11research-p324-p (type: Short paper) doi:
	Lauenroth, Kim	ASE '11: "A Performance Comparison of ..." A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models Richard Pohl, Kim Lauenroth, and Klaus Pohl (University of Duisburg-Essen, Germany) @InProceedings{ASE11p321, author = {Richard Pohl and Kim Lauenroth and Klaus Pohl}, title = {A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {321-320}, doi = {}, year = {2011}, } Article: ase11research-p017-p (type: Full paper) doi:
	Leungwattanakit, Watcharin	ASE '11: "Model Checking Distributed ..." Model Checking Distributed Systems by Combining Caching and Process Checkpointing Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto (University of Tokyo, Japan; National Institute of Advanced Industrial Science and Technology, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE11p111, author = {Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto}, title = {Model Checking Distributed Systems by Combining Caching and Process Checkpointing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {111-110}, doi = {}, year = {2011}, } Article: ase11research-p166-p (type: Full paper) doi:
	Leva, Alberto	ASE '11: "Self-Adaptive Software Meets ..." Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio (Politecnico di Milano, Italy) @InProceedings{ASE11p291, author = {Antonio Filieri and Carlo Ghezzi and Alberto Leva and Martina Maggio}, title = {Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {291-290}, doi = {}, year = {2011}, } Article: ase11research-p013-p (type: Full paper) doi:
	Levin, Vladimir	ASE '11: "Formalizing Hardware/Software ..." Formalizing Hardware/Software Interface Specifications Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey (Microsoft Inc., USA; Portland State University, USA) @InProceedings{ASE11p151, author = {Juncao Li and Fei Xie and Thomas Ball and Vladimir Levin and Con McGarvey}, title = {Formalizing Hardware/Software Interface Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2011}, } Article: ase11research-p105-p (type: Full paper) doi:
	Lhoták, Ondřej	ASE '11: "Identifying Future Field Accesses ..." Identifying Future Field Accesses in Exhaustive State Space Traversal Pavel Parízek and Ondřej Lhoták (University of Waterloo, Canada) @InProceedings{ASE11p101, author = {Pavel Parízek and Ondřej Lhoták}, title = {Identifying Future Field Accesses in Exhaustive State Space Traversal}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {101-100}, doi = {}, year = {2011}, } Article: ase11research-p033-p (type: Full paper) doi:
	Li, Bixin	ASE '11: "Using Formal Concept Analysis ..." Using Formal Concept Analysis to Support Change Analysis Xiaobing Sun and Bixin Li (Southeast University, China) @InProceedings{ASE11p951, author = {Xiaobing Sun and Bixin Li}, title = {Using Formal Concept Analysis to Support Change Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {951-950}, doi = {}, year = {2011}, } Article: ase11doctoral-id1-p (type: Doctoral Paper) doi:
	Li, Ge	ASE '11: "APIExample: An Effective Web ..." APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang (Peking University, China) @InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, } Article: ase11tool-id10-p (type: Tool Demonstration) doi:
	Li, Juncao	ASE '11: "Formalizing Hardware/Software ..." Formalizing Hardware/Software Interface Specifications Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey (Microsoft Inc., USA; Portland State University, USA) @InProceedings{ASE11p151, author = {Juncao Li and Fei Xie and Thomas Ball and Vladimir Levin and Con McGarvey}, title = {Formalizing Hardware/Software Interface Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2011}, } Article: ase11research-p105-p (type: Full paper) doi:
	Li, Nuo	ASE '11: "Scaling Up Automated Test ..." Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, and Nuo Li (ABB Corporate Research, USA; University of Washington, USA; MIT, USA; ABB Robotics, Cyprus) @InProceedings{ASE11p31, author = {Brian Robinson and Michael D. Ernst and Jeff H. Perkins and Vinay Augustine and Nuo Li}, title = {Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2011}, } Article: ase11research-p236-p (type: Full paper) doi:
	Li, Wenbin	ASE '11: "Toward Consistency Checking ..." Toward Consistency Checking of Natural Language Temporal Requirements Wenbin Li (University of Kentucky, USA) @InProceedings{ASE11p961, author = {Wenbin Li}, title = {Toward Consistency Checking of Natural Language Temporal Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {961-960}, doi = {}, year = {2011}, } Article: ase11doctoral-id4-p (type: Doctoral Paper) doi:
	Li, Xuandong	ASE '11: "Run-time Systems Failure Prediction ..." Run-time Systems Failure Prediction via Proactive Monitoring Pengcheng Zhang, Henry Muccini, Andrea Polini, and Xuandong Li (Nanjing University, China; Hohai University, China; University of L'Aquila, Italy; University of Camerino, Italy) @InProceedings{ASE11p661, author = {Pengcheng Zhang and Henry Muccini and Andrea Polini and Xuandong Li}, title = {Run-time Systems Failure Prediction via Proactive Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {661-660}, doi = {}, year = {2011}, } Article: ase11research-p203-p (type: Short paper) doi:
	Liang, Guangtai	ASE '11: "Iterative Mining of Resource-Releasing ..." Iterative Mining of Resource-Releasing Specifications Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; North Carolina State University, USA) @InProceedings{ASE11p241, author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei}, title = {Iterative Mining of Resource-Releasing Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {241-240}, doi = {}, year = {2011}, } Article: ase11research-p090-p (type: Full paper) doi:
	Liu, Changsheng	ASE '11: "Finding the Merits and Drawbacks ..." Finding the Merits and Drawbacks of Software Resources from Comments Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei (Peking University, China) @InProceedings{ASE11p531, author = {Changsheng Liu and Yanzhen Zou and Sibo Cai and Bing Xie and Hong Mei}, title = {Finding the Merits and Drawbacks of Software Resources from Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2011}, } Article: ase11research-p110-p (type: Short paper) doi:
	Liu, Yang	ASE '11: "A Symbolic Model Checking ..." A Symbolic Model Checking Framework for Hierarchical Systems Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ASE11p942, author = {Truong Khanh Nguyen and Jun Sun and Yang Liu and Jin Song Dong}, title = {A Symbolic Model Checking Framework for Hierarchical Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {942-941}, doi = {}, year = {2011}, } Article: ase11tool-id21-p (type: Tool Demonstration) doi:
	Lo, David	ASE '11: "Towards More Accurate Retrieval ..." Towards More Accurate Retrieval of Duplicate Bug Reports Chengnian Sun, David Lo, Siau-Cheng Khoo, and Jing Jiang (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ASE11p261, author = {Chengnian Sun and David Lo and Siau-Cheng Khoo and Jing Jiang}, title = {Towards More Accurate Retrieval of Duplicate Bug Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2011}, } Article: ase11research-p257-p (type: Full paper) doi: ASE '11: "Finding Relevant Answers in ..." Finding Relevant Answers in Software Forums Swapna Gottipati, David Lo, and Jing Jiang (Singapore Management University, Singapore) @InProceedings{ASE11p331, author = {Swapna Gottipati and David Lo and Jing Jiang}, title = {Finding Relevant Answers in Software Forums}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {331-330}, doi = {}, year = {2011}, } Article: ase11research-p106-p (type: Full paper) doi: ASE '11: "Search-Based Fault Localization ..." Search-Based Fault Localization Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau (Singapore Management University, Singapore) @InProceedings{ASE11p841, author = {Shaowei Wang and David Lo and Lingxiao Jiang and Lucia and Hoong Chuin Lau}, title = {Search-Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {841-840}, doi = {}, year = {2011}, } Article: ase11research-p324-p (type: Short paper) doi:
	Lozano, Angela	ASE '11: "Mendel: Source Code Recommendation ..." Mendel: Source Code Recommendation based on a Genetic Metaphor Angela Lozano, Andy Kellens, and Kim Mens (Université Catholique de Louvain, Belgium; Vrije Universiteit Brussel, Belgium) @InProceedings{ASE11p411, author = {Angela Lozano and Andy Kellens and Kim Mens}, title = {Mendel: Source Code Recommendation based on a Genetic Metaphor}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {411-410}, doi = {}, year = {2011}, } Article: ase11research-p051-p (type: Short paper) doi:
	Lucia	ASE '11: "Search-Based Fault Localization ..." Search-Based Fault Localization Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau (Singapore Management University, Singapore) @InProceedings{ASE11p841, author = {Shaowei Wang and David Lo and Lingxiao Jiang and Lucia and Hoong Chuin Lau}, title = {Search-Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {841-840}, doi = {}, year = {2011}, } Article: ase11research-p324-p (type: Short paper) doi:
	Lumpe, Markus	ASE '11: "jCT: A Java Code Tomograph ..." jCT: A Java Code Tomograph Markus Lumpe, Samiran Mahmud, and Olga Goloshchapova (Swinburne University of Technology at Hawthorn, Australia) @InProceedings{ASE11p925, author = {Markus Lumpe and Samiran Mahmud and Olga Goloshchapova}, title = {jCT: A Java Code Tomograph}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {925-924}, doi = {}, year = {2011}, } Article: ase11tool-id1-p (type: Tool Demonstration) doi:
	Lutz, Robyn	ASE '11: "Using Model-based Assurance ..." Using Model-based Assurance to Strengthen Diagnostic Procedures Robyn Lutz, Jeremy Johnson, and Ann Patterson-Hine (Jet Propulsion Lab, USA; Iowa State University, USA; NASA Ames, USA) @InProceedings{ASE11p741, author = {Robyn Lutz and Jeremy Johnson and Ann Patterson-Hine}, title = {Using Model-based Assurance to Strengthen Diagnostic Procedures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {741-740}, doi = {}, year = {2011}, } Article: ase11research-p249-p (type: Short paper) doi:
	Lynch, Kevin	ASE '11: "Diagnosis of Software Failures ..." Diagnosis of Software Failures Using Computational Geometry Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis (Drexel University, USA) @InProceedings{ASE11p691, author = {Edward Stehle and Kevin Lynch and Maxim Shevertalov and Chris Rorres and Spiros Mancoridis}, title = {Diagnosis of Software Failures Using Computational Geometry}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {691-690}, doi = {}, year = {2011}, } Article: ase11research-p207-p (type: Short paper) doi:
	Lyu, Michael R.	ASE '11: "Mining Test Oracles of Web ..." Mining Test Oracles of Web Search Engines Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King (Chinese University of Hong Kong, China; Microsoft Research, USA; North Carolina State University, USA; AT&T Labs Research, USA) @InProceedings{ASE11p471, author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King}, title = {Mining Test Oracles of Web Search Engines}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {471-470}, doi = {}, year = {2011}, } Article: ase11research-p070-p (type: Short paper) doi:
	Ma, Hao	ASE '11: "Mining Test Oracles of Web ..." Mining Test Oracles of Web Search Engines Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King (Chinese University of Hong Kong, China; Microsoft Research, USA; North Carolina State University, USA; AT&T Labs Research, USA) @InProceedings{ASE11p471, author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King}, title = {Mining Test Oracles of Web Search Engines}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {471-470}, doi = {}, year = {2011}, } Article: ase11research-p070-p (type: Short paper) doi:
	Maclean, Ewen	ASE '11: "The CORE System: Animation ..." The CORE System: Animation and Functional Correctness of Pointer Programs Ewen Maclean, Andrew Ireland, and Gudmund Grov (Heriot-Watt University, UK; University of Edinburgh, UK) @InProceedings{ASE11p897, author = {Ewen Maclean and Andrew Ireland and Gudmund Grov}, title = {The CORE System: Animation and Functional Correctness of Pointer Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {897-896}, doi = {}, year = {2011}, } Article: ase11tool-id2-p (type: Tool Demonstration) doi:
	Mäder, Patrick	ASE '11: "Flexible Design Pattern Detection ..." Flexible Design Pattern Detection Based on Feature Types Ghulam Rasool and Patrick Mäder (COMSATS Institute of Information Technology, Pakistan; Johannes Kepler University, Austria) @InProceedings{ASE11p251, author = {Ghulam Rasool and Patrick Mäder}, title = {Flexible Design Pattern Detection Based on Feature Types}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {251-250}, doi = {}, year = {2011}, } Article: ase11research-p172-p (type: Full paper) doi: ASE '11: "Do Software Engineers Benefit ..." Do Software Engineers Benefit from Source Code Navigation with Traceability? – An Experiment in Software Change Management Patrick Mäder and Alexander Egyed (Johannes Kepler University, Austria) @InProceedings{ASE11p561, author = {Patrick Mäder and Alexander Egyed}, title = {Do Software Engineers Benefit from Source Code Navigation with Traceability? – An Experiment in Software Change Management}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {561-560}, doi = {}, year = {2011}, } Article: ase11research-p125-p (type: Short paper) doi:
	Madria, Sanjay K.	ASE '11: "Exploring Caching for Efficient ..." Exploring Caching for Efficient Collection Operations Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay K. Madria, and Thomas Weigert (Missouri University of Science and Technology, USA) @InProceedings{ASE11p621, author = {Swetha Surapaneni and Venkata Krishna Suhas Nerella and Sanjay K. Madria and Thomas Weigert}, title = {Exploring Caching for Efficient Collection Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {621-620}, doi = {}, year = {2011}, } Article: ase11research-p169-p (type: Short paper) doi:
	Maeda, Naoto	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi:
	Maggio, Martina	ASE '11: "Self-Adaptive Software Meets ..." Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio (Politecnico di Milano, Italy) @InProceedings{ASE11p291, author = {Antonio Filieri and Carlo Ghezzi and Alberto Leva and Martina Maggio}, title = {Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {291-290}, doi = {}, year = {2011}, } Article: ase11research-p013-p (type: Full paper) doi:
	Mahmud, Samiran	ASE '11: "jCT: A Java Code Tomograph ..." jCT: A Java Code Tomograph Markus Lumpe, Samiran Mahmud, and Olga Goloshchapova (Swinburne University of Technology at Hawthorn, Australia) @InProceedings{ASE11p925, author = {Markus Lumpe and Samiran Mahmud and Olga Goloshchapova}, title = {jCT: A Java Code Tomograph}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {925-924}, doi = {}, year = {2011}, } Article: ase11tool-id1-p (type: Tool Demonstration) doi:
	Malburg, Jan	ASE '11: "Combining Search-based and ..." Combining Search-based and Constraint-based Testing Jan Malburg and Gordon Fraser (Saarland University, Germany) @InProceedings{ASE11p541, author = {Jan Malburg and Gordon Fraser}, title = {Combining Search-based and Constraint-based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {541-540}, doi = {}, year = {2011}, } Article: ase11research-p111-p (type: Short paper) doi:
	Mancoridis, Spiros	ASE '11: "Diagnosis of Software Failures ..." Diagnosis of Software Failures Using Computational Geometry Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis (Drexel University, USA) @InProceedings{ASE11p691, author = {Edward Stehle and Kevin Lynch and Maxim Shevertalov and Chris Rorres and Spiros Mancoridis}, title = {Diagnosis of Software Failures Using Computational Geometry}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {691-690}, doi = {}, year = {2011}, } Article: ase11research-p207-p (type: Short paper) doi:
	Maras, Josip	ASE '11: "Client-side Web Application ..." Client-side Web Application Slicing Josip Maras, Jan Carlson, and Ivica Crnković (University of Split, Croatia; Mälardalen University, Sweden) @InProceedings{ASE11p711, author = {Josip Maras and Jan Carlson and Ivica Crnković}, title = {Client-side Web Application Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {711-710}, doi = {}, year = {2011}, } Article: ase11research-p226-p (type: Short paper) doi:
	Marcus, Andrian	ASE '11: "Local vs. Global Models for ..." Local vs. Global Models for Effort Estimation and Defect Prediction Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, and David Cok (West Virginia University, USA; Wayne State University, USA; Microsoft Research, USA; GrammaTech Inc., USA) @InProceedings{ASE11p351, author = {Tim Menzies and Andrew Butcher and Andrian Marcus and Thomas Zimmermann and David Cok}, title = {Local vs. Global Models for Effort Estimation and Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {351-350}, doi = {}, year = {2011}, } Article: ase11research-p273-p (type: Full paper) doi:
	Marinov, Darko	ASE '11: "TestEra: A Tool for Testing ..." TestEra: A Tool for Testing Java Programs Using Alloy Specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p917, author = {Shadi Abdul Khalek and Guowei Yang and Lingming Zhang and Darko Marinov and Sarfraz Khurshid}, title = {TestEra: A Tool for Testing Java Programs Using Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {917-916}, doi = {}, year = {2011}, } Article: ase11tool-id25-p (type: Tool Demonstration) doi:
	Mattmann, Chris	ASE '11: "Enhancing Architectural Recovery ..." Enhancing Architectural Recovery Using Concerns Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, and Yuanfang Cai (University of Southern California, USA; Jet Propulsion Laboratory, USA; Drexel University, USA) @InProceedings{ASE11p831, author = {Joshua Garcia and Daniel Popescu and Chris Mattmann and Nenad Medvidovic and Yuanfang Cai}, title = {Enhancing Architectural Recovery Using Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {831-830}, doi = {}, year = {2011}, } Article: ase11research-p315-p (type: Short paper) doi:
	McGarvey, Con	ASE '11: "Formalizing Hardware/Software ..." Formalizing Hardware/Software Interface Specifications Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey (Microsoft Inc., USA; Portland State University, USA) @InProceedings{ASE11p151, author = {Juncao Li and Fei Xie and Thomas Ball and Vladimir Levin and Con McGarvey}, title = {Formalizing Hardware/Software Interface Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2011}, } Article: ase11research-p105-p (type: Full paper) doi:
	McMinn, Phil	ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Medvidovic, Nenad	ASE '11: "Isomorphism in Model Tools ..." Isomorphism in Model Tools and Editors George Edwards, Yuriy Brun, and Nenad Medvidovic (Blue Cell Software, USA; University of Washington, USA; University of Southern California, USA) @InProceedings{ASE11p601, author = {George Edwards and Yuriy Brun and Nenad Medvidovic}, title = {Isomorphism in Model Tools and Editors}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {601-600}, doi = {}, year = {2011}, } Article: ase11research-p147-p (type: Short paper) doi: ASE '11: "Enhancing Architectural Recovery ..." Enhancing Architectural Recovery Using Concerns Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, and Yuanfang Cai (University of Southern California, USA; Jet Propulsion Laboratory, USA; Drexel University, USA) @InProceedings{ASE11p831, author = {Joshua Garcia and Daniel Popescu and Chris Mattmann and Nenad Medvidovic and Yuanfang Cai}, title = {Enhancing Architectural Recovery Using Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {831-830}, doi = {}, year = {2011}, } Article: ase11research-p315-p (type: Short paper) doi:
	Mehlitz, Peter	ASE '11: "JPF-AWT: Model Checking GUI ..." JPF-AWT: Model Checking GUI Applications Peter Mehlitz, Oksana Tkachuk, and Mateusz Ujma (NASA Ames, USA; University of Oxford, UK) @InProceedings{ASE11p893, author = {Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma}, title = {JPF-AWT: Model Checking GUI Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {893-892}, doi = {}, year = {2011}, } Article: ase11tool-id23-p (type: Tool Demonstration) doi:
	Mei, Hong	ASE '11: "Iterative Mining of Resource-Releasing ..." Iterative Mining of Resource-Releasing Specifications Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; North Carolina State University, USA) @InProceedings{ASE11p241, author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei}, title = {Iterative Mining of Resource-Releasing Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {241-240}, doi = {}, year = {2011}, } Article: ase11research-p090-p (type: Full paper) doi: ASE '11: "Finding the Merits and Drawbacks ..." Finding the Merits and Drawbacks of Software Resources from Comments Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei (Peking University, China) @InProceedings{ASE11p531, author = {Changsheng Liu and Yanzhen Zou and Sibo Cai and Bing Xie and Hong Mei}, title = {Finding the Merits and Drawbacks of Software Resources from Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2011}, } Article: ase11research-p110-p (type: Short paper) doi:
	Mens, Kim	ASE '11: "Mendel: Source Code Recommendation ..." Mendel: Source Code Recommendation based on a Genetic Metaphor Angela Lozano, Andy Kellens, and Kim Mens (Université Catholique de Louvain, Belgium; Vrije Universiteit Brussel, Belgium) @InProceedings{ASE11p411, author = {Angela Lozano and Andy Kellens and Kim Mens}, title = {Mendel: Source Code Recommendation based on a Genetic Metaphor}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {411-410}, doi = {}, year = {2011}, } Article: ase11research-p051-p (type: Short paper) doi:
	Menzies, Tim	ASE '11: "Local vs. Global Models for ..." Local vs. Global Models for Effort Estimation and Defect Prediction Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, and David Cok (West Virginia University, USA; Wayne State University, USA; Microsoft Research, USA; GrammaTech Inc., USA) @InProceedings{ASE11p351, author = {Tim Menzies and Andrew Butcher and Andrian Marcus and Thomas Zimmermann and David Cok}, title = {Local vs. Global Models for Effort Estimation and Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {351-350}, doi = {}, year = {2011}, } Article: ase11research-p273-p (type: Full paper) doi:
	Mercer, Eric G.	ASE '11: "Guided Test Visualization: ..." Guided Test Visualization: Making Sense of Errors in Concurrent Programs Saint Wesonga, Eric G. Mercer, and Neha Rungta (Brigham Young University, USA; NASA Ames, USA) @InProceedings{ASE11p933, author = {Saint Wesonga and Eric G. Mercer and Neha Rungta}, title = {Guided Test Visualization: Making Sense of Errors in Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {933-932}, doi = {}, year = {2011}, } Article: ase11tool-id18-p (type: Tool Demonstration) doi:
	Meyer, Bertrand	ASE '11: "Code-Based Automated Program ..." Code-Based Automated Program Fixing Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p431, author = {Yu Pei and Yi Wei and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Code-Based Automated Program Fixing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {431-430}, doi = {}, year = {2011}, } Article: ase11research-p058-p (type: Short paper) doi: ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Mezini, Mira	ASE '11: "Querying Source Code with ..." Querying Source Code with Natural Language Markus Kimmig, Martin Monperrus, and Mira Mezini (TU Darmstadt, Germany; University of Lille, France) @InProceedings{ASE11p391, author = {Markus Kimmig and Martin Monperrus and Mira Mezini}, title = {Querying Source Code with Natural Language}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {391-390}, doi = {}, year = {2011}, } Article: ase11research-p028-p (type: Short paper) doi:
	Miyazaki, Yoshiaki	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi:
	Mocci, Andrea	ASE '11: "Extracting Structured Data ..." Extracting Structured Data from Natural Language Documents with Island Parsing Alberto Bacchelli, Anthony Cleve, Michele Lanza, and Andrea Mocci (University of Lugano, Switzerland; University of Namur, Belgium; Politecnico di Milano, Italy) @InProceedings{ASE11p641, author = {Alberto Bacchelli and Anthony Cleve and Michele Lanza and Andrea Mocci}, title = {Extracting Structured Data from Natural Language Documents with Island Parsing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {641-640}, doi = {}, year = {2011}, } Article: ase11research-p190-p (type: Short paper) doi:
	Monperrus, Martin	ASE '11: "Querying Source Code with ..." Querying Source Code with Natural Language Markus Kimmig, Martin Monperrus, and Mira Mezini (TU Darmstadt, Germany; University of Lille, France) @InProceedings{ASE11p391, author = {Markus Kimmig and Martin Monperrus and Mira Mezini}, title = {Querying Source Code with Natural Language}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {391-390}, doi = {}, year = {2011}, } Article: ase11research-p028-p (type: Short paper) doi:
	Muccini, Henry	ASE '11: "Run-time Systems Failure Prediction ..." Run-time Systems Failure Prediction via Proactive Monitoring Pengcheng Zhang, Henry Muccini, Andrea Polini, and Xuandong Li (Nanjing University, China; Hohai University, China; University of L'Aquila, Italy; University of Camerino, Italy) @InProceedings{ASE11p661, author = {Pengcheng Zhang and Henry Muccini and Andrea Polini and Xuandong Li}, title = {Run-time Systems Failure Prediction via Proactive Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {661-660}, doi = {}, year = {2011}, } Article: ase11research-p203-p (type: Short paper) doi:
	Nakano, Keisuke	ASE '11: "GRoundTram: An Integrated ..." GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano (National Institute of Informatics, Japan; University of Electro-Communications, Japan) @InProceedings{ASE11p651, author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano}, title = {GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {651-650}, doi = {}, year = {2011}, } Article: ase11research-p195-p (type: Short paper) doi:
	Narayanan, Vidya Priyadarshini	ASE '11: "Mixed Constraints for Test ..." Mixed Constraints for Test Input Generation – An Initial Exploration Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{ASE11p821, author = {Shadi Abdul Khalek and Vidya Priyadarshini Narayanan and Sarfraz Khurshid}, title = {Mixed Constraints for Test Input Generation – An Initial Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {821-820}, doi = {}, year = {2011}, } Article: ase11research-p305-p (type: Short paper) doi:
	Nerella, Venkata Krishna Suhas	ASE '11: "Exploring Caching for Efficient ..." Exploring Caching for Efficient Collection Operations Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay K. Madria, and Thomas Weigert (Missouri University of Science and Technology, USA) @InProceedings{ASE11p621, author = {Swetha Surapaneni and Venkata Krishna Suhas Nerella and Sanjay K. Madria and Thomas Weigert}, title = {Exploring Caching for Efficient Collection Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {621-620}, doi = {}, year = {2011}, } Article: ase11research-p169-p (type: Short paper) doi:
	Ng, Vincent	ASE '11: "AutoODC: Automated Generation ..." AutoODC: Automated Generation of Orthogonal Defect Classifications LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, } Article: ase11research-p071-p (type: Short paper) doi:
	Nguyen, Anh Tuan	ASE '11: "A Topic-based Approach for ..." A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p271, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Jafar Al-Kofahi and Hung Viet Nguyen and Tien N. Nguyen}, title = {A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {271-270}, doi = {}, year = {2011}, } Article: ase11research-p261-p (type: Full paper) doi:
	Nguyen, Hoan Anh	ASE '11: "Auto-Locating and Fix-Propagating ..." Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p21, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2011}, } Article: ase11research-p254-p (type: Full paper) doi: ASE '11: "iDiff: Interaction-based Program ..." iDiff: Interaction-based Program Differencing Tool Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p881, author = {Hoan Anh Nguyen and Tung Thanh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {iDiff: Interaction-based Program Differencing Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {881-880}, doi = {}, year = {2011}, } Article: ase11tool-id17-p (type: Tool Demonstration) doi:
	Nguyen, Hung Viet	ASE '11: "Auto-Locating and Fix-Propagating ..." Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p21, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2011}, } Article: ase11research-p254-p (type: Full paper) doi: ASE '11: "A Topic-based Approach for ..." A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p271, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Jafar Al-Kofahi and Hung Viet Nguyen and Tien N. Nguyen}, title = {A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {271-270}, doi = {}, year = {2011}, } Article: ase11research-p261-p (type: Full paper) doi: ASE '11: "iDiff: Interaction-based Program ..." iDiff: Interaction-based Program Differencing Tool Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p881, author = {Hoan Anh Nguyen and Tung Thanh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {iDiff: Interaction-based Program Differencing Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {881-880}, doi = {}, year = {2011}, } Article: ase11tool-id17-p (type: Tool Demonstration) doi:
	Nguyen, Tien N.	ASE '11: "Auto-Locating and Fix-Propagating ..." Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p21, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2011}, } Article: ase11research-p254-p (type: Full paper) doi: ASE '11: "A Topic-based Approach for ..." A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p271, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Jafar Al-Kofahi and Hung Viet Nguyen and Tien N. Nguyen}, title = {A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {271-270}, doi = {}, year = {2011}, } Article: ase11research-p261-p (type: Full paper) doi: ASE '11: "iDiff: Interaction-based Program ..." iDiff: Interaction-based Program Differencing Tool Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p881, author = {Hoan Anh Nguyen and Tung Thanh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {iDiff: Interaction-based Program Differencing Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {881-880}, doi = {}, year = {2011}, } Article: ase11tool-id17-p (type: Tool Demonstration) doi:
	Nguyen, Truong Khanh	ASE '11: "A Symbolic Model Checking ..." A Symbolic Model Checking Framework for Hierarchical Systems Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ASE11p942, author = {Truong Khanh Nguyen and Jun Sun and Yang Liu and Jin Song Dong}, title = {A Symbolic Model Checking Framework for Hierarchical Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {942-941}, doi = {}, year = {2011}, } Article: ase11tool-id21-p (type: Tool Demonstration) doi:
	Nguyen, Tung Thanh	ASE '11: "Auto-Locating and Fix-Propagating ..." Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p21, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {Auto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2011}, } Article: ase11research-p254-p (type: Full paper) doi: ASE '11: "A Topic-based Approach for ..." A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report Anh Tuan Nguyen, Tung Thanh Nguyen, Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p271, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Jafar Al-Kofahi and Hung Viet Nguyen and Tien N. Nguyen}, title = {A Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {271-270}, doi = {}, year = {2011}, } Article: ase11research-p261-p (type: Full paper) doi: ASE '11: "iDiff: Interaction-based Program ..." iDiff: Interaction-based Program Differencing Tool Hoan Anh Nguyen, Tung Thanh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen (Iowa State University, USA) @InProceedings{ASE11p881, author = {Hoan Anh Nguyen and Tung Thanh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {iDiff: Interaction-based Program Differencing Tool}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {881-880}, doi = {}, year = {2011}, } Article: ase11tool-id17-p (type: Tool Demonstration) doi:
	Niu, Jianwei	ASE '11: "GitBAC: Flexible Access Control ..." GitBAC: Flexible Access Control for Non-Modular Concerns Mark Robinson, Jianwei Niu, and Macneil Shonle (University of Texas at San Antonio, USA) @InProceedings{ASE11p701, author = {Mark Robinson and Jianwei Niu and Macneil Shonle}, title = {GitBAC: Flexible Access Control for Non-Modular Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {701-700}, doi = {}, year = {2011}, } Article: ase11research-p215-p (type: Short paper) doi:
	Nordio, Martin	ASE '11: "Code-Based Automated Program ..." Code-Based Automated Program Fixing Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p431, author = {Yu Pei and Yi Wei and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Code-Based Automated Program Fixing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {431-430}, doi = {}, year = {2011}, } Article: ase11research-p058-p (type: Short paper) doi: ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Nuseibeh, Bashar	ASE '11: "Specifying and Detecting Meaningful ..." Specifying and Detecting Meaningful Changes in Programs Yijun Yu, Thein Than Tun, and Bashar Nuseibeh (Open University, UK; Lero, Ireland) @InProceedings{ASE11p281, author = {Yijun Yu and Thein Than Tun and Bashar Nuseibeh}, title = {Specifying and Detecting Meaningful Changes in Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {281-280}, doi = {}, year = {2011}, } Article: ase11research-p186-p (type: Full paper) doi:
	Oster, Zachary J.	ASE '11: "Automating Analysis of Qualitative ..." Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering Zachary J. Oster, Ganesh Ram Santhanam, and Samik Basu (Iowa State University, USA) @InProceedings{ASE11p571, author = {Zachary J. Oster and Ganesh Ram Santhanam and Samik Basu}, title = {Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {571-570}, doi = {}, year = {2011}, } Article: ase11research-p128-p (type: Short paper) doi:
	Overbey, Jeffrey L.	ASE '11: "Differential Precondition ..." Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools Jeffrey L. Overbey and Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p311, author = {Jeffrey L. Overbey and Ralph E. Johnson}, title = {Differential Precondition Checking: A Lightweight, Reusable Analysis for Refactoring Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {311-310}, doi = {}, year = {2011}, } Article: ase11research-p271-p (type: Full paper) doi:
	Pan, Kai	ASE '11: "Generating Program Inputs ..." Generating Program Inputs for Database Application Testing Kai Pan, Xintao Wu, and Tao Xie (University of North Carolina at Charlotte, USA; North Carolina State University, USA) @InProceedings{ASE11p81, author = {Kai Pan and Xintao Wu and Tao Xie}, title = {Generating Program Inputs for Database Application Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {81-80}, doi = {}, year = {2011}, } Article: ase11research-p120-p (type: Full paper) doi:
	Parízek, Pavel	ASE '11: "Identifying Future Field Accesses ..." Identifying Future Field Accesses in Exhaustive State Space Traversal Pavel Parízek and Ondřej Lhoták (University of Waterloo, Canada) @InProceedings{ASE11p101, author = {Pavel Parízek and Ondřej Lhoták}, title = {Identifying Future Field Accesses in Exhaustive State Space Traversal}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {101-100}, doi = {}, year = {2011}, } Article: ase11research-p033-p (type: Full paper) doi:
	Parkinson, Matthew J.	ASE '11: "Safe Asynchronous Multicore ..." Safe Asynchronous Multicore Memory Operations Matko Botinčan, Mike Dodds, Alastair F. Donaldson, and Matthew J. Parkinson (University of Cambridge, UK; Imperial College London, UK; Microsoft Research Cambridge, UK) @InProceedings{ASE11p161, author = {Matko Botinčan and Mike Dodds and Alastair F. Donaldson and Matthew J. Parkinson}, title = {Safe Asynchronous Multicore Memory Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {161-160}, doi = {}, year = {2011}, } Article: ase11research-p162-p (type: Full paper) doi:
	Patterson-Hine, Ann	ASE '11: "Using Model-based Assurance ..." Using Model-based Assurance to Strengthen Diagnostic Procedures Robyn Lutz, Jeremy Johnson, and Ann Patterson-Hine (Jet Propulsion Lab, USA; Iowa State University, USA; NASA Ames, USA) @InProceedings{ASE11p741, author = {Robyn Lutz and Jeremy Johnson and Ann Patterson-Hine}, title = {Using Model-based Assurance to Strengthen Diagnostic Procedures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {741-740}, doi = {}, year = {2011}, } Article: ase11research-p249-p (type: Short paper) doi:
	Pei, Yu	ASE '11: "Code-Based Automated Program ..." Code-Based Automated Program Fixing Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p431, author = {Yu Pei and Yi Wei and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Code-Based Automated Program Fixing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {431-430}, doi = {}, year = {2011}, } Article: ase11research-p058-p (type: Short paper) doi: ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Perkins, Jeff H.	ASE '11: "Scaling Up Automated Test ..." Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, and Nuo Li (ABB Corporate Research, USA; University of Washington, USA; MIT, USA; ABB Robotics, Cyprus) @InProceedings{ASE11p31, author = {Brian Robinson and Michael D. Ernst and Jeff H. Perkins and Vinay Augustine and Nuo Li}, title = {Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2011}, } Article: ase11research-p236-p (type: Full paper) doi:
	Perry, Dewayne E.	ASE '11: "A Case for Alloy Annotations ..." A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers Svetoslav Ganov, Sarfraz Khurshid, and Dewayne E. Perry (University of Texas at Austin, USA) @InProceedings{ASE11p611, author = {Svetoslav Ganov and Sarfraz Khurshid and Dewayne E. Perry}, title = {A Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {611-610}, doi = {}, year = {2011}, } Article: ase11research-p150-p (type: Short paper) doi:
	Persing, Isaac	ASE '11: "AutoODC: Automated Generation ..." AutoODC: Automated Generation of Orthogonal Defect Classifications LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, } Article: ase11research-p071-p (type: Short paper) doi:
	Pietsch, Pit	ASE '11: "Generating Realistic Test ..." Generating Realistic Test Models for Model Processing Tools Pit Pietsch, Hamed Shariat Yazdi, and Udo Kelter (University of Siegen, Germany) @InProceedings{ASE11p929, author = {Pit Pietsch and Hamed Shariat Yazdi and Udo Kelter}, title = {Generating Realistic Test Models for Model Processing Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {929-928}, doi = {}, year = {2011}, } Article: ase11tool-id8-p (type: Tool Demonstration) doi:
	Pohl, Klaus	ASE '11: "A Performance Comparison of ..." A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models Richard Pohl, Kim Lauenroth, and Klaus Pohl (University of Duisburg-Essen, Germany) @InProceedings{ASE11p321, author = {Richard Pohl and Kim Lauenroth and Klaus Pohl}, title = {A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {321-320}, doi = {}, year = {2011}, } Article: ase11research-p017-p (type: Full paper) doi:
	Pohl, Richard	ASE '11: "A Performance Comparison of ..." A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models Richard Pohl, Kim Lauenroth, and Klaus Pohl (University of Duisburg-Essen, Germany) @InProceedings{ASE11p321, author = {Richard Pohl and Kim Lauenroth and Klaus Pohl}, title = {A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {321-320}, doi = {}, year = {2011}, } Article: ase11research-p017-p (type: Full paper) doi:
	Polini, Andrea	ASE '11: "Run-time Systems Failure Prediction ..." Run-time Systems Failure Prediction via Proactive Monitoring Pengcheng Zhang, Henry Muccini, Andrea Polini, and Xuandong Li (Nanjing University, China; Hohai University, China; University of L'Aquila, Italy; University of Camerino, Italy) @InProceedings{ASE11p661, author = {Pengcheng Zhang and Henry Muccini and Andrea Polini and Xuandong Li}, title = {Run-time Systems Failure Prediction via Proactive Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {661-660}, doi = {}, year = {2011}, } Article: ase11research-p203-p (type: Short paper) doi:
	Pollock, Lori	ASE '11: "Improving Source Code Search ..." Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures Emily Hill, Lori Pollock, and K. Vijay-Shanker (Montclair State University, USA; University of Delaware, USA) @InProceedings{ASE11p761, author = {Emily Hill and Lori Pollock and K. Vijay-Shanker}, title = {Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {761-760}, doi = {}, year = {2011}, } Article: ase11research-p258-p (type: Short paper) doi:
	Popescu, Daniel	ASE '11: "Enhancing Architectural Recovery ..." Enhancing Architectural Recovery Using Concerns Joshua Garcia, Daniel Popescu, Chris Mattmann, Nenad Medvidovic, and Yuanfang Cai (University of Southern California, USA; Jet Propulsion Laboratory, USA; Drexel University, USA) @InProceedings{ASE11p831, author = {Joshua Garcia and Daniel Popescu and Chris Mattmann and Nenad Medvidovic and Yuanfang Cai}, title = {Enhancing Architectural Recovery Using Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {831-830}, doi = {}, year = {2011}, } Article: ase11research-p315-p (type: Short paper) doi:
	Poshyvanyk, Denys	ASE '11: "An Adaptive Approach to Impact ..." An Adaptive Approach to Impact Analysis from Change Requests to Source Code Malcom Gethers, Huzefa Kagdi, Bogdan Dit, and Denys Poshyvanyk (College of William and Mary, USA; Wichita State University, USA) @InProceedings{ASE11p801, author = {Malcom Gethers and Huzefa Kagdi and Bogdan Dit and Denys Poshyvanyk}, title = {An Adaptive Approach to Impact Analysis from Change Requests to Source Code}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {801-800}, doi = {}, year = {2011}, } Article: ase11research-p276-p (type: Short paper) doi:
	Posnett, Daryl	ASE '11: "Ecological Inference in Empirical ..." Ecological Inference in Empirical Software Engineering Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu (UC Davis, USA) @InProceedings{ASE11p371, author = {Daryl Posnett and Vladimir Filkov and Premkumar Devanbu}, title = {Ecological Inference in Empirical Software Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {371-370}, doi = {}, year = {2011}, } Article: ase11research-p234-p (type: Full paper) doi:
	Rabkin, Ariel	ASE '11: "Precomputing Possible Configuration ..." Precomputing Possible Configuration Error Diagnoses Ariel Rabkin and Randy Katz (UC Berkeley, USA) @InProceedings{ASE11p201, author = {Ariel Rabkin and Randy Katz}, title = {Precomputing Possible Configuration Error Diagnoses}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {201-200}, doi = {}, year = {2011}, } Article: ase11research-p040-p (type: Full paper) doi:
	Ramirez, Andres J.	ASE '11: "Automatically Exploring How ..." Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems Andres J. Ramirez, Adam C. Jensen, Betty H. C. Cheng, and David B. Knoester (Michigan State University, USA) @InProceedings{ASE11p871, author = {Andres J. Ramirez and Adam C. Jensen and Betty H. C. Cheng and David B. Knoester}, title = {Automatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {871-870}, doi = {}, year = {2011}, } Article: ase11research-p357-p (type: Short paper) doi:
	Ranganathan, Anand	ASE '11: "Evaluating Test Selection ..." Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications Kristina Winbladh and Anand Ranganathan (University of Delaware, USA; IBM Research Watson, USA) @InProceedings{ASE11p451, author = {Kristina Winbladh and Anand Ranganathan}, title = {Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {451-450}, doi = {}, year = {2011}, } Article: ase11research-p062-p (type: Short paper) doi:
	Rasool, Ghulam	ASE '11: "Flexible Design Pattern Detection ..." Flexible Design Pattern Detection Based on Feature Types Ghulam Rasool and Patrick Mäder (COMSATS Institute of Information Technology, Pakistan; Johannes Kepler University, Austria) @InProceedings{ASE11p251, author = {Ghulam Rasool and Patrick Mäder}, title = {Flexible Design Pattern Detection Based on Feature Types}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {251-250}, doi = {}, year = {2011}, } Article: ase11research-p172-p (type: Full paper) doi:
	Ráth, István	ASE '11: "A Model-driven Framework for ..." A Model-driven Framework for Guided Design Space Exploration Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p181, author = {Ábel Hegedüs and Ákos Horváth and István Ráth and Dániel Varró}, title = {A Model-driven Framework for Guided Design Space Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {181-180}, doi = {}, year = {2011}, } Article: ase11research-p187-p (type: Full paper) doi: ASE '11: "Implementing Efficient Model ..." Implementing Efficient Model Validation in EMF Tools Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, } Article: ase11tool-id12-p (type: Tool Demonstration) doi:
	Rathfelder, Christoph	ASE '11: "Capacity Planning for Event-based ..." Capacity Planning for Event-based Systems using Automated Performance Predictions Christoph Rathfelder, Samuel Kounev, and David Evans (FZI, Germany; KIT, Germany; University of Cambridge, UK) @InProceedings{ASE11p361, author = {Christoph Rathfelder and Samuel Kounev and David Evans}, title = {Capacity Planning for Event-based Systems using Automated Performance Predictions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {361-360}, doi = {}, year = {2011}, } Article: ase11research-p032-p (type: Full paper) doi:
	Reynolds, Jr., Paul F.	ASE '11: "Statistical Debugging with ..." Statistical Debugging with Elastic Predicates Ross Gore, Paul F. Reynolds, Jr., and David Kamensky (University of Virginia, USA; University of Texas at Austin, USA) @InProceedings{ASE11p681, author = {Ross Gore and Paul F. Reynolds, Jr. and David Kamensky}, title = {Statistical Debugging with Elastic Predicates}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {681-680}, doi = {}, year = {2011}, } Article: ase11research-p206-p (type: Short paper) doi:
	Rhein, Alexander von	ASE '11: "Detection of Feature Interactions ..." Detection of Feature Interactions using Feature-Aware Verification Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer (University of Passau, Germany; Simon Fraser University, Canada) @InProceedings{ASE11p381, author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title = {Detection of Feature Interactions using Feature-Aware Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {381-380}, doi = {}, year = {2011}, } Article: ase11research-p016-p (type: Short paper) doi:
	Riccobene, Elvinia	ASE '11: "Optimizing the Automatic Test ..." Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene (Università degli Studi di Milano, Italy; Università di Bergamo, Italy) @InProceedings{ASE11p421, author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene}, title = {Optimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {421-420}, doi = {}, year = {2011}, } Article: ase11research-p053-p (type: Short paper) doi:
	Robillard, Martin P.	ASE '11: "Analyzing Temporal API Usage ..." Analyzing Temporal API Usage Patterns Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard (McGill University, Canada) @InProceedings{ASE11p591, author = {Gias Uddin and Barthélémy Dagenais and Martin P. Robillard}, title = {Analyzing Temporal API Usage Patterns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {591-590}, doi = {}, year = {2011}, } Article: ase11research-p137-p (type: Short paper) doi:
	Robinson, Brian	ASE '11: "Scaling Up Automated Test ..." Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, and Nuo Li (ABB Corporate Research, USA; University of Washington, USA; MIT, USA; ABB Robotics, Cyprus) @InProceedings{ASE11p31, author = {Brian Robinson and Michael D. Ernst and Jeff H. Perkins and Vinay Augustine and Nuo Li}, title = {Scaling Up Automated Test Generation: Automatically Generating Maintainable Regression Unit Tests for Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2011}, } Article: ase11research-p236-p (type: Full paper) doi:
	Robinson, Mark	ASE '11: "GitBAC: Flexible Access Control ..." GitBAC: Flexible Access Control for Non-Modular Concerns Mark Robinson, Jianwei Niu, and Macneil Shonle (University of Texas at San Antonio, USA) @InProceedings{ASE11p701, author = {Mark Robinson and Jianwei Niu and Macneil Shonle}, title = {GitBAC: Flexible Access Control for Non-Modular Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {701-700}, doi = {}, year = {2011}, } Article: ase11research-p215-p (type: Short paper) doi:
	Rorres, Chris	ASE '11: "Diagnosis of Software Failures ..." Diagnosis of Software Failures Using Computational Geometry Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis (Drexel University, USA) @InProceedings{ASE11p691, author = {Edward Stehle and Kevin Lynch and Maxim Shevertalov and Chris Rorres and Spiros Mancoridis}, title = {Diagnosis of Software Failures Using Computational Geometry}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {691-690}, doi = {}, year = {2011}, } Article: ase11research-p207-p (type: Short paper) doi:
	Roth, Hannes	ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Rungta, Neha	ASE '11: "Guided Test Visualization: ..." Guided Test Visualization: Making Sense of Errors in Concurrent Programs Saint Wesonga, Eric G. Mercer, and Neha Rungta (Brigham Young University, USA; NASA Ames, USA) @InProceedings{ASE11p933, author = {Saint Wesonga and Eric G. Mercer and Neha Rungta}, title = {Guided Test Visualization: Making Sense of Errors in Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {933-932}, doi = {}, year = {2011}, } Article: ase11tool-id18-p (type: Tool Demonstration) doi:
	Sagdeo, Parth	ASE '11: "PRECIS: Inferring Invariants ..." PRECIS: Inferring Invariants using Program Path Guided Clustering Parth Sagdeo, Viraj Athavale, Sumant Kowshik, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p781, author = {Parth Sagdeo and Viraj Athavale and Sumant Kowshik and Shobha Vasudevan}, title = {PRECIS: Inferring Invariants using Program Path Guided Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {781-780}, doi = {}, year = {2011}, } Article: ase11research-p264-p (type: Short paper) doi:
	Sankaranarayanan, Sriram	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi:
	Santhanam, Ganesh Ram	ASE '11: "Automating Analysis of Qualitative ..." Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering Zachary J. Oster, Ganesh Ram Santhanam, and Samik Basu (Iowa State University, USA) @InProceedings{ASE11p571, author = {Zachary J. Oster and Ganesh Ram Santhanam and Samik Basu}, title = {Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {571-570}, doi = {}, year = {2011}, } Article: ase11research-p128-p (type: Short paper) doi:
	Sawyer, Pete	ASE '11: "Towards Requirements Aware ..." Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions Kristopher Welsh, Pete Sawyer, and Nelly Bencomo (Lancaster University, UK; INRIA Paris - Rocquencourt, France) @InProceedings{ASE11p851, author = {Kristopher Welsh and Pete Sawyer and Nelly Bencomo}, title = {Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {851-850}, doi = {}, year = {2011}, } Article: ase11research-p350-p (type: Short paper) doi:
	Schweiggert, Franz	ASE '11: "MAJOR: An Efficient and Extensible ..." MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler René Just, Franz Schweiggert, and Gregory M. Kapfhammer (Ulm University, Germany; Allegheny College, USA) @InProceedings{ASE11p921, author = {René Just and Franz Schweiggert and Gregory M. Kapfhammer}, title = {MAJOR: An Efficient and Extensible Tool for Mutation Analysis in a Java Compiler}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {921-920}, doi = {}, year = {2011}, } Article: ase11tool-id20-p (type: Tool Demonstration) doi:
	Serafini, Marco	ASE '11: "Supporting Domain-Specific ..." Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri (TU Darmstadt, Germany; EPFL, Switzerland; Yahoo! Research Barcelona, Spain) @InProceedings{ASE11p121, author = {Péter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri}, title = {Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {121-120}, doi = {}, year = {2011}, } Article: ase11research-p189-p (type: Full paper) doi:
	Servant, Francisco	ASE '11: "History Slicing ..." History Slicing Francisco Servant and James A. Jones (UC Irvine, USA) @InProceedings{ASE11p581, author = {Francisco Servant and James A. Jones}, title = {History Slicing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {581-580}, doi = {}, year = {2011}, } Article: ase11research-p136-p (type: Short paper) doi:
	Shah, Vipul	ASE '11: "Towards an Approach and Framework ..." Towards an Approach and Framework for Test-Execution Plan Derivation Soham Sundar Chakraborty and Vipul Shah (AMD, India; Tata Research Development and Design Centre, India) @InProceedings{ASE11p671, author = {Soham Sundar Chakraborty and Vipul Shah}, title = {Towards an Approach and Framework for Test-Execution Plan Derivation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {671-670}, doi = {}, year = {2011}, } Article: ase11research-p205-p (type: Short paper) doi:
	Shevertalov, Maxim	ASE '11: "Diagnosis of Software Failures ..." Diagnosis of Software Failures Using Computational Geometry Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis (Drexel University, USA) @InProceedings{ASE11p691, author = {Edward Stehle and Kevin Lynch and Maxim Shevertalov and Chris Rorres and Spiros Mancoridis}, title = {Diagnosis of Software Failures Using Computational Geometry}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {691-690}, doi = {}, year = {2011}, } Article: ase11research-p207-p (type: Short paper) doi:
	Shonle, Macneil	ASE '11: "GitBAC: Flexible Access Control ..." GitBAC: Flexible Access Control for Non-Modular Concerns Mark Robinson, Jianwei Niu, and Macneil Shonle (University of Texas at San Antonio, USA) @InProceedings{ASE11p701, author = {Mark Robinson and Jianwei Niu and Macneil Shonle}, title = {GitBAC: Flexible Access Control for Non-Modular Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {701-700}, doi = {}, year = {2011}, } Article: ase11research-p215-p (type: Short paper) doi:
	Silva, Josep	ASE '11: "An Optimal Strategy for Algorithmic ..." An Optimal Strategy for Algorithmic Debugging David Insa and Josep Silva (Universidad Politécnica de Valencia, Spain) @InProceedings{ASE11p211, author = {David Insa and Josep Silva}, title = {An Optimal Strategy for Algorithmic Debugging}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {211-210}, doi = {}, year = {2011}, } Article: ase11research-p174-p (type: Full paper) doi:
	Silva, Marcos Aurélio Almeida da	ASE '11: "Deviation Management during ..." Deviation Management during Process Execution Marcos Aurélio Almeida da Silva, Xavier Blanc, and Reda Bendraou (LIP6, France; LaBRI, France) @InProceedings{ASE11p771, author = {Marcos Aurélio Almeida da Silva and Xavier Blanc and Reda Bendraou}, title = {Deviation Management during Process Execution}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {771-770}, doi = {}, year = {2011}, } Article: ase11research-p262-p (type: Short paper) doi:
	Soltani, Samaneh	ASE '11: "Automated Planning for Feature ..." Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns Samaneh Soltani, Mohsen Asadi, Marek Hatala, Dragan Gašević, and Ebrahim Bagheri (Simon Fraser University, Canada; Athabasca University, Canada) @InProceedings{ASE11p791, author = {Samaneh Soltani and Mohsen Asadi and Marek Hatala and Dragan Gašević and Ebrahim Bagheri}, title = {Automated Planning for Feature Model Configuration based on Stakeholders' Business Concerns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {791-790}, doi = {}, year = {2011}, } Article: ase11research-p268-p (type: Short paper) doi:
	Speidel, Hendrik	ASE '11: "Detection of Feature Interactions ..." Detection of Feature Interactions using Feature-Aware Verification Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer (University of Passau, Germany; Simon Fraser University, Canada) @InProceedings{ASE11p381, author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title = {Detection of Feature Interactions using Feature-Aware Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {381-380}, doi = {}, year = {2011}, } Article: ase11research-p016-p (type: Short paper) doi:
	Stehle, Edward	ASE '11: "Diagnosis of Software Failures ..." Diagnosis of Software Failures Using Computational Geometry Edward Stehle, Kevin Lynch, Maxim Shevertalov, Chris Rorres, and Spiros Mancoridis (Drexel University, USA) @InProceedings{ASE11p691, author = {Edward Stehle and Kevin Lynch and Maxim Shevertalov and Chris Rorres and Spiros Mancoridis}, title = {Diagnosis of Software Failures Using Computational Geometry}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {691-690}, doi = {}, year = {2011}, } Article: ase11research-p207-p (type: Short paper) doi:
	Steindorfer, Michael	ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Sun, Chengnian	ASE '11: "Towards More Accurate Retrieval ..." Towards More Accurate Retrieval of Duplicate Bug Reports Chengnian Sun, David Lo, Siau-Cheng Khoo, and Jing Jiang (National University of Singapore, Singapore; Singapore Management University, Singapore) @InProceedings{ASE11p261, author = {Chengnian Sun and David Lo and Siau-Cheng Khoo and Jing Jiang}, title = {Towards More Accurate Retrieval of Duplicate Bug Reports}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {261-260}, doi = {}, year = {2011}, } Article: ase11research-p257-p (type: Full paper) doi:
	Sun, Jun	ASE '11: "A Symbolic Model Checking ..." A Symbolic Model Checking Framework for Hierarchical Systems Truong Khanh Nguyen, Jun Sun, Yang Liu, and Jin Song Dong (National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore) @InProceedings{ASE11p942, author = {Truong Khanh Nguyen and Jun Sun and Yang Liu and Jin Song Dong}, title = {A Symbolic Model Checking Framework for Hierarchical Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {942-941}, doi = {}, year = {2011}, } Article: ase11tool-id21-p (type: Tool Demonstration) doi:
	Sun, Xiaobing	ASE '11: "Using Formal Concept Analysis ..." Using Formal Concept Analysis to Support Change Analysis Xiaobing Sun and Bixin Li (Southeast University, China) @InProceedings{ASE11p951, author = {Xiaobing Sun and Bixin Li}, title = {Using Formal Concept Analysis to Support Change Analysis}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {951-950}, doi = {}, year = {2011}, } Article: ase11doctoral-id1-p (type: Doctoral Paper) doi:
	Surapaneni, Swetha	ASE '11: "Exploring Caching for Efficient ..." Exploring Caching for Efficient Collection Operations Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay K. Madria, and Thomas Weigert (Missouri University of Science and Technology, USA) @InProceedings{ASE11p621, author = {Swetha Surapaneni and Venkata Krishna Suhas Nerella and Sanjay K. Madria and Thomas Weigert}, title = {Exploring Caching for Efficient Collection Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {621-620}, doi = {}, year = {2011}, } Article: ase11research-p169-p (type: Short paper) doi:
	Suri, Neeraj	ASE '11: "Supporting Domain-Specific ..." Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri (TU Darmstadt, Germany; EPFL, Switzerland; Yahoo! Research Barcelona, Spain) @InProceedings{ASE11p121, author = {Péter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri}, title = {Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {121-120}, doi = {}, year = {2011}, } Article: ase11research-p189-p (type: Full paper) doi:
	Taentzer, Gabriele	ASE '11: "A Rule-Based Approach to the ..." A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning Timo Kehrer, Udo Kelter, and Gabriele Taentzer (University of Siegen, Germany; Philipps-Universität Marburg, Germany) @InProceedings{ASE11p171, author = {Timo Kehrer and Udo Kelter and Gabriele Taentzer}, title = {A Rule-Based Approach to the Semantic Lifting of Model Differences in the Context of Model Versioning}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {171-170}, doi = {}, year = {2011}, } Article: ase11research-p159-p (type: Full paper) doi:
	Tanabe, Yoshinori	ASE '11: "Model Checking Distributed ..." Model Checking Distributed Systems by Combining Caching and Process Checkpointing Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto (University of Tokyo, Japan; National Institute of Advanced Industrial Science and Technology, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE11p111, author = {Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto}, title = {Model Checking Distributed Systems by Combining Caching and Process Checkpointing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {111-110}, doi = {}, year = {2011}, } Article: ase11research-p166-p (type: Full paper) doi:
	Taylor, Richard N.	ASE '11: "Taming Changes With 1.x-Way ..." Taming Changes With 1.x-Way Architecture-Implementation Mapping Yongjie Zheng and Richard N. Taylor (UC Irvine, USA) @InProceedings{ASE11p441, author = {Yongjie Zheng and Richard N. Taylor}, title = {Taming Changes With 1.x-Way Architecture-Implementation Mapping}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {441-440}, doi = {}, year = {2011}, } Article: ase11research-p059-p (type: Short paper) doi:
	Tell, Paolo	ASE '11: "Supporting Activity Based ..." Supporting Activity Based Computing Paradigm in Global Software Development Paolo Tell and Muhammad Ali Babar (IT University of Copenhagen, Denmark) @InProceedings{ASE11p721, author = {Paolo Tell and Muhammad Ali Babar}, title = {Supporting Activity Based Computing Paradigm in Global Software Development}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {721-720}, doi = {}, year = {2011}, } Article: ase11research-p229-p (type: Short paper) doi:
	Tian, Jeff	ASE '11: "AutoODC: Automated Generation ..." AutoODC: Automated Generation of Orthogonal Defect Classifications LiGuo Huang, Vincent Ng, Isaac Persing, Ruili Geng, Xu Bai, and Jeff Tian (Southern Methodist University, USA; University of Texas at Dallas, USA) @InProceedings{ASE11p481, author = {LiGuo Huang and Vincent Ng and Isaac Persing and Ruili Geng and Xu Bai and Jeff Tian}, title = {AutoODC: Automated Generation of Orthogonal Defect Classifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {481-480}, doi = {}, year = {2011}, } Article: ase11research-p071-p (type: Short paper) doi:
	Tkachuk, Oksana	ASE '11: "JPF-AWT: Model Checking GUI ..." JPF-AWT: Model Checking GUI Applications Peter Mehlitz, Oksana Tkachuk, and Mateusz Ujma (NASA Ames, USA; University of Oxford, UK) @InProceedings{ASE11p893, author = {Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma}, title = {JPF-AWT: Model Checking GUI Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {893-892}, doi = {}, year = {2011}, } Article: ase11tool-id23-p (type: Tool Demonstration) doi:
	Tokuoka, Hiroki	ASE '11: "DC2: A Framework for Scalable, ..." DC2: A Framework for Scalable, Scope-Bounded Software Verification Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki (NEC Labs, USA; University of Colorado at Boulder, USA; NEC Inc., Japan) @InProceedings{ASE11p141, author = {Franjo Ivančić and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi Imoto and Yoshiaki Miyazaki}, title = {DC2: A Framework for Scalable, Scope-Bounded Software Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {141-140}, doi = {}, year = {2011}, } Article: ase11research-p233-p (type: Full paper) doi:
	Tonella, Paolo	ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Tun, Thein Than	ASE '11: "Specifying and Detecting Meaningful ..." Specifying and Detecting Meaningful Changes in Programs Yijun Yu, Thein Than Tun, and Bashar Nuseibeh (Open University, UK; Lero, Ireland) @InProceedings{ASE11p281, author = {Yijun Yu and Thein Than Tun and Bashar Nuseibeh}, title = {Specifying and Detecting Meaningful Changes in Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {281-280}, doi = {}, year = {2011}, } Article: ase11research-p186-p (type: Full paper) doi:
	Uddin, Gias	ASE '11: "Analyzing Temporal API Usage ..." Analyzing Temporal API Usage Patterns Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard (McGill University, Canada) @InProceedings{ASE11p591, author = {Gias Uddin and Barthélémy Dagenais and Martin P. Robillard}, title = {Analyzing Temporal API Usage Patterns}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {591-590}, doi = {}, year = {2011}, } Article: ase11research-p137-p (type: Short paper) doi:
	Ujhelyi, Zoltán	ASE '11: "Towards Dynamic Backward Slicing ..." Towards Dynamic Backward Slicing of Model Transformations Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p461, author = {Zoltán Ujhelyi and Ákos Horváth and Dániel Varró}, title = {Towards Dynamic Backward Slicing of Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {461-460}, doi = {}, year = {2011}, } Article: ase11research-p065-p (type: Short paper) doi: ASE '11: "Implementing Efficient Model ..." Implementing Efficient Model Validation in EMF Tools Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, } Article: ase11tool-id12-p (type: Tool Demonstration) doi:
	Ujma, Mateusz	ASE '11: "JPF-AWT: Model Checking GUI ..." JPF-AWT: Model Checking GUI Applications Peter Mehlitz, Oksana Tkachuk, and Mateusz Ujma (NASA Ames, USA; University of Oxford, UK) @InProceedings{ASE11p893, author = {Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma}, title = {JPF-AWT: Model Checking GUI Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {893-892}, doi = {}, year = {2011}, } Article: ase11tool-id23-p (type: Tool Demonstration) doi:
	Vakili, Amirhossein	ASE '11: "Analyzing Temporal Properties ..." Analyzing Temporal Properties of Abstract Models Amirhossein Vakili (University of Waterloo, Canada) @InProceedings{ASE11p966, author = {Amirhossein Vakili}, title = {Analyzing Temporal Properties of Abstract Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {966-965}, doi = {}, year = {2011}, } Article: ase11doctoral-id3-p (type: Doctoral Paper) doi: ASE '11: "Using Model Checking to Analyze ..." Using Model Checking to Analyze Static Properties of Declarative Models Amirhossein Vakili and Nancy A. Day (University of Waterloo, Canada) @InProceedings{ASE11p521, author = {Amirhossein Vakili and Nancy A. Day}, title = {Using Model Checking to Analyze Static Properties of Declarative Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {521-520}, doi = {}, year = {2011}, } Article: ase11research-p094-p (type: Short paper) doi:
	Varró, Dániel	ASE '11: "A Model-driven Framework for ..." A Model-driven Framework for Guided Design Space Exploration Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p181, author = {Ábel Hegedüs and Ákos Horváth and István Ráth and Dániel Varró}, title = {A Model-driven Framework for Guided Design Space Exploration}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {181-180}, doi = {}, year = {2011}, } Article: ase11research-p187-p (type: Full paper) doi: ASE '11: "Towards Dynamic Backward Slicing ..." Towards Dynamic Backward Slicing of Model Transformations Zoltán Ujhelyi, Ákos Horváth, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p461, author = {Zoltán Ujhelyi and Ákos Horváth and Dániel Varró}, title = {Towards Dynamic Backward Slicing of Model Transformations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {461-460}, doi = {}, year = {2011}, } Article: ase11research-p065-p (type: Short paper) doi: ASE '11: "Implementing Efficient Model ..." Implementing Efficient Model Validation in EMF Tools Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró (Budapest University of Technology and Economics, Hungary) @InProceedings{ASE11p889, author = {Gábor Bergmann and Ábel Hegedüs and Ákos Horváth and István Ráth and Zoltán Ujhelyi and Dániel Varró}, title = {Implementing Efficient Model Validation in EMF Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {889-888}, doi = {}, year = {2011}, } Article: ase11tool-id12-p (type: Tool Demonstration) doi:
	Vasudevan, Shobha	ASE '11: "PRECIS: Inferring Invariants ..." PRECIS: Inferring Invariants using Program Path Guided Clustering Parth Sagdeo, Viraj Athavale, Sumant Kowshik, and Shobha Vasudevan (University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p781, author = {Parth Sagdeo and Viraj Athavale and Sumant Kowshik and Shobha Vasudevan}, title = {PRECIS: Inferring Invariants using Program Path Guided Clustering}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {781-780}, doi = {}, year = {2011}, } Article: ase11research-p264-p (type: Short paper) doi:
	Vijay-Shanker, K.	ASE '11: "Improving Source Code Search ..." Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures Emily Hill, Lori Pollock, and K. Vijay-Shanker (Montclair State University, USA; University of Delaware, USA) @InProceedings{ASE11p761, author = {Emily Hill and Lori Pollock and K. Vijay-Shanker}, title = {Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {761-760}, doi = {}, year = {2011}, } Article: ase11research-p258-p (type: Short paper) doi:
	Vos, Tanja	ASE '11: "Symbolic Search-Based Testing ..." Symbolic Search-Based Testing Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja Vos (Universidad Politécnica de Valencia, Spain; UCL, UK; King's College London, UK; University of Sheffield, UK; Fondazione Bruno Kessler, Italy) @InProceedings{ASE11p61, author = {Arthur Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja Vos}, title = {Symbolic Search-Based Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {61-60}, doi = {}, year = {2011}, } Article: ase11research-p117-p (type: Full paper) doi:
	Wang, Chao	ASE '11: "BEST: A Symbolic Testing Tool ..." BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, and Gogul Balakrishnan (NEC Labs, USA; Columbia University, USA) @InProceedings{ASE11p905, author = {Malay K. Ganai and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan}, title = {BEST: A Symbolic Testing Tool for Predicting Multi-threaded Program Failures}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2011}, } Article: ase11tool-id16-p (type: Tool Demonstration) doi:
	Wang, Leye	ASE '11: "APIExample: An Effective Web ..." APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang (Peking University, China) @InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, } Article: ase11tool-id10-p (type: Tool Demonstration) doi:
	Wang, Lijie	ASE '11: "APIExample: An Effective Web ..." APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang (Peking University, China) @InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, } Article: ase11tool-id10-p (type: Tool Demonstration) doi:
	Wang, Qianxiang	ASE '11: "Iterative Mining of Resource-Releasing ..." Iterative Mining of Resource-Releasing Specifications Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; North Carolina State University, USA) @InProceedings{ASE11p241, author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei}, title = {Iterative Mining of Resource-Releasing Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {241-240}, doi = {}, year = {2011}, } Article: ase11research-p090-p (type: Full paper) doi:
	Wang, Shaowei	ASE '11: "Search-Based Fault Localization ..." Search-Based Fault Localization Shaowei Wang, David Lo, Lingxiao Jiang, Lucia, and Hoong Chuin Lau (Singapore Management University, Singapore) @InProceedings{ASE11p841, author = {Shaowei Wang and David Lo and Lingxiao Jiang and Lucia and Hoong Chuin Lau}, title = {Search-Based Fault Localization}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {841-840}, doi = {}, year = {2011}, } Article: ase11research-p324-p (type: Short paper) doi:
	Wei, Yi	ASE '11: "Code-Based Automated Program ..." Code-Based Automated Program Fixing Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p431, author = {Yu Pei and Yi Wei and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Code-Based Automated Program Fixing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {431-430}, doi = {}, year = {2011}, } Article: ase11research-p058-p (type: Short paper) doi: ASE '11: "Stateful Testing: Finding ..." Stateful Testing: Finding More Errors in Code and Contracts Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer (ETH Zurich, Switzerland) @InProceedings{ASE11p551, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {551-550}, doi = {}, year = {2011}, } Article: ase11research-p114-p (type: Short paper) doi:
	Weigert, Thomas	ASE '11: "Exploring Caching for Efficient ..." Exploring Caching for Efficient Collection Operations Swetha Surapaneni, Venkata Krishna Suhas Nerella, Sanjay K. Madria, and Thomas Weigert (Missouri University of Science and Technology, USA) @InProceedings{ASE11p621, author = {Swetha Surapaneni and Venkata Krishna Suhas Nerella and Sanjay K. Madria and Thomas Weigert}, title = {Exploring Caching for Efficient Collection Operations}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {621-620}, doi = {}, year = {2011}, } Article: ase11research-p169-p (type: Short paper) doi:
	Welsh, Kristopher	ASE '11: "Towards Requirements Aware ..." Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions Kristopher Welsh, Pete Sawyer, and Nelly Bencomo (Lancaster University, UK; INRIA Paris - Rocquencourt, France) @InProceedings{ASE11p851, author = {Kristopher Welsh and Pete Sawyer and Nelly Bencomo}, title = {Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {851-850}, doi = {}, year = {2011}, } Article: ase11research-p350-p (type: Short paper) doi:
	Wendler, Philipp	ASE '11: "Detection of Feature Interactions ..." Detection of Feature Interactions using Feature-Aware Verification Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer (University of Passau, Germany; Simon Fraser University, Canada) @InProceedings{ASE11p381, author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title = {Detection of Feature Interactions using Feature-Aware Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {381-380}, doi = {}, year = {2011}, } Article: ase11research-p016-p (type: Short paper) doi:
	Wesonga, Saint	ASE '11: "Guided Test Visualization: ..." Guided Test Visualization: Making Sense of Errors in Concurrent Programs Saint Wesonga, Eric G. Mercer, and Neha Rungta (Brigham Young University, USA; NASA Ames, USA) @InProceedings{ASE11p933, author = {Saint Wesonga and Eric G. Mercer and Neha Rungta}, title = {Guided Test Visualization: Making Sense of Errors in Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {933-932}, doi = {}, year = {2011}, } Article: ase11tool-id18-p (type: Tool Demonstration) doi:
	Winbladh, Kristina	ASE '11: "Evaluating Test Selection ..." Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications Kristina Winbladh and Anand Ranganathan (University of Delaware, USA; IBM Research Watson, USA) @InProceedings{ASE11p451, author = {Kristina Winbladh and Anand Ranganathan}, title = {Evaluating Test Selection Strategies for End-User Specified Flow-Based Applications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {451-450}, doi = {}, year = {2011}, } Article: ase11research-p062-p (type: Short paper) doi:
	Witten, Ian H.	ASE '11: "Wikipedia and How to Use it ..." Wikipedia and How to Use it for Semantic Document Representation Ian H. Witten (University of Waikato, New Zealand) @InProceedings{ASE11p1, author = {Ian H. Witten}, title = {Wikipedia and How to Use it for Semantic Document Representation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2011}, } Article: ase11keynotes-key01-p (type: Keynote Paper) doi:
	Wong, Sunny	ASE '11: "Generalizing Evolutionary ..." Generalizing Evolutionary Coupling with Stochastic Dependencies Sunny Wong and Yuanfang Cai (Siemens Healthcare, USA; Drexel University, USA) @InProceedings{ASE11p301, author = {Sunny Wong and Yuanfang Cai}, title = {Generalizing Evolutionary Coupling with Stochastic Dependencies}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {301-300}, doi = {}, year = {2011}, } Article: ase11research-p141-p (type: Full paper) doi:
	Wu, Qian	ASE '11: "Iterative Mining of Resource-Releasing ..." Iterative Mining of Resource-Releasing Specifications Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; North Carolina State University, USA) @InProceedings{ASE11p241, author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei}, title = {Iterative Mining of Resource-Releasing Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {241-240}, doi = {}, year = {2011}, } Article: ase11research-p090-p (type: Full paper) doi:
	Wu, Xintao	ASE '11: "Generating Program Inputs ..." Generating Program Inputs for Database Application Testing Kai Pan, Xintao Wu, and Tao Xie (University of North Carolina at Charlotte, USA; North Carolina State University, USA) @InProceedings{ASE11p81, author = {Kai Pan and Xintao Wu and Tao Xie}, title = {Generating Program Inputs for Database Application Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {81-80}, doi = {}, year = {2011}, } Article: ase11research-p120-p (type: Full paper) doi:
	Xiao, Xiaokui	ASE '11: "Software Process Evaluation: ..." Software Process Evaluation: A Machine Learning Approach Ning Chen, Steven C. H. Hoi, and Xiaokui Xiao (Nanyang Technological University, Singapore) @InProceedings{ASE11p341, author = {Ning Chen and Steven C. H. Hoi and Xiaokui Xiao}, title = {Software Process Evaluation: A Machine Learning Approach}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {341-340}, doi = {}, year = {2011}, } Article: ase11research-p213-p (type: Full paper) doi:
	Xie, Bing	ASE '11: "Finding the Merits and Drawbacks ..." Finding the Merits and Drawbacks of Software Resources from Comments Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei (Peking University, China) @InProceedings{ASE11p531, author = {Changsheng Liu and Yanzhen Zou and Sibo Cai and Bing Xie and Hong Mei}, title = {Finding the Merits and Drawbacks of Software Resources from Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2011}, } Article: ase11research-p110-p (type: Short paper) doi: ASE '11: "APIExample: An Effective Web ..." APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang (Peking University, China) @InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, } Article: ase11tool-id10-p (type: Tool Demonstration) doi:
	Xie, Fei	ASE '11: "Formalizing Hardware/Software ..." Formalizing Hardware/Software Interface Specifications Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey (Microsoft Inc., USA; Portland State University, USA) @InProceedings{ASE11p151, author = {Juncao Li and Fei Xie and Thomas Ball and Vladimir Levin and Con McGarvey}, title = {Formalizing Hardware/Software Interface Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {151-150}, doi = {}, year = {2011}, } Article: ase11research-p105-p (type: Full paper) doi:
	Xie, Tao	ASE '11: "Iterative Mining of Resource-Releasing ..." Iterative Mining of Resource-Releasing Specifications Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei (Peking University, China; North Carolina State University, USA) @InProceedings{ASE11p241, author = {Qian Wu and Guangtai Liang and Qianxiang Wang and Tao Xie and Hong Mei}, title = {Iterative Mining of Resource-Releasing Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {241-240}, doi = {}, year = {2011}, } Article: ase11research-p090-p (type: Full paper) doi: ASE '11: "Mining Test Oracles of Web ..." Mining Test Oracles of Web Search Engines Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King (Chinese University of Hong Kong, China; Microsoft Research, USA; North Carolina State University, USA; AT&T Labs Research, USA) @InProceedings{ASE11p471, author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King}, title = {Mining Test Oracles of Web Search Engines}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {471-470}, doi = {}, year = {2011}, } Article: ase11research-p070-p (type: Short paper) doi: ASE '11: "Generating Program Inputs ..." Generating Program Inputs for Database Application Testing Kai Pan, Xintao Wu, and Tao Xie (University of North Carolina at Charlotte, USA; North Carolina State University, USA) @InProceedings{ASE11p81, author = {Kai Pan and Xintao Wu and Tao Xie}, title = {Generating Program Inputs for Database Application Testing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {81-80}, doi = {}, year = {2011}, } Article: ase11research-p120-p (type: Full paper) doi:
	Xing, Zhenchang	ASE '11: "CloneDifferentiator: Analyzing ..." CloneDifferentiator: Analyzing Clones by Differentiation Zhenchang Xing, Yinxing Xue, and Stan Jarzabek (National University of Singapore, Singapore) @InProceedings{ASE11p885, author = {Zhenchang Xing and Yinxing Xue and Stan Jarzabek}, title = {CloneDifferentiator: Analyzing Clones by Differentiation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {885-884}, doi = {}, year = {2011}, } Article: ase11tool-id13-p (type: Tool Demonstration) doi:
	Xue, Yinxing	ASE '11: "CloneDifferentiator: Analyzing ..." CloneDifferentiator: Analyzing Clones by Differentiation Zhenchang Xing, Yinxing Xue, and Stan Jarzabek (National University of Singapore, Singapore) @InProceedings{ASE11p885, author = {Zhenchang Xing and Yinxing Xue and Stan Jarzabek}, title = {CloneDifferentiator: Analyzing Clones by Differentiation}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {885-884}, doi = {}, year = {2011}, } Article: ase11tool-id13-p (type: Tool Demonstration) doi:
	Yamamoto, Mitsuharu	ASE '11: "Model Checking Distributed ..." Model Checking Distributed Systems by Combining Caching and Process Checkpointing Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto (University of Tokyo, Japan; National Institute of Advanced Industrial Science and Technology, Japan; National Institute of Informatics, Japan; Chiba University, Japan) @InProceedings{ASE11p111, author = {Watcharin Leungwattanakit and Cyrille Artho and Masami Hagiya and Yoshinori Tanabe and Mitsuharu Yamamoto}, title = {Model Checking Distributed Systems by Combining Caching and Process Checkpointing}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {111-110}, doi = {}, year = {2011}, } Article: ase11research-p166-p (type: Full paper) doi:
	Yang, Fuqing	ASE '11: "APIExample: An Effective Web ..." APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs Lijie Wang, Lu Fang, Leye Wang, Ge Li, Bing Xie, and Fuqing Yang (Peking University, China) @InProceedings{ASE11p901, author = {Lijie Wang and Lu Fang and Leye Wang and Ge Li and Bing Xie and Fuqing Yang}, title = {APIExample: An Effective Web Search Based Usage Example Recommendation System for Java APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {901-900}, doi = {}, year = {2011}, } Article: ase11tool-id10-p (type: Tool Demonstration) doi:
	Yang, Guowei	ASE '11: "TestEra: A Tool for Testing ..." TestEra: A Tool for Testing Java Programs Using Alloy Specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p917, author = {Shadi Abdul Khalek and Guowei Yang and Lingming Zhang and Darko Marinov and Sarfraz Khurshid}, title = {TestEra: A Tool for Testing Java Programs Using Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {917-916}, doi = {}, year = {2011}, } Article: ase11tool-id25-p (type: Tool Demonstration) doi:
	Yazdi, Hamed Shariat	ASE '11: "Generating Realistic Test ..." Generating Realistic Test Models for Model Processing Tools Pit Pietsch, Hamed Shariat Yazdi, and Udo Kelter (University of Siegen, Germany) @InProceedings{ASE11p929, author = {Pit Pietsch and Hamed Shariat Yazdi and Udo Kelter}, title = {Generating Realistic Test Models for Model Processing Tools}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {929-928}, doi = {}, year = {2011}, } Article: ase11tool-id8-p (type: Tool Demonstration) doi:
	Yu, Yijun	ASE '11: "Specifying and Detecting Meaningful ..." Specifying and Detecting Meaningful Changes in Programs Yijun Yu, Thein Than Tun, and Bashar Nuseibeh (Open University, UK; Lero, Ireland) @InProceedings{ASE11p281, author = {Yijun Yu and Thein Than Tun and Bashar Nuseibeh}, title = {Specifying and Detecting Meaningful Changes in Programs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {281-280}, doi = {}, year = {2011}, } Article: ase11research-p186-p (type: Full paper) doi:
	Zhang, Cheng	ASE '11: "Automated Documentation Inference ..." Automated Documentation Inference to Explain Failed Tests Sai Zhang, Cheng Zhang, and Michael D. Ernst (University of Washington, USA; Shanghai Jiao Tong University, China) @InProceedings{ASE11p71, author = {Sai Zhang and Cheng Zhang and Michael D. Ernst}, title = {Automated Documentation Inference to Explain Failed Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {71-70}, doi = {}, year = {2011}, } Article: ase11research-p182-p (type: Full paper) doi:
	Zhang, Lingming	ASE '11: "TestEra: A Tool for Testing ..." TestEra: A Tool for Testing Java Programs Using Alloy Specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{ASE11p917, author = {Shadi Abdul Khalek and Guowei Yang and Lingming Zhang and Darko Marinov and Sarfraz Khurshid}, title = {TestEra: A Tool for Testing Java Programs Using Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {917-916}, doi = {}, year = {2011}, } Article: ase11tool-id25-p (type: Tool Demonstration) doi:
	Zhang, Pengcheng	ASE '11: "Run-time Systems Failure Prediction ..." Run-time Systems Failure Prediction via Proactive Monitoring Pengcheng Zhang, Henry Muccini, Andrea Polini, and Xuandong Li (Nanjing University, China; Hohai University, China; University of L'Aquila, Italy; University of Camerino, Italy) @InProceedings{ASE11p661, author = {Pengcheng Zhang and Henry Muccini and Andrea Polini and Xuandong Li}, title = {Run-time Systems Failure Prediction via Proactive Monitoring}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {661-660}, doi = {}, year = {2011}, } Article: ase11research-p203-p (type: Short paper) doi:
	Zhang, Pingyu	ASE '11: "Automatic Generation of Load ..." Automatic Generation of Load Tests Pingyu Zhang, Sebastian Elbaum, and Matthew B. Dwyer (University of Nebraska-Lincoln, USA) @InProceedings{ASE11p51, author = {Pingyu Zhang and Sebastian Elbaum and Matthew B. Dwyer}, title = {Automatic Generation of Load Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {51-50}, doi = {}, year = {2011}, } Article: ase11research-p217-p (type: Full paper) doi:
	Zhang, Sai	ASE '11: "Automated Documentation Inference ..." Automated Documentation Inference to Explain Failed Tests Sai Zhang, Cheng Zhang, and Michael D. Ernst (University of Washington, USA; Shanghai Jiao Tong University, China) @InProceedings{ASE11p71, author = {Sai Zhang and Cheng Zhang and Michael D. Ernst}, title = {Automated Documentation Inference to Explain Failed Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {71-70}, doi = {}, year = {2011}, } Article: ase11research-p182-p (type: Full paper) doi:
	Zheng, Wujie	ASE '11: "Mining Test Oracles of Web ..." Mining Test Oracles of Web Search Engines Wujie Zheng, Hao Ma, Michael R. Lyu, Tao Xie, and Irwin King (Chinese University of Hong Kong, China; Microsoft Research, USA; North Carolina State University, USA; AT&T Labs Research, USA) @InProceedings{ASE11p471, author = {Wujie Zheng and Hao Ma and Michael R. Lyu and Tao Xie and Irwin King}, title = {Mining Test Oracles of Web Search Engines}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {471-470}, doi = {}, year = {2011}, } Article: ase11research-p070-p (type: Short paper) doi:
	Zheng, Yongjie	ASE '11: "Taming Changes With 1.x-Way ..." Taming Changes With 1.x-Way Architecture-Implementation Mapping Yongjie Zheng and Richard N. Taylor (UC Irvine, USA) @InProceedings{ASE11p441, author = {Yongjie Zheng and Richard N. Taylor}, title = {Taming Changes With 1.x-Way Architecture-Implementation Mapping}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {441-440}, doi = {}, year = {2011}, } Article: ase11research-p059-p (type: Short paper) doi:
	Ziftci, Celal	ASE '11: "Tracing Requirements to Tests ..." Tracing Requirements to Tests with High Precision and Recall Celal Ziftci and Ingolf Krueger (UC San Diego, USA) @InProceedings{ASE11p631, author = {Celal Ziftci and Ingolf Krueger}, title = {Tracing Requirements to Tests with High Precision and Recall}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {631-630}, doi = {}, year = {2011}, } Article: ase11research-p171-p (type: Short paper) doi:
	Zimmermann, Thomas	ASE '11: "Local vs. Global Models for ..." Local vs. Global Models for Effort Estimation and Defect Prediction Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, and David Cok (West Virginia University, USA; Wayne State University, USA; Microsoft Research, USA; GrammaTech Inc., USA) @InProceedings{ASE11p351, author = {Tim Menzies and Andrew Butcher and Andrian Marcus and Thomas Zimmermann and David Cok}, title = {Local vs. Global Models for Effort Estimation and Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {351-350}, doi = {}, year = {2011}, } Article: ase11research-p273-p (type: Full paper) doi:
	Zou, Yanzhen	ASE '11: "Finding the Merits and Drawbacks ..." Finding the Merits and Drawbacks of Software Resources from Comments Changsheng Liu, Yanzhen Zou, Sibo Cai, Bing Xie, and Hong Mei (Peking University, China) @InProceedings{ASE11p531, author = {Changsheng Liu and Yanzhen Zou and Sibo Cai and Bing Xie and Hong Mei}, title = {Finding the Merits and Drawbacks of Software Resources from Comments}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2011}, } Article: ase11research-p110-p (type: Short paper) doi:
	Zurowska, Karolina	ASE '11: "SAUML: A Tool for Symbolic ..." SAUML: A Tool for Symbolic Analysis of UML-RT Models Karolina Zurowska and Juergen Dingel (Queen's University, Canada) @InProceedings{ASE11p913, author = {Karolina Zurowska and Juergen Dingel}, title = {SAUML: A Tool for Symbolic Analysis of UML-RT Models}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {913-912}, doi = {}, year = {2011}, } Article: ase11tool-id9-p (type: Tool Demonstration) doi: