The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2011)
Lawrence, KS, USA
Nov. 6, 2011 to Nov. 10, 2011
ISBN: 978-1-4577-1638-6
TABLE OF CONTENTS
Papers

Title pages (PDF)

pp. i-ii

Contents (PDF)

pp. 1-7

Automated web application testing using search based software engineering (Abstract)

Nadia Alshahwan , CREST Centre, University College London, UK
Mark Harman , CREST Centre, University College London, UK
pp. 3-12

Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (Abstract)

Hoan Anh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tung Thanh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Hung Viet Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
pp. 13-22

Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (Abstract)

Michael D. Ernst , University of Washington, USA
Vinay Augustine , ABB Corporate Research, USA
Nuo Li , ABB Robotics, USA
Jeff H. Perkins , MIT CSAIL, USA
Brian Robinson , ABB Corporate Research, USA
pp. 23-32

Heap cloning: Enabling dynamic symbolic execution of java programs (Abstract)

Saswat Anand , Georgia Institute of Technology, Atlanta, U.S.A.
Mary Jean Harrold , Georgia Institute of Technology, Atlanta, U.S.A.
pp. 33-42

Automatic generation of load tests (Abstract)

Matthew B. Dwyer , University of Nebraska - Lincoln, USA
Pingyu Zhang , University of Nebraska - Lincoln, USA
Sebastian Elbaum , University of Nebraska - Lincoln, USA
pp. 43-52

Symbolic search-based testing (Abstract)

Mark Harman , University College London, CREST Centre, U.K.
Youssef Hassoun , King's College London, U.K.
Tanja Vos , Universidad Politécnica de Valencia, Spain
Kiran Lakhotia , University College London, CREST Centre, U.K.
Phil McMinn , University of Sheffield, U.K.
Paolo Tonella , Fondazione Bruno Kessler, Trento, Italy
Arthur Baars , Universidad Politécnica de Valencia, Spain
pp. 53-62

Automated documentation inference to explain failed tests (Abstract)

Cheng Zhang , Shanghai Jiao Tong University, China
Sai Zhang , University of Washington, USA
Michael D. Ernst , University of Washington, USA
pp. 63-72

Generating program inputs for database application testing (Abstract)

Tao Xie , North Carolina State University, USA
Xintao Wu , University of North Carolina at Charlotte, USA
Kai Pan , University of North Carolina at Charlotte, USA
pp. 73-82

Prioritizing tests for fault localization through ambiguity group reduction (Abstract)

Rui Abreu , University of Porto, Departament of Informatics Engineering, Rua Dr. Roberto Frias, 4200-465, Portugal
Hans-Gerhard Gross , Delft University of Technology, Software Technology Department, Mekelweg 4, 2628 CD, The Netherlands
Arjan J.C. van Gemund , Delft University of Technology, Software Technology Department, Mekelweg 4, 2628 CD, The Netherlands
Alberto Gonzalez-Sanchez , Delft University of Technology, Software Technology Department, Mekelweg 4, 2628 CD, The Netherlands
pp. 83-92

Identifying future field accesses in exhaustive state space traversal (Abstract)

Ondrej Lhotak , David R. Cheriton School of Computer Science, University of Waterloo, Canada
Pavel Parizek , David R. Cheriton School of Computer Science, University of Waterloo, Canada
Pavel Parízek , David R. Cheriton School of Computer Science, University of Waterloo, Canada
pp. 93-102

Model checking distributed systems by combining caching and process checkpointing (Abstract)

Watcharin Leungwattanakit , University of Tokyo, Japan
Mitsuharu Yamamoto , Chiba University, Japan
Cyrille Artho , National Institute of Advanced Industrial Science and Technology, Tsukuba, Japan
Yoshinori Tanabe , National Institute of Informatics, Tokyo, Japan
Masami Hagiya , University of Tokyo, Japan
pp. 103-112

Supporting domain-specific state space reductions through local partial-order reduction (Abstract)

Marco Serafini , Yahoo! Research, Barcelona, Spain
Peter Bokor , TU Darmstadt, Germany
Johannes Kinder , EPFL, Lausanne, Switzerland
Neeraj Suri , TU Darmstadt, Germany
pp. 113-122

Scalable and precise symbolic analysis for atomicity violations (Abstract)

Malay K. Ganai , NEC Labs America, Princeton, USA
pp. 123-132

DC2: A framework for scalable, scope-bounded software verification (Abstract)

Aarti Gupta , NEC Laboratories America, Princeton, USA
Naoto Maeda , NEC Corporation, Kawasaki, Japan
Yoshiaki Miyazaki , NEC Corporation, Kawasaki, Japan
Hiroki Tokuoka , NEC Corporation, Kawasaki, Japan
Franjo Ivancic , NEC Laboratories America, Princeton, USA
Takashi Imoto , NEC Corporation, Kawasaki, Japan
Sriram Sankaranarayanan , University of Colorado, Boulder, USA
Gogul Balakrishnan , NEC Laboratories America, Princeton, USA
pp. 133-142

Formalizing hardware/software interface specifications (Abstract)

Thomas Ball , Microsoft Corporation, Redmond, WA 98052, USA
Juncao Li , Microsoft Corporation, Redmond, WA 98052, USA
Con McGarvey , Microsoft Corporation, Redmond, WA 98052, USA
Vladimir Levin , Microsoft Corporation, Redmond, WA 98052, USA
Fei Xie , Dept. of Computer Science, Portland State University, OR 97207, USA
pp. 143-152

Safe asynchronous multicore memory operations (Abstract)

Mike Dodds , University of Cambridge, UK
Matthew J. Parkinson , Microsoft Research Cambridge, UK
Matko Botincan , University of Cambridge, UK
Alastair F. Donaldson , Imperial College London, UK
pp. 153-162

A rule-based approach to the semantic lifting of model differences in the context of model versioning (Abstract)

Gabriele Taentzer , Philipps-Universität Marburg, Germany
Timo Kehrer , Software Engineering Group, University of Siegen, Germany
Udo Kelter , Software Engineering Group, University of Siegen, Germany
pp. 163-172

A model-driven framework for guided design space exploration (Abstract)

Istvan Rath , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Abel Hegedus , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Daniel Varro , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Akos Horvath , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
pp. 173-182

Automated extraction of architecture-level performance models of distributed component-based systems (Abstract)

Fabian Brosig , Karlsruhe Institute of Technology (KIT), 76131, Germany
Samuel Kounev , Karlsruhe Institute of Technology (KIT), 76131, Germany
Nikolaus Huber , Karlsruhe Institute of Technology (KIT), 76131, Germany
pp. 183-192

Precomputing possible configuration error diagnoses (Abstract)

Ariel Rabkin , EECS Department, UC Berkeley, California, USA
Randy Katz , EECS Department, UC Berkeley, California, USA
pp. 193-202

An optimal strategy for algorithmic debugging (Abstract)

Josep Silva , Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, E-46022, Spain
David Insa , Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, E-46022, Spain
pp. 203-212

Localizing SQL faults in database applications (Abstract)

James A. Jones , University of California, Irvine, USA
Gregory M. Kapfhammer , Allegheny College, USA
Sarah R. Clark , Georgia Institute of Technology, USA
Mary Jean Harrold , Georgia Institute of Technology, USA
Jake Cobb , Georgia Institute of Technology, USA
pp. 213-222

Improving automated documentation to code traceability by combining retrieval techniques (Abstract)

Xiaofan Chen , Department of Computer Science, University of Auckland, New Zealand
John Grundy , Centre for Computing & Engineering Software Systems, Swinburne University of Technology, Melbourne, Australia
pp. 223-232

Iterative mining of resource-releasing specifications (Abstract)

Qian Wu , Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, P
Qianxiang Wang , Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, P
Guangtai Liang , Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, P
Tao Xie , Department of Computer Science, North Carolina State University, Raleigh, 27695, USA
Hong Mei , Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, P
pp. 233-242

Flexible design pattern detection based on feature types (Abstract)

Patrick Mader , Institute for Systems Engineering and Automation (SEA), Johannes Kepler University, Linz, Austria
Ghulam Rasool , COMSATS Institute of Information Technology, Lahore, Pakistan
pp. 243-252

Towards more accurate retrieval of duplicate bug reports (Abstract)

Chengnian Sun , School of Computing, National University of Singapore, Singapore
Jing Jiang , School of Information Systems, Singapore Management University, Singapore
David Lo , School of Information Systems, Singapore Management University, Singapore
Siau-Cheng Khoo , School of Computing, National University of Singapore, Singapore
pp. 253-262

A topic-based approach for narrowing the search space of buggy files from a bug report (Abstract)

Hung Viet Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Anh Tuan Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Jafar Al-Kofahi , Electrical and Computer Engineering Department, Iowa State University, USA
Tung Thanh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
pp. 263-272

Specifying and detecting meaningful changes in programs (Abstract)

Bashar Nuseibeh , The Open University, Milton Keynes, UK
Yijun Yu , The Open University, Milton Keynes, UK
Thein Than Tun , The Open University, Milton Keynes, UK
pp. 273-282

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (Abstract)

Antonio Filieri , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133, Italy
Alberto Leva , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133, Italy
Carlo Ghezzi , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133, Italy
Martina Maggio , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci, 32; 20133, Italy
pp. 283-292

Generalizing evolutionary coupling with stochastic dependencies (Abstract)

Yuanfang Cai , Dept. of Computer Science, Drexel University, Philadelphia, PA, USA
Sunny Wong , Siemens Healthcare, Malvern, PA, USA
pp. 293-302

Differential precondition checking: A lightweight, reusable analysis for refactoring tools (Abstract)

Ralph E. Johnson , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Jeffrey L. Overbey , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
pp. 303-312

A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models (Abstract)

Kim Lauenroth , Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, 45127, Germany
Richard Pohl , Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, 45127, Germany
Klaus Pohl , Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, 45127, Germany
pp. 313-322

Finding relevant answers in software forums (Abstract)

Swapna Gottipati , School of Information Systems, Singapore Management University, Singapore
Jing Jiang , School of Information Systems, Singapore Management University, Singapore
David Lo , School of Information Systems, Singapore Management University, Singapore
pp. 323-332

Software process evaluation: A machine learning approach (Abstract)

Steven C. H. Hoi , School of Computer Engineering, Nanyang Technological University, Singapore 639798, Singapore
Xiaokui Xiao , School of Computer Engineering, Nanyang Technological University, Singapore 639798, Singapore
Ning Chen , School of Computer Engineering, Nanyang Technological University, Singapore 639798, Singapore
pp. 333-342

Local vs. global models for effort estimation and defect prediction (Abstract)

Andrew Butcher , CS & EE, WVU, Morgantown, USA
Thomas Zimmermann , Microsoft Research, Redmond, USA
Tim Menzies , CS & EE, WVU, Morgantown, USA
David Cok , GrammaTech Inc., Ithaca, New York, USA
Andrian Marcus , Computer Science, Wayne State University, USA
pp. 343-351

Capacity planning for event-based systems using automated performance predictions (Abstract)

David Evans , University of Cambridge, UK
Christoph Rathfelder , FZI Research Center for Information Technology, Karlsruhe, Germany
Samuel Kounev , Karlsruhe Institute of Technology, Germany
pp. 352-361

Ecological inference in empirical software engineering (Abstract)

Premkumar Devanbu , Department of Computer Science, University of California, Davis, USA
Daryl Posnett , Department of Computer Science, University of California, Davis, USA
Vladimir Filkov , Department of Computer Science, University of California, Davis, USA
pp. 362-371

Detection of feature interactions using feature-aware verification (Abstract)

Dirk Beyer , University of Passau, Germany
Philipp Wendler , University of Passau, Germany
Hendrik Speidel , University of Passau, Germany
Sven Apel , University of Passau, Germany
Alexander von Rhein , University of Passau, Germany
pp. 372-375

Querying source code with natural language (Abstract)

Markus Kimmig , Technische Universität Darmstadt, Germany
Martin Monperrus , University of Lille, Germany
Mira Mezini , Technische Universität Darmstadt, Germany
pp. 376-379

Coverage rewarded: Test input generation via adaptation-based programming (Abstract)

Alex Groce , School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA
pp. 380-383

Mendel: Source code recommendation based on a genetic metaphor (Abstract)

Andy Kellens , Vrije Universiteit Brussel, Belgium
Angela Lozano , Université catholique de Louvain, Belgium
Kim Mens , Université catholique de Louvain, Belgium
pp. 384-387

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (Abstract)

Elvinia Riccobene , Dip. di Tecnologie dell'Informazione - Università degli Studi di Milano, Italy
Paolo Arcaini , Dip. di Tecnologie dell'Informazione - Università degli Studi di Milano, Italy
Angelo Gargantini , Dip. di Ing. dell'Informazione e Metodi Matematici - Università di Bergamo, Italy
pp. 388-391

Code-based automated program fixing (Abstract)

Carlo A. Furia , Software Engineering, ETH Zurich, Switzerland
Bertrand Meyer , Software Engineering, ETH Zurich, Switzerland
Yi Wei , Software Engineering, ETH Zurich, Switzerland
Yu Pei , Software Engineering, ETH Zurich, Switzerland
Martin Nordio , Software Engineering, ETH Zurich, Switzerland
pp. 392-395

Taming changes With 1.x-Way architecture-implementation mapping (Abstract)

Yongjie Zheng , Institute for Software Research, University of California, Irvine, 92697, USA
Richard N. Taylor , Institute for Software Research, University of California, Irvine, 92697, USA
pp. 396-399

Evaluating test selection strategies for end-user specified flow-based applications (Abstract)

Kristina Winbladh , Department of Electrical and Computer Engineering, University of Delaware, Newark, USA
Anand Ranganathan , IBM TJ Watson Research Center, Hawthorne, NY, USA
pp. 400-403

Towards dynamic backward slicing of model transformations (Abstract)

Akos Horvath , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Zoltan Ujhelyi , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Daniel Varro , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
pp. 404-407

Mining test oracles of web search engines (Abstract)

Tao Xie , Department of Computer Science, North Carolina State University, USA
Michael R. Lyu , Computer Science and Engineering, The Chinese University of Hong Kong, China
Hao Ma , Internet Services Research Center (ISRC), Microsoft Research, Redmond, USA
Irwin King , Computer Science and Engineering, The Chinese University of Hong Kong, China
Wujie Zheng , Computer Science and Engineering, The Chinese University of Hong Kong, China
pp. 408-411

AutoODC: Automated generation of Orthogonal Defect Classifications (Abstract)

Isaac Persing , Human Language Technology Research Institute, University of Texas at Dallas, USA
Ruili Geng , Department of Computer Science and Engineering, Southern Methodist University, Dallas, TX, USA
LiGuo Huang , Department of Computer Science and Engineering, Southern Methodist University, Dallas, TX, USA
Jeff Tian , Department of Computer Science and Engineering, Southern Methodist University, Dallas, TX, USA
Vincent Ng , Human Language Technology Research Institute, University of Texas at Dallas, USA
Xu Bai , Department of Computer Science and Engineering, Southern Methodist University, Dallas, TX, USA
pp. 412-415

Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (Abstract)

Achraf Ghabi , Johannes Kepler University, 4040 Linz, Austria
Alexander Egyed , Johannes Kepler University, 4040 Linz, Austria
pp. 416-419

Proximity based weighting of test cases to improve spectrum based fault localization (Abstract)

Sudipto Ghosh , Department of Computer Science, Colorado State University, Fort Collins, USA
Aritra Bandyopadhyay , Department of Computer Science, Colorado State University, Fort Collins, USA
pp. 420-423

Slicing feature models (Abstract)

Philippe Lahire , I3S - CNRS UMR 6070, Université Nice Sophia Antipolis, France
Robert B. France , Computer Science Department, Colorado State University, USA
Philippe Collet , I3S - CNRS UMR 6070, Université Nice Sophia Antipolis, France
Mathieu Acher , I3S - CNRS UMR 6070, Université Nice Sophia Antipolis, France
pp. 424-427

Using model checking to analyze static properties of declarative models (Abstract)

Amirhossein Vakili , Cheriton School of Computer Science, University of Waterloo, Ontario, Canada, N2L 3G1
Nancy A. Day , Cheriton School of Computer Science, University of Waterloo, Ontario, Canada, N2L 3G1
pp. 428-431

Finding the merits and drawbacks of software resources from comments (Abstract)

Bing Xie , Software Institute, School of Electronics Engineering and Computer Science, Peking University, China
Hong Mei , Software Institute, School of Electronics Engineering and Computer Science, Peking University, China
Yanzhen Zou , Software Institute, School of Electronics Engineering and Computer Science, Peking University, China
Changsheng Liu , Software Institute, School of Electronics Engineering and Computer Science, Peking University, China
Sibo Cai , Software Institute, School of Electronics Engineering and Computer Science, Peking University, China
pp. 432-435

Combining search-based and constraint-based testing (Abstract)

Jan Malburg , Saarland University - Computer Science, Saarbrücken, Germany
Gordon Fraser , Saarland University - Computer Science, Saarbrücken, Germany
pp. 436-439

Stateful testing: Finding more errors in code and contracts (Abstract)

Bertrand Meyer , Software Engineering, ETH Zurich, Switzerland
Alexander Horton , Software Engineering, ETH Zurich, Switzerland
Hannes Roth , Software Engineering, ETH Zurich, Switzerland
Michael Steindorfer , Software Engineering, ETH Zurich, Switzerland
Martin Nordio , Software Engineering, ETH Zurich, Switzerland
Carlo A. Furia , Software Engineering, ETH Zurich, Switzerland
Yi Wei , Software Engineering, ETH Zurich, Switzerland
Yu Pei , Software Engineering, ETH Zurich, Switzerland
pp. 440-443

Do software engineers benefit from source code navigation with traceability? -- An experiment in software change management (Abstract)

Alexander Egyed , Institute for Systems Engineering and Automation (SEA), Johannes Kepler University, Linz, Austria
Patrick Mader , Institute for Systems Engineering and Automation (SEA), Johannes Kepler University, Linz, Austria
pp. 444-447

Automating analysis of qualitative preferences in goal-oriented requirements engineering (Abstract)

Ganesh Ram Santhanam , Department of Computer Science, Iowa State University, Ames, 50011, USA
Zachary J. Oster , Department of Computer Science, Iowa State University, Ames, 50011, USA
Samik Basu , Department of Computer Science, Iowa State University, Ames, 50011, USA
pp. 448-451

History slicing (Abstract)

Francisco Servant , Department of Informatics, University of California, Irvine, U.S.A. 92697-3440
James A. Jones , Department of Informatics, University of California, Irvine, U.S.A. 92697-3440
pp. 452-455

Analyzing temporal API usage patterns (Abstract)

Gias Uddin , School of Computer Science, McGill University, Montréal, QC Canada
Martin P. Robillard , School of Computer Science, McGill University, Montréal, QC Canada
Barthelemy Dagenais , School of Computer Science, McGill University, Montréal, QC Canada
pp. 456-459

Isomorphism in model tools and editors (Abstract)

Nenad Medvidovic , University of Southern California, Los Angeles, USA
Yuriy Brun , University of Washington, Seattle, USA
George Edwards , Blue Cell Software, Los Angeles, CA, USA
pp. 460-463

A case for alloy annotations for efficient incremental analysis via domain specific solvers (Abstract)

Sarfraz Khurshid , Electrical and Computer Engineering, University of Texas at Austin, USA
Dewayne E. Perry , Electrical and Computer Engineering, University of Texas at Austin, USA
Svetoslav Ganov , Electrical and Computer Engineering, University of Texas at Austin, USA
pp. 464-467

Exploring caching for efficient collection operations (Abstract)

Thomas Weigert , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
Swetha Surapaneni , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
Sanjay K Madria , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
Venkata Krishna Suhas Nerella , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
pp. 468-471

Tracing requirements to tests with high precision and recall (Abstract)

Ingolf Krueger , Computer Science Department, University of California at San Diego, USA
Celal Ziftci , Computer Science Department, University of California at San Diego, USA
pp. 472-475

Extracting structured data from natural language documents with island parsing (Abstract)

Michele Lanza , Faculty of Informatics, Univ. of Lugano, Switzerland
Anthony Cleve , Faculty of Informatics, University of Namur, Belgium
Andrea Mocci , DEI, Politecnico di Milano, Italy
Alberto Bacchelli , Faculty of Informatics, Univ. of Lugano, Switzerland
pp. 476-479

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (Abstract)

Hiroyuki Kato , National Institute of Informatics, Japan
Kazuhiro Inaba , National Institute of Informatics, Japan
Keisuke Nakano , University of Electro-Communications, Japan
Zhenjiang Hu , National Institute of Informatics, Japan
Soichiro Hidaka , National Institute of Informatics, Japan
pp. 480-483

Run-time systems failure prediction via proactive monitoring (Abstract)

Henry Muccini , Dipartimento di Informatica, University of L'Aquila, Italy
Pengcheng Zhang , State Key Laboratory of Novel Software Technology, Nanjing University, China 210093
Xuandong Li , State Key Laboratory of Novel Software Technology, Nanjing University, China 210093
Andrea Polini , Computer Science Division, School of Science and Technologies, University of Camerino, Italy
pp. 484-487

Towards an approach and framework for test-execution plan derivation (Abstract)

Vipul Shah , Tata Research Development and Design Centre, Pune, India
Soham Sundar Chakraborty , Advanced Micro Devices, Bangalore, India
pp. 488-491

Statistical debugging with elastic predicates (Abstract)

David Kamensky , Institute of Computational Engineering and Sciences, University of Texas at Austin, USA
Paul F. Reynolds , Dept. of Computer Science, University of Virginia, Charlottesville, USA
Ross Gore , Dept. of Computer Science, University of Virginia, Charlottesville, USA
pp. 492-495

Diagnosis of software failures using computational geometry (Abstract)

Edward Stehle , Department of Computer Science, College of Engineering, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA
Maxim Shevertalov , Department of Computer Science, College of Engineering, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA
Kevin Lynch , Department of Computer Science, College of Engineering, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA
Spiros Mancoridis , Department of Computer Science, College of Engineering, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA
Chris Rorres , Department of Computer Science, College of Engineering, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA
pp. 496-499

GitBAC: Flexible access control for non-modular concerns (Abstract)

Macneil Shonle , University of Texas at San Antonio, One UTSA Circle, 78249-1644, USA
Jianwei Niu , University of Texas at San Antonio, One UTSA Circle, 78249-1644, USA
Mark Robinson , University of Texas at San Antonio, One UTSA Circle, 78249-1644, USA
pp. 500-503

Client-side web application slicing (Abstract)

Ivica Crnkovic , Mälardalen Real-Time Research Center, Mälardalen University, Västerâs, Sweden
Josip Maras , Department for Modelling and Intelligent Systems, University of Split, Croatia
Jan Carlson , Mälardalen Real-Time Research Center, Mälardalen University, Västerâs, Sweden
pp. 504-507

Supporting activity based computing paradigm in global software development (Abstract)

Muhammad Ali Babar , Software Development Group, IT University of Copenhagen, Denmark
Paolo Tell , Software Development Group, IT University of Copenhagen, Denmark
pp. 508-511

Inferred dependence coverage to support fault contextualization (Abstract)

James A. Jones , Department of Informatics, University of California, Irvine, 92617-3440, USA
Fang Deng , Department of Informatics, University of California, Irvine, 92617-3440, USA
pp. 512-515

Using model-based assurance to strengthen diagnostic procedures (Abstract)

Jeremy Johnson , SGT/NASA Ames Research Center, Moffett Field, CA USA
Ann Patterson-Hine , NASA Ames Research Center, Moffett Field, CA USA
Robyn Lutz , Jet Propulsion Lab, California Institute of Technology & Iowa State University, USA
pp. 516-519

Fault-localization using dynamic slicing and change impact analysis (Abstract)

Milos Gligoric , University of Illinois at Urbana-Champaign, USA
Vilas Jagannath , University of Illinois at Urbana-Champaign, USA
Marcelo d'Amorim , Federal University of Pernambuco, Brazil
Elton Alves , Federal University of Pernambuco, Brazil
pp. 520-523

Improving source code search with natural language phrasal representations of method signatures (Abstract)

K. Vijay-Shanker , Deptartment of Computer and Information Sciences, University of Delaware, Newark, 19716, USA
Lori Pollock , Deptartment of Computer and Information Sciences, University of Delaware, Newark, 19716, USA
Emily Hill , Deptartment of Computer Science, Montclair State University, NJ 07043, USA
pp. 524-527

Deviation management during process execution (Abstract)

Marcos Aurelio Almeida da Silva , LIP6, Paris Universitas, France
Reda Bendraou , LIP6, Paris Universitas, France
Xavier Blanc , LaBRI, Université de Bordeaux 1, France
pp. 528-531

PRECIS: Inferring invariants using program path guided clustering (Abstract)

Viraj Athavale , Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, 61801, USA
Parth Sagdeo , Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, 61801, USA
Sumant Kowshik , Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, 61801, USA
Shobha Vasudevan , Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, 61801, USA
pp. 532-535

Automated planning for feature model configuration based on stakeholders' business concerns (Abstract)

Dragan Gasevic , School of Computing and Information Systems, Athabasca University, Canada
Ebrahim Bagheri , School of Computing and Information Systems, Athabasca University, Canada
Mohsen Asadi , School of Interactive Art and Technology, Simon Fraser University, Surrey, Canada
Marek Hatala , School of Interactive Art and Technology, Simon Fraser University, Surrey, Canada
Samaneh Soltani , School of Interactive Art and Technology, Simon Fraser University, Surrey, Canada
pp. 536-539

An adaptive approach to impact analysis from change requests to source code (Abstract)

Bogdan Dit , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185, USA
Huzefa Kagdi , Department of Electrical Engineering and Computer Science, Wichita State University, KS 67260, USA
Denys Poshyvanyk , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185, USA
Malcom Gethers , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185, USA
pp. 540-543

Domain and value checking of web application invocation arguments (Abstract)

William G.J. Halfond , University of Southern California, Los Angeles, USA
pp. 544-547

Mixed constraints for test input generation - An initial exploration (Abstract)

Sarfraz Khurshid , The University of Texas at Austin, USA
Vidya Priyadarshini Narayanan , The University of Texas at Austin, USA
Shadi Abdul Khalek , The University of Texas at Austin, USA
pp. 548-551

Enhancing architectural recovery using concerns (Abstract)

Daniel Popescu , Computer Science Department, University of Southern California, Los Angeles, 90089, USA
Chris Mattmann , Jet Propulsion Laboratory, California Inst. of Technology, Pasadena, 91109, USA
Nenad Medvidovic , Computer Science Department, University of Southern California, Los Angeles, 90089, USA
Joshua Garcia , Computer Science Department, University of Southern California, Los Angeles, 90089, USA
Yuanfang Cai , Computer Science Department, Drexel University, Philadelphia, PA 19104, USA
pp. 552-555

Search-based fault localization (Abstract)

Shaowei Wang , School of Information Systems, Singapore Management University, Singapore
Lucia , School of Information Systems, Singapore Management University, Singapore
Hoong Chuin Lau , School of Information Systems, Singapore Management University, Singapore
David Lo , School of Information Systems, Singapore Management University, Singapore
Lingxiao Jiang , School of Information Systems, Singapore Management University, Singapore
pp. 556-559

Towards requirements aware systems: Run-time resolution of design-time assumptions (Abstract)

Nelly Bencomo , INRIA Paris - Rocquencourt, Le Chesnay, Franceaine de Voluceau, B.P.105, 78153, France
Pete Sawyer , School of Computing & Communications, InfoLab21, Lancaster University, UK
Kristopher Welsh , School of Computing & Communications, InfoLab21, Lancaster University, UK
pp. 560-563

Generating essential user interface prototypes to validate requirements (Abstract)

Massila Kamalrudin , Department of Electrical and Computer Engineering, University of Auckland, Private bag 92019, 1142, New Zealand
John Grundy , Centre for Computing and Engineering Software Systems, Swinburne University of Technology, PO Box 218, Hawthorn, Victoria 3122, Australia
pp. 564-567

Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (Abstract)

Andres J. Ramirez , Department of Computer Science and Engineering, Michigan State University, East Lansing, 48824 USA
Adam C. Jensen , Department of Computer Science and Engineering, Michigan State University, East Lansing, 48824 USA
Betty H. C. Cheng , Department of Computer Science and Engineering, Michigan State University, East Lansing, 48824 USA
David B. Knoester , Department of Computer Science and Engineering, Michigan State University, East Lansing, 48824 USA
pp. 568-571

iDiff: Interaction-based program differencing tool (Abstract)

Hung Viet Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tung Thanh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Hoan Anh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
pp. 572-575

CloneDifferentiator: Analyzing clones by differentiation (Abstract)

Yinxing Xue , School of Computing, National University of Singapore, Singapore
Zhenchang Xing , School of Computing, National University of Singapore, Singapore
Stan Jarzabek , School of Computing, National University of Singapore, Singapore
pp. 576-579

Implementing efficient model validation in EMF tools (Abstract)

Gabor Bergmann , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Istvan Rath , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Daniel Varro , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Zoltan Ujhelyi , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Abel Hegedus , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Akos Horvath , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
pp. 580-583

JPF-AWT: Model checking GUI applications (Abstract)

Peter Mehlitz , NASA Ames Research Center, Moffett Field, CA, USA
Oksana Tkachuk , NASA Ames Research Center, Moffett Field, CA, USA
Mateusz Ujma , Department of Computer Science, University of Oxford, UK
pp. 584-587

The CORE system: Animation and functional correctness of pointer programs (Abstract)

Ewen Maclean , School of Mathematical and Computer Sciences, Heriot-Watt University, UK
Andrew Ireland , School of Mathematical and Computer Sciences, Heriot-Watt University, UK
Gudmund Grov , School of Informatics, University of Edinburgh, UK
pp. 588-591

APIExample: An effective web search based usage example recommendation system for java APIs (Abstract)

Ge Li , Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
Lu Fang , Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
Lijie Wang , Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
Fuqing Yang , Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
Leye Wang , Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
Bing Xie , Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
pp. 592-595

BEST: A symbolic testing tool for predicting multi-threaded program failures (Abstract)

Chao Wang , NEC Labs America, Princeton, USA
Aarti Gupta , NEC Labs America, Princeton, USA
Gogul Balakrishnan , NEC Labs America, Princeton, USA
Nipun Arora , Columbia University, New York, USA
Malay K. Ganai , NEC Labs America, Princeton, USA
pp. 596-599

Decomposing feature models: language, environment, and applications (Abstract)

Robert B. France , Computer Science Department, Colorado State University, USA
Mathieu Acher , I3S - CNRS UMR 6070, Université Nice Sophia Antipolis, France
Philippe Lahire , I3S - CNRS UMR 6070, Université Nice Sophia Antipolis, France
Philippe Collet , I3S - CNRS UMR 6070, Université Nice Sophia Antipolis, France
pp. 600-603

SAUML: A tool for symbolic analysis of UML-RT models (Abstract)

Karolina Zurowska , School of Computing, Queen's University, Kingston, ON, Canada
Juergen Dingel , School of Computing, Queen's University, Kingston, ON, Canada
pp. 604-607

TestEra: A tool for testing Java programs using alloy specifications (Abstract)

Darko Marinov , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Shadi Abdul Khalek , Electrical and Computer Engineering, University of Texas at Austin, USA
Guowei Yang , Electrical and Computer Engineering, University of Texas at Austin, USA
Lingming Zhang , Electrical and Computer Engineering, University of Texas at Austin, USA
Sarfraz Khurshid , Electrical and Computer Engineering, University of Texas at Austin, USA
pp. 608-611

MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (Abstract)

Rene Just , Department of Applied Information Processing, Ulm University, Germany
Franz Schweiggert , Department of Applied Information Processing, Ulm University, Germany
pp. 612-615

jCT: A Java Code Tomograph (Abstract)

Samiran Mahmud , Faculty of Information & Communication Technologies, Swinburne University of Technology, Hawthorn, AUSTRALIA
Olga Goloshchapova , Faculty of Information & Communication Technologies, Swinburne University of Technology, Hawthorn, AUSTRALIA
Markus Lumpe , Faculty of Information & Communication Technologies, Swinburne University of Technology, Hawthorn, AUSTRALIA
pp. 616-619

Generating realistic test models for model processing tools (Abstract)

Pit Pietsch , Software Engineering Group, University of Siegen, Germany
Udo Kelter , Software Engineering Group, University of Siegen, Germany
Hamed Shariat Yazdi , Software Engineering Group, University of Siegen, Germany
pp. 620-623

Guided test visualization: Making sense of errors in concurrent programs (Abstract)

Eric G Mercer , Brigham Young University, USA
Neha Rungta , NASA Ames Research Center, USA
Saint Wesonga , Brigham Young University, USA
pp. 624-627

The Capture Calculus Toolset (Abstract)

Robert J. Hall , AT&T Labs Research, Florham Park, NJ, USA
pp. 628-632

A model checking framework for hierarchical systems (Abstract)

Truong Khanh Nguyen , School of Computing, National University of Singapore, Singapore
Jin Song Dong , School of Computing, National University of Singapore, Singapore
Jun Sun , Singapore University of Technology and Design, Singapore
Yang Liu , School of Computing, National University of Singapore, Singapore
pp. 633-636

Automatically detecting the quality of the query and its implications in IR-based concept location (Abstract)

Sonia Haiduc , Department of Computer Science, Wayne State University, Detroit, MI, USA
pp. 637-640

Using Formal Concept Analysis to support change analysis (Abstract)

Bixin Li , Southeast University, School of Computer Science and Engineering, Nanjing, China
Xiaobing Sun , Southeast University, School of Computer Science and Engineering, Nanjing, China
pp. 641-645

A framework for managing uncertainty in self-adaptive software systems (Abstract)

Naeem Esfahani , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
pp. 646-650

Toward consistency checking of natural language temporal requirements (Abstract)

Wenbin Li , Department of Computer Science, University of Kentucky, Lexington, USA
pp. 651-655

Analyzing temporal properties of abstract models (Abstract)

Amirhossein Vakili , Cheriton School of Computer Science, University of Waterloo, Ontario, Canada, N2L 3G1
pp. 656-659

Improving spectrum-based fault localization using proximity-based weighting of test cases (Abstract)

Aritra Bandyopadhyay , Department of Computer Science, Colorado State University, Fort Collins, USA
pp. 660-664

Automatic assessment of software documentation quality (Abstract)

Andreas Dautovic , Institute for Business Informatics - Software Engineering, Johannes Kepler University Linz, Altenberger Straße 69, 4040, Austria
pp. 665-669
97 ms
(Ver 3.3 (11022016))