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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 doi: