|
Program at a glance: ASE 2014, SLE 2014, GPCE 2014
ASE
Program Understanding (Wednesday, 10:30 - 12:30)
Chair: Houari Sahraoui |
| Technical | Automated Analysis of Multithreaded Programs for Performance Modeling, Reiss, Tarvo |
| Technical | Behavioral Resource-Aware Model Inference, Ohmann, Herzberg, Fiss, Halbert, Palyart, Beschastnikh, Brun |
| New Idea | Targeted Test Input Generation using Symbolic-Concrete Backward Execution, Dinges, Agha |
| New Idea | Discriminating Influences among Instructions in a Dynamic Slice, Palepu, Jones |
| Technical | Dompletion: DOM-Aware JavaScript Code Completion, Bajaj, Pattabiraman, Mesbah |
Testing I (Wednesday, 10:30 - 12:30)
Chair: Corina Pasarenau |
| Technical | Continuous Test Generation: Enhancing Continuous Integration with Automated Test Generation, Campos, Arcuri, Fraser, Abreuo |
| Technical | Leveraging existing tests in automated test generation for web applications, Milani Fard, Mirzaaghaei, Mesbah |
| Technical | Automated Unit Test Generation for Classes with Environment Dependencies, Arcuri, Fraser, Galeotti |
| New Idea | Finding HTML Presentation Failures Using Image Comparison Techniques, Mahajan, Halfond |
| New Idea | Accelerated Test Execution using GPUs, Rajan, Sharma, Schrammel, Kroening |
Data Mining I (Wednesday, 14:00 - 15:30)
Chair: Jane Cleland-Huang |
| Technical | Seeking the User Interface, Reiss |
| New Idea | Interrogative-Guided Re-Ranking for Question-Oriented Software Text Retrieval, Ye, Zou, Chen, Xie |
| New Idea | An Empirical Study on Reducing Omission Errors in Practice, Park, Kim, Bae |
| Technical | Fusion Fault Localizers, Lucia, Lo, Xia |
Variability and Configuration (Wednesday, 14:00 - 15:30)
Chair: Charles Pecheur |
| Experience | Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report, Segura, Sanchez, Ruiz-Cortes |
| Technical | PrefFinder: Getting the Right Preference in Configurable Software Systems, Jin, Cohen, Qu, Robinson |
| Technical | MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models, Matinnejad, Nejati, Briand, Bruckmann |
Abstraction (Wednesday, 14:00 - 15:30)
Chair: Tevfik Bultan |
| Technical | Assertion Guided Abstraction: A Cooperative Optimization for Dynamic Partial Order Reduction, Kusano, Wang |
| Technical | Symbolic State Validation through Runtime Data, Li, Cheung |
| Technical | Verifying Self-adaptive Applications Suffering Uncertainty, Yang, Xu, Liu, Cao, Ma, Lu |
Components (Wednesday, 16:00 - 17:30)
Chair: Shiva Nejati |
| Technical | Automated Synthesis and Deployment of Cloud Applications, Di Cosmo, Lienhardt, Treinen, Zacchiroli, Zwolakowski, Aeiche, Agahi |
| Technical | Concurrent Transformation Components using Contention Context Sensors, Osterlund, Lowe |
| Technical | Assigning Time Budgets to Component Functions in the Design of Time-Critical Automotive Systems, Wozniak, Di Natale, Zeng, Mraidha, Tucci-Piergiovanni, Gerard |
Symbolic Execution I (Wednesday, 16:00 - 17:30)
Chair: Mike Whalen |
| Technical | symMMU: Symbolically Executed Runtime Libraries for Symbolic Memory Access, Romano, Engler |
| Technical | Evaluation of String Constraint Solvers in the Context of Symbolic Execution, Kausler, Sherman |
| New Idea | Incremental Symbolic Execution for Automated Test Suite Maintenance, Makhdoom, Siddiqui |
Transformations I (Wednesday, 16:00 - 17:30)
Chair: Bernd Fischer |
| Technical | Program Analysis for Secure Big Data Processing, James Stephen, Savvides, Seidel, Eugster |
| Technical | Multi-Objective Optimization in Rule-Based Design Space Exploration, Abdeen, Varro, Sahraoui, Nagy, Debreceni, Hegedus, Horvath |
| Technical | Understanding Performance Stairs: Elucidating Heuristics, Marker, Batory, van de Geijn |
Change Management (Thursday, 10:30 - 12:30)
Chair: Yuriy Brun |
| Technical | Fine-grained and Accurate Source Code Differencing, Falleri, Morandat, Blanc, Monperrus, Martinez |
| New Idea | Combining Rule-based and Information Retrieval Techniques to assign Software Change Requests, Cavalcanti, Machado, Neto, Almeida, Meira |
| New Idea | Recommendation System for Software Refactoring Using Innovization and Interactive Dynamic Optimization, Mkaouer, Kessentini, Bechikh, Deb, Klimek |
| New Idea | Recommending Refactorings based on Team Co-Maintenance Patterns, Bavota, Panichella, Tsantalis, Di Penta, Oliveto, Canfora |
| New Idea | DIVER: Precise Dynamic Impact Analysis Using Dependence-based Trace Pruning, Cai, Santelices |
| Technical | Automating Regression Verification, Felsing, Grebing, Klebanov, Rummer, Ulbrich |
Testing II (Thursday, 10:30 - 12:30)
Chair: John Grundy |
| Technical | An Empirical Evaluation and Comparison of Manual and Automated Test Selection, Gligoric, Negara, Legunsen, Marinov |
| Experience | Taming Test Inputs for Separation Assurance, Giannakopoulou, Howar, Isberner, Lauderdale, Rakamaric, Raman |
| Experience | Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes and Code Digger, Tillmann, Halleux, Xie |
| Technical | Angels and Monsters: An Empirical Investigation of Potential Test Effectiveness and Efficiency Improvement from Strongly Subsuming Higher Order Mutation, Harman, Jia, Mateo, Polo |
Product Lines (Thursday, 10:30 - 12:30)
Chair: Motoshi Saeki |
| Technical | Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization, Guo, Zulkoski, Olaechea, Rayside, Czarnecki, Apel, Atlee |
| Technical | 42 Variability Bugs in the Linux Kernel: A Qualitative Analysis, Abal, Brabrand, Wasowski |
| Technical | Automating the Formalization of Product Comparison Matrices, Becan, Sannier, Acher, Barais, Blouin, Baudry |
| Technical | Tracking Load-time Configuration Options, Lillack, Kastner, Bodden |
Data Mining II (Thursday, 14:00 - 15:30)
Chair: Darko Marinov |
| Technical | Statistical Learning Approach for Mining API Usage Mappings for Code Migration, Nguyen, Nguyen, Nguyen, Nguyen |
| Experience | Compatibility Testing using Patterns-based Trace Comparison, Ranganath, Vallathol, Gupta |
| New Idea | Personas in the Middle: Automated Support for Creating Personas as Focal Points in Feature Gathering Forums, Rahimi, Cleland-Huang |
| New Idea | Constructing Adaptive Configuration Dialogs using Crowd Data, Hamidi, Andritsos, Liaskos |
Analysis of Web Applications (Thursday, 14:00 - 15:30)
Chair: Arie Gurfinkel |
| Technical | Validating Ajax Applications Using a Delay-Based Mutation Technique, Maezawa, Nishiura, Washizaki, Honiden |
| Technical | Static, Lightweight Includes Resolution for PHP, Hills, Klint, Vinju |
| Technical | Information Flows as a Permission Mechanism, Shen, Vishnubhotla, Todarka, Arora, Dhandapani, Lehner, Ko, Ziarek |
Model-Driven Engineering (Thursday, 14:00 - 15:30)
Chair: Michel Chaudron |
| Technical | Improving the Accuracy of Oracle Verdicts Through Automated Model Steering, Gay, Rayadurgam, Heimdahl |
| Experience | Automated Domain-Specific C Verification with mbeddr, Molotnikov, Voelter, Ratiu |
| New Idea | Pattern-based Auto-Completion of UML Modeling Activities, Kuschke, Mader |
| New Idea | Abstraction-aware Verifying Compiler for Yet Another MDD, Ubayashi, Ai, Li, Li, Hosoai, Kamei |
Symbolic Execution II (Thursday, 16:00 - 17:30)
Chair: Michael Lowry |
| Technical | Docovery: Toward Generic Automatic Document Recovery, Kuchta, Cadar, Castro, Costa |
| Technical | Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs, Luckow, Pasareanu, Dwyer, Filieri, Visser |
| Technical | Derailer: Interactive Security Analysis for Web Applications, Near, Jackson |
Specification and Debugging (Thursday, 16:00 - 17:30)
Chair: David Lo |
| New Idea | Tracking Down Root Causes of Defects in Simulink Models, Schneider |
| New Idea | The Confidence in our k-Tails, Cohen, Maoz |
| Technical | Localization of Concurrency Bugs Using Shared Memory Access Pairs, Wang, Wang, Wu, Yew, Shen, Yuan, Li, Feng, Guan |
| New Idea | Towards Self-healing Smartphone Software via Automated Patching, Azim, Neamtiu, Marvel |
| New Idea | Minimal Strongly Unsatisfiable Subsets of Reactive System Specifications, Hagihara, Egawa, Shimakawa, Yonezaki |
Transformations II (Thursday, 16:00 - 17:30)
Chair: Gabriele Taentzer |
| Technical | Droidmarking: Resilient Software Watermarking for Impeding Android Application Repackaging, Ren, Chen, Liu |
| New Idea | From Out-Place Transformation Evolution to In-Place Model Patching, Bergmayr, Troya, Wimmer |
Human Factors (Friday, 10:30 - 12:30)
Chair: Michael Goedicke |
| New Idea | Studying Task Allocation Decisions of Novice Agile Teams with Data from Agile Project Management Tools, Lin, Yu, Shen, Miao |
| New Idea | PiE: Programming in Eliza Liu, Wu |
| Technical | Using Visual Dataflow Programming for Interactive Model Comparison, Lutz, Diehl |
| Technical | NeedFeed: Taming Change Notifications by Modeling Code Relevance, Padhye, Mani, Sinha |
| New Idea | Active Code Search: Incorporating User Feedback to Improve Code Search Relevance, Wang, Lo, Jiang |
| New Idea | Resilient User Interface Level Tests, Pirzadeh, Shanian |
Verification (Friday, 10:30 - 12:45)
Chair: Radu Calinescu |
| Technical | Search-Based Inference of Polynomial Metamorphic Relations, Zhang, Chen, Hao, Xiong, Zhang, Xie, Mei |
| Technical | A Dynamic Analysis to Support Object-Sharing Code Refactorings, Rama, Komondoor |
| New Idea | Language Fuzzing Using Constraint Logic Programming, Dewey, Roesch, Hardekopf |
| Technical | Tracing Software Build Processes to Uncover License Compliance Inconsistencies, Burg, Davies, Dolstra, McIntosh, German, Hemel |
| Technical | Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers, Basu, Bultan |
Requirements Engineering (Friday, 14:00 - 15:30)
Chair: Myra Cohen |
| Technical | Towards an Intelligent Domain-Specific Traceability Solution, Guo, Monaikul, Plepel, Cleland-Huang |
| Technical | Automated Requirements Analysis for a Molecular Watchdog Timer, Ellis, Henderson, Klinge, Lathrop, Lutz, Lutz, Mathur, Miner |
| New Idea | Formalisation of the Integration of Behavior Trees, Ahmed, Newton, Wen, Sattar |
| New Idea | Automatic Early Defects Detection in Use Case Documents, Liu, Sun, Liu, Zhang, Wadhwa, Dong, Wang |
Bug Localization (Friday, 14:00 - 15:30)
Chair: Tien Nguyen |
| Technical | SymCrash: Selective Recording for Reproducing Crashes, Cao, Zhang, Ding |
| Technical | Potential Biases in Bug Localization: Do They Matter?, Kochhar, Tian, Lo |
| Technical | MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions, Zuddas, Jin, Mariani, Pastore, Orso |
SLE & GPCE
|
