BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of ASE 2011 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111107T080000 DTEND;TZID=America/Chicago:20111107T090000 SUMMARY:Breakfast LOCATION: DESCRIPTION:Breakfast\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111107T090000 DTEND;TZID=America/Chicago:20111107T170000 SUMMARY:Tutorial – Java Pathfinder LOCATION: DESCRIPTION:Tutorial – Java Pathfinder (Chair: Peter Mehlitz\, Neha Rungta\ , and Willem Visser)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111107T090000 DTEND;TZID=America/Chicago:20111107T123000 SUMMARY:Tutorial – Schema-based Program Synthesis and the AutoBayes System LOCATION: DESCRIPTION:Tutorial – Schema-based Program Synthesis and the AutoBayes Sys tem (Chair: Johann Schumann)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111107T133000 DTEND;TZID=America/Chicago:20111107T170000 SUMMARY:Tutorial – Rulemakers and Toolmakers: Adaptive Object-Models as an Agile Division of Labor LOCATION: DESCRIPTION:Tutorial – Rulemakers and Toolmakers: Adaptive Object-Models as an Agile Division of Labor (Chair: Joseph W. Yoder)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111108T080000 DTEND;TZID=America/Chicago:20111108T090000 SUMMARY:Breakfast LOCATION: DESCRIPTION:Breakfast\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111108T090000 DTEND;TZID=America/Chicago:20111108T123000 SUMMARY:Tutorial – Incremental Evaluation of Model Queries over EMF Models: a Tutorial on EMF-IncQuery? LOCATION: DESCRIPTION:Tutorial – Incremental Evaluation of Model Queries over EMF Mod els: a Tutorial on EMF-IncQuery? (Chair: Gábor Bergmann\, Ábel Hegedüs\, Ák os Horváth\, István Ráth\, Zoltán Ujhelyi\, and Dániel Varró)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111108T090000 DTEND;TZID=America/Chicago:20111108T123000 SUMMARY:Tutorial – Modularizing Crosscutting Concerns with Ptolemy LOCATION: DESCRIPTION:Tutorial – Modularizing Crosscutting Concerns with Ptolemy (Cha ir: Hridesh Rajan\, Gary T. Leavens\, and Robert Dyer)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111108T133000 DTEND;TZID=America/Chicago:20111108T170000 SUMMARY:Tutorial – The use of Text Retrieval Techniques in Software Enginee ring LOCATION: DESCRIPTION:Tutorial – The use of Text Retrieval Techniques in Software Eng ineering (Chair: Andrian Marcus and Giuliano Antoniol)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111108T133000 DTEND;TZID=America/Chicago:20111108T170000 SUMMARY:Tutorial – xSA: eXtreme Software Analytics – Marriage of eXtreme Co mputing and Software Analytics LOCATION: DESCRIPTION:Tutorial – xSA: eXtreme Software Analytics – Marriage of eXtrem e Computing and Software Analytics (Chair: Dongmei Zhang and Tao Xie)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T073000 DTEND;TZID=America/Chicago:20111109T083000 SUMMARY:Breakfast LOCATION: DESCRIPTION:Breakfast\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T103000 DTEND;TZID=America/Chicago:20111109T110000 SUMMARY:Break LOCATION: DESCRIPTION:Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T123000 DTEND;TZID=America/Chicago:20111109T133000 SUMMARY:Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T150000 DTEND;TZID=America/Chicago:20111109T153000 SUMMARY:Break LOCATION: DESCRIPTION:Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T173000 DTEND;TZID=America/Chicago:20111109T200000 SUMMARY:Reception LOCATION: DESCRIPTION:Reception\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T180000 DTEND;TZID=America/Chicago:20111109T200000 SUMMARY:Steering Committee Meeting LOCATION: DESCRIPTION:Steering Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111110T073000 DTEND;TZID=America/Chicago:20111110T083000 SUMMARY:Breakfast LOCATION: DESCRIPTION:Breakfast\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111110T100000 DTEND;TZID=America/Chicago:20111110T103000 SUMMARY:Break LOCATION: DESCRIPTION:Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111110T123000 DTEND;TZID=America/Chicago:20111110T133000 SUMMARY:Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111110T150000 DTEND;TZID=America/Chicago:20111110T153000 SUMMARY:Break LOCATION: DESCRIPTION:Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111109T153000 DTEND;TZID=America/Chicago:20111109T173000 SUMMARY:Poster Sessions LOCATION: DESCRIPTION:Poster Sessions\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111110T190000 DTEND;TZID=America/Chicago:20111110T220000 SUMMARY:Banquet LOCATION: DESCRIPTION:Banquet\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111111T080000 DTEND;TZID=America/Chicago:20111111T090000 SUMMARY:Breakfast LOCATION: DESCRIPTION:Breakfast\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111111T103000 DTEND;TZID=America/Chicago:20111111T110000 SUMMARY:Break LOCATION: DESCRIPTION:Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111111T123000 DTEND;TZID=America/Chicago:20111111T133000 SUMMARY:Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111111T150000 DTEND;TZID=America/Chicago:20111111T153000 SUMMARY:Closing LOCATION: DESCRIPTION:Closing\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111112T080000 DTEND;TZID=America/Chicago:20111112T090000 SUMMARY:Breakfast LOCATION: DESCRIPTION:Breakfast\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111112T090000 DTEND;TZID=America/Chicago:20111112T170000 SUMMARY:Java Pathfinder Workshop 2011 LOCATION: DESCRIPTION:Java Pathfinder Workshop 2011\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111112T090000 DTEND;TZID=America/Chicago:20111112T170000 SUMMARY:MALETS 2011: International Workshop on Machine Learning Technologie s in Software Engineering LOCATION: DESCRIPTION:MALETS 2011: International Workshop on Machine Learning Technol ogies in Software Engineering\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201841Z DTSTAMP:20130930T201841Z DTSTART;TZID=America/Chicago:20111112T090000 DTEND;TZID=America/Chicago:20111112T170000 SUMMARY:SoSMD 2011: Workshop on Infrastructure\, Tools and Technologies for Systems of Medical Devices LOCATION: DESCRIPTION:SoSMD 2011: Workshop on Infrastructure\, Tools and Technologies for Systems of Medical Devices\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T083000 DTEND;TZID=America/Chicago:20111109T084500 SUMMARY:Welcome Message from the Chairs LOCATION: DESCRIPTION:Welcome Message from the Chairs\nPerry Alexander\, Corina Păsăr eanu\, and John Hosking\nUniversity of Kansas\, USA\; Carnegy Mellon Univer sity\, USA\; Nasa AMES\, USA\; University of Auckland\, New Zealand\n\nThis conference publication contains the proceedings of the 26th Internationa l Conference on Automated Software Engineering (ASE 2011)\, held at The O read\, in Lawrence\, Kansas\, USA\, on November 6--12\, 2011. The IEEE/AC M International Conference on Automated Software Engineering brings toget her researchers and practitioners to share ideas on the foundations\, tec hniques\, tools\, and applications of automated software engineering. The specific topics targeted by ASE 2011 included but were not limited to: A utomated reasoning techniques\, Component-based systems\, Computer-suppor ted cooperative work\, Configuration management\, Domain modelling and me ta-modelling\, Empirical software engineering\, Human-computer interactio n\, Knowledge acquisition and management\, Maintenance and evolution\, Mo del-based software development\, Model-driven engineering and model tra nsformation\, Modelling language semantics\, Open systems development\, P roduct line architectures\, Program understanding\, Program synthesis\, P rogram transformation\, Re-engineering\, Requirements engineering\, Speci fication languages\, Software architecture and design\, Software visualiz ation\, Testing\, verification\, and validation\, Tutoring\, help\, and d ocumentation systems\, and Software analysis.\n UID:b8eb0dea4b ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T084500 DTEND;TZID=America/Chicago:20111109T103000 SUMMARY:Wikipedia and How to Use it for Semantic Document Representation LOCATION: DESCRIPTION:Wikipedia and How to Use it for Semantic Document Representatio n\nIan H. Witten\nUniversity of Waikato\, New Zealand\n\nWikipedia is a gol dmine of information\; not just for its many readers\, but also for the gro wing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and ju dgment: a huge\, constantly evolving tapestry of concepts and relations tha t is being applied to a host of tasks. This talk focuses on the process of "\;wikification"\;\; that is\, automatically and judiciously augme nting a plain-text document with pertinent hyperlinks to Wikipedia articles —as though the document were itself a Wikipedia article. I first describe h ow Wikipedia can be used to determine semantic relatedness between concepts . Then I explain how to wikify documents by exploiting Wikipedia'\;s int ernal hyperlinks for relational information and their anchor texts as lexic al information. Data mining techniques are used throughout to optimize the models involved. I will discuss applications to knowledge-based informatio n retrieval\, topic indexing\, document tagging\, and document clustering. Some of these perform at human levels. For example\, on CiteULike data\, au tomatically extracted tags are competitive with tag sets assigned by the be st human taggers\, according to a measure of consistency with other human t aggers. All this work uses English\, but involves no syntactic parsing\, so the techniques are language independent.\n UID:f60751b02e ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111110T083000 DTEND;TZID=America/Chicago:20111110T100000 SUMMARY:Unifying Testing and Analysis through Behavioral Coverage LOCATION: DESCRIPTION:Unifying Testing and Analysis through Behavioral Coverage\nMatt hew B. Dwyer\nUniversity of Nebraska\, USA\n\nThe past decades have produce d a wide-variety of automated techniques for assessing the correctness of software systems. In practice\, when applied to large modern software sy stems all existing automated program analysis and verification techniques come up short. They might produce false error reports\, exhaust availabl e human or computational resources\, or be incapable of reasoning about s ome set of important properties. Whatever their shortcoming\, the goal of proving a system correct remains elusive. Many people believe that\, af ter an initial period of development\, software systems are "\;mostly "\; correct - systems have much more correct behavior than incorrect behavior. Following this line of thinking\, we explore what it means to r e-orient program analysis and verification techniques away from focusing on proving properties. Rather\, we explore how to develop and leverage te chniques that characterize the subset of system behaviors that can be sho wn to be consistent with property specifications. We describe the challe nges in producing a rich suite of evidence-producing automated verificati on and validation techniques and suggest one approach to overcoming those challenges. We then describe the promise that combining such techniques offers - the weaknesses of one technique can be masked by the strengths o f another\, the results of one technique can be used to target the applic ation of another\, and evidence from multiple techniques can be combined to produce an explicit characterization of what is known about system corre ctness.\n UID:4f9ca6b05b ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111111T133000 DTEND;TZID=America/Chicago:20111111T150000 SUMMARY:Large Data in Biological Research LOCATION: DESCRIPTION:Large Data in Biological Research (Chair: Keynote by Leonard Kr ishtalka)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T110000 DTEND;TZID=America/Chicago:20111109T123000 SUMMARY:Testing I LOCATION: DESCRIPTION:Testing I (Chair: Mary Jean Harrold)\n\nAutomated Web Applicati on Testing Using Search Based Software Engineering\nNadia Alshahwan and Mar k Harman\nUCL\, UK\n\nAuto-Locating and Fix-Propagating for HTML Validation Errors to PHP Server-side Code\nHung Viet Nguyen\, Hoan Anh Nguyen\, Tung Thanh Nguyen\, and Tien N. Nguyen\nIowa State University\, USA\n\nScaling U p Automated Test Generation: Automatically Generating Maintainable Regressi on Unit Tests for Programs\nBrian Robinson\, Michael D. Ernst\, Jeff H. Per kins\, Vinay Augustine\, and Nuo Li\nABB Corporate Research\, USA\; Univers ity of Washington\, USA\; MIT\, USA\; ABB Robotics\, Cyprus\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111110T103000 DTEND;TZID=America/Chicago:20111110T123000 SUMMARY:Testing II LOCATION: DESCRIPTION:Testing II (Chair: Tao Xie)\n\nHeap Cloning: Enabling Dynamic S ymbolic Execution of Java Programs\nSaswat Anand and Mary Jean Harrold\nGeo rgia Tech\, USA\n\nAutomatic Generation of Load Tests\nPingyu Zhang\, Sebas tian Elbaum\, and Matthew B. Dwyer\nUniversity of Nebraska-Lincoln\, USA\n\ nSymbolic Search-Based Testing\nArthur Baars\, Mark Harman\, Youssef Hassou n\, Kiran Lakhotia\, Phil McMinn\, Paolo Tonella\, and Tanja Vos\nUniversid ad Politécnica de Valencia\, Spain\; UCL\, UK\; King's College London\, UK\ ; University of Sheffield\, UK\; Fondazione Bruno Kessler\, Italy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111111T110000 DTEND;TZID=America/Chicago:20111111T123000 SUMMARY:Testing III LOCATION: DESCRIPTION:Testing III (Chair: Jamie Andrews)\n\nAutomated Documentation I nference to Explain Failed Tests\nSai Zhang\, Cheng Zhang\, and Michael D. Ernst\nUniversity of Washington\, USA\; Shanghai Jiao Tong University\, Chi na\n\nGenerating Program Inputs for Database Application Testing\nKai Pan\, Xintao Wu\, and Tao Xie\nUniversity of North Carolina at Charlotte\, USA\; North Carolina State University\, USA\n\nPrioritizing Tests for Fault Loca lization through Ambiguity Group Reduction\nAlberto Gonzalez-Sanchez\, Rui Abreu\, Hans-Gerhard Gross\, and Arjan J. C. van Gemund\nDelft University o f Technology\, Netherlands\; University of Porto\, Portugal\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T133000 DTEND;TZID=America/Chicago:20111109T150000 SUMMARY:Software Model Checking LOCATION: DESCRIPTION:Software Model Checking (Chair: Sarfraz Khurshid)\n\nIdentifyin g Future Field Accesses in Exhaustive State Space Traversal\nPavel Parízek and Ondřej Lhoták\nUniversity of Waterloo\, Canada\n\nModel Checking Distri buted Systems by Combining Caching and Process Checkpointing\nWatcharin Leu ngwattanakit\, Cyrille Artho\, Masami Hagiya\, Yoshinori Tanabe\, and Mitsu haru Yamamoto\nUniversity of Tokyo\, Japan\; National Institute of Advanced Industrial Science and Technology\, Japan\; National Institute of Informat ics\, Japan\; Chiba University\, Japan\n\nSupporting Domain-Specific State Space Reductions through Local Partial-Order Reduction\nPéter Bokor\, Johan nes Kinder\, Marco Serafini\, and Neeraj Suri\nTU Darmstadt\, Germany\; EPF L\, Switzerland\; Yahoo! Research Barcelona\, Spain\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111110T103000 DTEND;TZID=America/Chicago:20111110T123000 SUMMARY:Analysis\, Verification\, and Validation LOCATION: DESCRIPTION:Analysis\, Verification\, and Validation (Chair: Charles Pecheu r)\n\nScalable and Precise Symbolic Analysis for Atomicity Violations\nMala y K. Ganai\nNEC Labs\, USA\n\nDC2: A Framework for Scalable\, Scope-Bounded Software Verification\nFranjo Ivančić\, Gogul Balakrishnan\, Aarti Gupta\, Sriram Sankaranarayanan\, Naoto Maeda\, Hiroki Tokuoka\, Takashi Imoto\, a nd Yoshiaki Miyazaki\nNEC Labs\, USA\; University of Colorado at Boulder\, USA\; NEC Inc.\, Japan\n\nFormalizing Hardware/Software Interface Specifica tions\nJuncao Li\, Fei Xie\, Thomas Ball\, Vladimir Levin\, and Con McGarve y\nMicrosoft Inc.\, USA\; Portland State University\, USA\n\nSafe Asynchron ous Multicore Memory Operations\nMatko Botinčan\, Mike Dodds\, Alastair F. Donaldson\, and Matthew J. Parkinson\nUniversity of Cambridge\, UK\; Imperi al College London\, UK\; Microsoft Research Cambridge\, UK\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T110000 DTEND;TZID=America/Chicago:20111109T123000 SUMMARY:Models LOCATION: DESCRIPTION:Models (Chair: Lars Grunske)\n\nA Rule-Based Approach to the Se mantic Lifting of Model Differences in the Context of Model Versioning\nTim o Kehrer\, Udo Kelter\, and Gabriele Taentzer\nUniversity of Siegen\, Germa ny\; Philipps-Universität Marburg\, Germany\n\nA Model-driven Framework for Guided Design Space Exploration\nÁbel Hegedüs\, Ákos Horváth\, István Ráth \, and Dániel Varró\nBudapest University of Technology and Economics\, Hung ary\n\nAutomated Extraction of Architecture-Level Performance Models of Dis tributed Component-Based Systems\nFabian Brosig\, Nikolaus Huber\, and Samu el Kounev\nKIT\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111111T110000 DTEND;TZID=America/Chicago:20111111T123000 SUMMARY:Debugging LOCATION: DESCRIPTION:Debugging (Chair: David Lo)\n\nPrecomputing Possible Configurat ion Error Diagnoses\nAriel Rabkin and Randy Katz\nUC Berkeley\, USA\n\nAn O ptimal Strategy for Algorithmic Debugging\nDavid Insa and Josep Silva\nUniv ersidad Politécnica de Valencia\, Spain\n\nLocalizing SQL Faults in Databas e Applications\nSarah R. Clark\, Jake Cobb\, Gregory M. Kapfhammer\, James A. Jones\, and Mary Jean Harrold\nGeorgia Tech\, USA\; Allegheny College\, USA\; UC Irvine\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T133000 DTEND;TZID=America/Chicago:20111109T150000 SUMMARY:Documentation\, Traceability\, and Program Understanding LOCATION: DESCRIPTION:Documentation\, Traceability\, and Program Understanding (Chair : Houari Sahraoui)\n\nImproving Automated Documentation to Code Traceabilit y by Combining Retrieval Techniques\nXiaofan Chen and John Grundy\nUniversi ty of Auckland\, New Zealand\; Swinburne University of Technology at Melbou rne\, Australia\n\nIterative Mining of Resource-Releasing Specifications\nQ ian Wu\, Guangtai Liang\, Qianxiang Wang\, Tao Xie\, and Hong Mei\nPeking U niversity\, China\; North Carolina State University\, USA\n\nFlexible Desig n Pattern Detection Based on Feature Types\nGhulam Rasool and Patrick Mäder \nCOMSATS Institute of Information Technology\, Pakistan\; Johannes Kepler University\, Austria\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111110T133000 DTEND;TZID=America/Chicago:20111110T150000 SUMMARY:Software Maintenance I LOCATION: DESCRIPTION:Software Maintenance I (Chair: Reiko Heckel)\n\nTowards More Ac curate Retrieval of Duplicate Bug Reports\nChengnian Sun\, David Lo\, Siau- Cheng Khoo\, and Jing Jiang\nNational University of Singapore\, Singapore\; Singapore Management University\, Singapore\n\nA Topic-based Approach for Narrowing the Search Space of Buggy Files from a Bug Report\nAnh Tuan Nguye n\, Tung Thanh Nguyen\, Jafar Al-Kofahi\, Hung Viet Nguyen\, and Tien N. Ng uyen\nIowa State University\, USA\n\nSpecifying and Detecting Meaningful Ch anges in Programs\nYijun Yu\, Thein Than Tun\, and Bashar Nuseibeh\nOpen Un iversity\, UK\; Lero\, Ireland\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111111T090000 DTEND;TZID=America/Chicago:20111111T103000 SUMMARY:Software Maintenance II LOCATION: DESCRIPTION:Software Maintenance II (Chair: Andrew Ireland)\n\nSelf-Adaptiv e Software Meets Control Theory: A Preliminary Approach Supporting Reliabil ity Requirements\nAntonio Filieri\, Carlo Ghezzi\, Alberto Leva\, and Marti na Maggio\nPolitecnico di Milano\, Italy\n\nGeneralizing Evolutionary Coupl ing with Stochastic Dependencies\nSunny Wong and Yuanfang Cai\nSiemens Heal thcare\, USA\; Drexel University\, USA\n\nDifferential Precondition Checkin g: A Lightweight\, Reusable Analysis for Refactoring Tools\nJeffrey L. Over bey and Ralph E. Johnson\nUniversity of Illinois at Urbana-Champaign\, USA\ n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111110T133000 DTEND;TZID=America/Chicago:20111110T150000 SUMMARY:Product Lines\, Knowledge Acquisition\, and Software Processes LOCATION: DESCRIPTION:Product Lines\, Knowledge Acquisition\, and Software Processes (Chair: Elisabetta Di Nitto)\n\nA Performance Comparison of Contemporary Al gorithmic Approaches for Automated Analysis Operations on Feature Models\nR ichard Pohl\, Kim Lauenroth\, and Klaus Pohl\nUniversity of Duisburg-Essen\ , Germany\n\nFinding Relevant Answers in Software Forums\nSwapna Gottipati\ , David Lo\, and Jing Jiang\nSingapore Management University\, Singapore\n\ nSoftware Process Evaluation: A Machine Learning Approach\nNing Chen\, Stev en C. H. Hoi\, and Xiaokui Xiao\nNanyang Technological University\, Singapo re\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111111T090000 DTEND;TZID=America/Chicago:20111111T103000 SUMMARY:Prediction and Ecological Inference LOCATION: DESCRIPTION:Prediction and Ecological Inference (Chair: Ivica Crnkovic)\n\n Local vs. Global Models for Effort Estimation and Defect Prediction\nTim Me nzies\, Andrew Butcher\, Andrian Marcus\, Thomas Zimmermann\, and David Cok \nWest Virginia University\, USA\; Wayne State University\, USA\; Microsoft Research\, USA\; GrammaTech Inc.\, USA\n\nCapacity Planning for Event-base d Systems using Automated Performance Predictions\nChristoph Rathfelder\, S amuel Kounev\, and David Evans\nFZI\, Germany\; KIT\, Germany\; University of Cambridge\, UK\n\nEcological Inference in Empirical Software Engineering \nDaryl Posnett\, Vladimir Filkov\, and Premkumar Devanbu\nUC Davis\, USA\n \n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T153000 DTEND;TZID=America/Chicago:20111109T173000 SUMMARY:Short Papers I LOCATION: DESCRIPTION:Short Papers I\n\nDetection of Feature Interactions using Featu re-Aware Verification\nSven Apel\, Hendrik Speidel\, Philipp Wendler\, Alex ander von Rhein\, and Dirk Beyer\nUniversity of Passau\, Germany\; Simon Fr aser University\, Canada\n\nQuerying Source Code with Natural Language\nMar kus Kimmig\, Martin Monperrus\, and Mira Mezini\nTU Darmstadt\, Germany\; U niversity of Lille\, France\n\nCoverage Rewarded: Test Input Generation via Adaptation-Based Programming\nAlex Groce\nOregon State University\, USA\n\ nMendel: Source Code Recommendation based on a Genetic Metaphor\nAngela Loz ano\, Andy Kellens\, and Kim Mens\nUniversité Catholique de Louvain\, Belgi um\; Vrije Universiteit Brussel\, Belgium\n\nOptimizing the Automatic Test Generation by SAT and SMT Solving for Boolean Expressions\nPaolo Arcaini\, Angelo Gargantini\, and Elvinia Riccobene\nUniversità degli Studi di Milano \, Italy\; Università di Bergamo\, Italy\n\nCode-Based Automated Program Fi xing\nYu Pei\, Yi Wei\, Carlo A. Furia\, Martin Nordio\, and Bertrand Meyer \nETH Zurich\, Switzerland\n\nTaming Changes With 1.x-Way Architecture-Impl ementation Mapping\nYongjie Zheng and Richard N. Taylor\nUC Irvine\, USA\n\ nEvaluating Test Selection Strategies for End-User Specified Flow-Based App lications\nKristina Winbladh and Anand Ranganathan\nUniversity of Delaware\ , USA\; IBM Research Watson\, USA\n\nTowards Dynamic Backward Slicing of Mo del Transformations\nZoltán Ujhelyi\, Ákos Horváth\, and Dániel Varró\nBuda pest University of Technology and Economics\, Hungary\n\nMining Test Oracle s of Web Search Engines\nWujie Zheng\, Hao Ma\, Michael R. Lyu\, Tao Xie\, and Irwin King\nChinese University of Hong Kong\, China\; Microsoft Researc h\, USA\; North Carolina State University\, USA\; AT&T Labs Research\, USA\ n\nAutoODC: Automated Generation of Orthogonal Defect Classifications\nLiGu o Huang\, Vincent Ng\, Isaac Persing\, Ruili Geng\, Xu Bai\, and Jeff Tian\ nSouthern Methodist University\, USA\; University of Texas at Dallas\, USA\ n\nObservations on the Connectedness between Requirements-to-Code Traces an d Calling Relationships for Trace Validation\nAchraf Ghabi and Alexander Eg yed\nJohannes Kepler University\, Austria\n\nProximity Based Weighting of T est Cases to Improve Spectrum Based Fault Localization\nAritra Bandyopadhya y and Sudipto Ghosh\nColorado State University\, USA\n\nSlicing Feature Mod els\nMathieu Acher\, Philippe Collet\, Philippe Lahire\, and Robert B. Fran ce\nUniversité Nice Sophia Antipolis/CNRS\, France\; Colorado State Univers ity\, USA\n\nUsing Model Checking to Analyze Static Properties of Declarati ve Models\nAmirhossein Vakili and Nancy A. Day\nUniversity of Waterloo\, Ca nada\n\nFinding the Merits and Drawbacks of Software Resources from Comment s\nChangsheng Liu\, Yanzhen Zou\, Sibo Cai\, Bing Xie\, and Hong Mei\nPekin g University\, China\n\nCombining Search-based and Constraint-based Testing \nJan Malburg and Gordon Fraser\nSaarland University\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T153000 DTEND;TZID=America/Chicago:20111109T173000 SUMMARY:Short Papers II LOCATION: DESCRIPTION:Short Papers II\n\nStateful Testing: Finding More Errors in Cod e and Contracts\nYi Wei\, Hannes Roth\, Carlo A. Furia\, Yu Pei\, Alexander Horton\, Michael Steindorfer\, Martin Nordio\, and Bertrand Meyer\nETH Zur ich\, Switzerland\n\nDo Software Engineers Benefit from Source Code Navigat ion with Traceability? – An Experiment in Software Change Management\nPatri ck Mäder and Alexander Egyed\nJohannes Kepler University\, Austria\n\nAutom ating Analysis of Qualitative Preferences in Goal-Oriented Requirements Eng ineering\nZachary J. Oster\, Ganesh Ram Santhanam\, and Samik Basu\nIowa St ate University\, USA\n\nHistory Slicing\nFrancisco Servant and James A. Jon es\nUC Irvine\, USA\n\nAnalyzing Temporal API Usage Patterns\nGias Uddin\, Barthélémy Dagenais\, and Martin P. Robillard\nMcGill University\, Canada\n \nIsomorphism in Model Tools and Editors\nGeorge Edwards\, Yuriy Brun\, and Nenad Medvidovic\nBlue Cell Software\, USA\; University of Washington\, US A\; University of Southern California\, USA\n\nA Case for Alloy Annotations for Efficient Incremental Analysis via Domain Specific Solvers\nSvetoslav Ganov\, Sarfraz Khurshid\, and Dewayne E. Perry\nUniversity of Texas at Aus tin\, USA\n\nExploring Caching for Efficient Collection Operations\nSwetha Surapaneni\, Venkata Krishna Suhas Nerella\, Sanjay K. Madria\, and Thomas Weigert\nMissouri University of Science and Technology\, USA\n\nTracing Req uirements to Tests with High Precision and Recall\nCelal Ziftci and Ingolf Krueger\nUC San Diego\, USA\n\nExtracting Structured Data from Natural Lang uage Documents with Island Parsing\nAlberto Bacchelli\, Anthony Cleve\, Mic hele Lanza\, and Andrea Mocci\nUniversity of Lugano\, Switzerland\; Univers ity of Namur\, Belgium\; Politecnico di Milano\, Italy\n\nGRoundTram: An In tegrated Framework for Developing Well-Behaved Bidirectional Model Transfor mations\nSoichiro Hidaka\, Zhenjiang Hu\, Kazuhiro Inaba\, Hiroyuki Kato\, and Keisuke Nakano\nNational Institute of Informatics\, Japan\; University of Electro-Communications\, Japan\n\nRun-time Systems Failure Prediction vi a Proactive Monitoring\nPengcheng Zhang\, Henry Muccini\, Andrea Polini\, a nd Xuandong Li\nNanjing University\, China\; Hohai University\, China\; Uni versity of L'Aquila\, Italy\; University of Camerino\, Italy\n\nTowards an Approach and Framework for Test-Execution Plan Derivation\nSoham Sundar Cha kraborty and Vipul Shah\nAMD\, India\; Tata Research Development and Design Centre\, India\n\nStatistical Debugging with Elastic Predicates\nRoss Gore \, Paul F. Reynolds\, Jr.\, and David Kamensky\nUniversity of Virginia\, US A\; University of Texas at Austin\, USA\n\nDiagnosis of Software Failures U sing Computational Geometry\nEdward Stehle\, Kevin Lynch\, Maxim Shevertalo v\, Chris Rorres\, and Spiros Mancoridis\nDrexel University\, USA\n\nGitBAC : Flexible Access Control for Non-Modular Concerns\nMark Robinson\, Jianwei Niu\, and Macneil Shonle\nUniversity of Texas at San Antonio\, USA\n\nClie nt-side Web Application Slicing\nJosip Maras\, Jan Carlson\, and Ivica Crnk ović\nUniversity of Split\, Croatia\; Mälardalen University\, Sweden\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20130930T201842Z DTSTAMP:20130930T201842Z DTSTART;TZID=America/Chicago:20111109T153000 DTEND;TZID=America/Chicago:20111109T173000 SUMMARY:Short Papers III LOCATION: DESCRIPTION:Short Papers III\n\nSupporting Activity Based Computing Paradig m in Global Software Development\nPaolo Tell and Muhammad Ali Babar\nIT Uni versity of Copenhagen\, Denmark\n\nInferred Dependence Coverage to Support Fault Contextualization\nFang Deng and James A. Jones\nUC Irvine\, USA\n\nU sing Model-based Assurance to Strengthen Diagnostic Procedures\nRobyn Lutz\ , Jeremy Johnson\, and Ann Patterson-Hine\nJet Propulsion Lab\, USA\; Iowa State University\, USA\; NASA Ames\, USA\n\nFault-Localization Using Dynami c Slicing and Change Impact Analysis\nElton Alves\, Milos Gligoric\, Vilas Jagannath\, and Marcelo d'Amorim\nFederal University of Pernambuco\, Brazil \; University of Illinois at Urbana-Champaign\, USA\n\nImproving Source Cod e Search with Natural Language Phrasal Representations of Method Signatures \nEmily Hill\, Lori Pollock\, and K. Vijay-Shanker\nMontclair State Univers ity\, USA\; University of Delaware\, USA\n\nDeviation Management during Pro cess Execution\nMarcos Aurélio Almeida da Silva\, Xavier Blanc\, and Reda B endraou\nLIP6\, France\; LaBRI\, France\n\nPRECIS: Inferring Invariants usi ng Program Path Guided Clustering\nParth Sagdeo\, Viraj Athavale\, Sumant K owshik\, and Shobha Vasudevan\nUniversity of Illinois at Urbana-Champaign\, USA\n\nAutomated Planning for Feature Model Configuration based on Stakeho lders' Business Concerns\nSamaneh Soltani\, Mohsen Asadi\, Marek Hatala\, D ragan Gašević\, and Ebrahim Bagheri\nSimon Fraser University\, Canada\; Ath abasca University\, Canada\n\nAn Adaptive Approach to Impact Analysis from Change Requests to Source Code\nMalcom Gethers\, Huzefa Kagdi\, Bogdan Dit\ , and Denys Poshyvanyk\nCollege of William and Mary\, USA\; Wichita State U niversity\, USA\n\nDomain and Value Checking of Web Application Invocation Arguments\nWilliam G. J. Halfond\nUniversity of Southern California\, USA\n \nMixed Constraints for Test Input Generation – An Initial Exploration\nSha di Abdul Khalek\, Vidya Priyadarshini Narayanan\, and Sarfraz Khurshid\nUni versity of Texas at Austin\, USA\n\nEnhancing Architectural Recovery Using Concerns\nJoshua Garcia\, Daniel Popescu\, Chris Mattmann\, Nenad Medvidovi c\, and Yuanfang Cai\nUniversity of Southern California\, USA\; Jet Propuls ion Laboratory\, USA\; Drexel University\, USA\n\nSearch-Based Fault Locali zation\nShaowei Wang\, David Lo\, Lingxiao Jiang\, Lucia\, and Hoong Chuin Lau\nSingapore Management University\, Singapore\n\nTowards Requirements A ware Systems: Run-time Resolution of Design-time Assumptions\nKristopher We lsh\, Pete Sawyer\, and Nelly Bencomo\nLancaster University\, UK\; INRIA Pa ris - Rocquencourt\, France\n\nGenerating Essential User Interface Prototyp es to Validate Requirements\nMassila Kamalrudin and John Grundy\nUniversity of Auckland\, New Zealand\; Swinburne University of Technology at Hawthorn \, Australia\n\nAutomatically Exploring How Uncertainty Impacts Behavior of Dynamically Adaptive Systems\nAndres J. Ramirez\, Adam C. Jensen\, Betty H . C. Cheng\, and David B. Knoester\nMichigan State University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR