Poster W48: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution (* ICSE 2018 * - Posters ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng

Track

* ICSE 2018 * Posters

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 30 May 2018 09:00 - 18:00 at H - Exibition Hall - Wednesday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55) Chair(s): Yuriy Brun, Raffaela Mirandola

Abstract

Complier optimizations in uence the e ectiveness and e ciency of symbolic execution. In this extended abstract, we report our recent results of recommending compiler optimizations for symbolic execution w.r.t. MC/DC coverage. We carried out extensive experiments to study the influence of compiler optimizations on MC/DC coverage. Then, an SVM-based optimization recommendation method is designed and implemented. The preliminary experimental results are promising.

Link to Preprint

http://zbchen.github.io/Papers_files/icse2018poster.pdf

Yijun Liu

College of Computer, National University of Defense Technology, Changsha, China

Zhenbang Chen

College of Computer, National University of Defense Technology

China

Wei Dong

Chendong Feng

College of Computer, National University of Defense Technology, Changsha, China

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 18:00	Wednesday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55)Posters at H - Exibition Hall Chair(s): Yuriy Brun University of Massachusetts, Amherst, Raffaela Mirandola Politecnico di Milano

	09:00 9h Talk		IF Poster 1: System-of-Systems Architecture for Construction Factory Posters Jakob Axelsson RISE
	09:00 9h Talk		IF Poster 2: Even more efficient testing process Posters Sahar Tahvili RISE SICS AB
	09:00 9h Talk		IF Poster 3: Lean Transport Mission Optimization in Site Operations Posters David Rylander
	09:00 9h Talk		IF Poster 4: Positioning in mines Posters Melika Hozhabri
	09:00 9h Talk		IF Poster 5: Designing Interaction for Multi-OS environments Posters Tobias Holstein
	09:00 9h Talk		IF Poster 6: Exploring Mixed Reality Interaction Design for Heavy Vehicles Posters Markus Wallmyr
	09:00 9h Talk		IF Poster 7: Safety Assurance of cooperating construction maachines Posters Stephan Baumgart
	09:00 9h Talk		IF Poster 8: Evolutionary Aspects of Complex Embedded Systems Architectures Posters Daniel Hallmans
	09:00 9h Talk		IF Poster 9: Utilizing hardware monitoring to improve the quality of service and performance of industrial systems Posters Marcus Jägemar
	09:00 9h Talk		Poster W1: Industrie 4.0 Virtual Automation Bus Architecture Posters Thomas Kuhn , Markus Damm Fraunhofer, Pablo Oliveira Antonino Fraunhofer, Andreas Morgenstern Fraunhofer, Dirk Schulz ABB Corporate Research, Constantin Ziesche Robert Bosch GmbH, Thorsten Müller SMS group GmbH
	09:00 9h Talk		Poster W2: An Empirical Study of the Product Owner Role in Scrum Posters Julian Bass University of Salford, Sarah Beecham Lero - The Irish Software Research Centre and University of Limerick, Mohammad Abdur Razzak Lero - The Irish Software Research Centre and University of Limerick, Clodagh Nic Canna Ocuco Ltd, John Noll University of East London, and Lero - The Irish Software Research Centre
	09:00 9h Talk		Poster W3: Reengineering Legacy Systems for Supporting SOA: A Case Study on the Brazilian's Secretary of State for Taxation Posters Yan de Lima Justino Federal University of Rio Grande do Norte, Carlos Eduardo Da Silva Federal University of Rio Grande do Norte
	09:00 9h Talk		Poster W4: Results from Multi-faceted Software Reliability Assessment Studies Posters Yaping Luo Altran Netherlands B.V., Egbert Touw
	09:00 9h Talk		Poster W5: An Initial Characterization of Bug-injecting Development Sessions Posters Irina Diana Coman The Most Serene Republic, Alberto Sillitti Innopolis University, Giancarlo Succi Innopolis University
	09:00 9h Talk		Poster W6: Challenges with Automotive Test Case Specifications Posters Katharina Juhnke Daimler AG, Matthias Tichy Ulm University, Germany, Frank Houdek Daimler AG
	09:00 9h Talk		Poster W7: Understanding the Role of Reporting in Work Item Tracking Systems for Software Development: An Industrial Case Study Posters Pavneet Singh Kochhar Singapore Management University, Stanislaw Swierc Microsoft, Trevor Carnahan Microsoft, Hitesh Sajnani Microsoft , Mei Nagappan University of Waterloo
	09:00 9h Talk		Poster W8: When Students Meet Developers: Are Barcamps a Format for Interactive Software Engineering Education? Posters Bianca Bergande University of Applied Sciences Neu-Ulm, Philipp Brune University of Applied Sciences Neu-Ulm
	09:00 9h Talk		Poster W9: A Methodology to Teaching Statistical Process Control for Software Engineers: An Overview Posters Julio Furtado UNIFAP, Sandro Oliveira UFPA - Universidade Federal do Pará
	09:00 9h Talk		Poster W10: A matrix for analyzing projects in Software Engineering courses Posters Jakeline Marcos Tecnologico de Monterrey
	09:00 9h Talk		Poster W11: Continuous Inspection in the Classroom: Improving Students' Programming Quality with Social Coding Methods Posters Yao Lu National University of Defense Technology, Xinjun Mao National University of Defense Technology, Tao Wang National University of Defense Technology, Gang Yin National University of Defense Technology, Zude Li Central South University, Huaimin Wang
	09:00 9h Talk		Poster W12: Startup Software Development Education: A Systematic Mapping Study Posters Rafael Chanin PUCRS, Afonso Sales PUCRS, Leandro Bento Pompermaier , Rafael Prikladnicki Faculdade de Informática da PUCRS
	09:00 9h Talk		Poster W13: Analyzing the transactive memory in teaching Software Engineering Posters Styliani Kleanthous , Georgia Kapitsaki University of Cyprus
	09:00 9h Talk		Poster W14: Improving Formation of Student Teams: A Clustering Approach Posters Shoaib Akbar University of North Carolina Charlotte Department of Computer Science, Edward Gehringer North Carolina State University, Zhewei Hu North Carolina State University
	09:00 9h Talk		Poster W15: Are Our Students Engaged into Their Studies? Professional Engagement vs. Study Engagement Posters Arnon Sturm Ben-Gurion University of the Negev, Timothy Lethbridge University of Ottawa
	09:00 9h Talk		Poster W16: Multidisciplinary Skill Assessment for Embedded Software Development Education via a Robot Contest Posters Harumi Watanabe Tokai University, Mikiko Sato Tokai University, Masafumi Miwa The University of Tokushima, Makoto Imamura Tokai University, Shintaro Hosoai Change Vision, Inc., Nobuhiko Ogura Tokyo City University, Hiroyuki Nakamura Kyushu University, Kenji Hisazumi Kyushu University
	09:00 9h Talk		Poster W17: PBL Planner Toolkit A Canvas-Based Tool for Planning PBL in Software Engineering Education Posters Gustavo Alexandre CESAR School, Simone Santos Federal University of Pernambuco
	09:00 9h Talk		Poster W18: Challenge-Based Learning: A Brazilian Case Study Posters Alan Santos PUCRS, Afonso Sales PUCRS, Paulo Fernandes PUCRS, Josiane Kroll University of Manitoba
	09:00 9h Talk		Poster W19: A Conceptual Model for Cooperative Thinking Posters Daniel Russo University of Bologna, Italy, Marcello Missiroli University of Bologna, Paolo Ciancarini University of Bologna
	09:00 9h Talk		Poster W20: Situation-Based E-Learning in Software Engineering Posters Wilhelm Koop University Duisburg-Essen, Tobias Brückmann CampusLab GmbH, Marian Benner-Wickner CampusLab GmbH, Markus Kleinschmidt CampusLab GmbH, Volker Gruhn University Duisburg-Essen
	09:00 9h Talk		Poster W21: A Multi-Year Analysis of Students' Build Errors in Agile Software Development Educational Projects Posters Erina Makihara Nara institute of science and technology, Hiroshi Igaki Osaka Institute of Technology, Norihiro Yoshida Nagoya University, Kenji Fujiwara National Institute of Technology, Toyota College, Naoki Kawashima Nara institute of science and technology, Hajimu Iida Nara Institute of Science and Technology
	09:00 9h Talk		Poster W23: Deciding Weak Monitorability for Runtime Verification Posters Zhe Chen Nanjing University of Aeronautics and Astronautics, Yifan Wu Nanjing University of Aeronautics and Astronautics, Ou Wei Nanjing University of Aeronautics and Astronautic, Bin Sheng Nanjing University of Aeronautics and Astronautics
	09:00 9h Talk		Poster W24: LWE: LDA refinedWord Embeddings for duplicate bug report detection Posters Amar Budhiraja Microsoft, Raghu Reddy IIT Hyderabad, Manish Shrivastava International Institute of Information Technology Hyderabad
	09:00 9h Talk		Poster W25: Inferring API Elements Relevant to an English Query Posters Tien N. Nguyen The University of Texas - Dallas, Thanh Nguyen Iowa State University
	09:00 9h Talk		Poster W26: A Study Of Monitoring Crosscutting Concerns Implementation Posters Grigoreta Sofia Cojocar Department of Computer Science, Babes-Bolyai University, Adriana-Mihaela Guran Department of Computer Science, Babes-Bolyai University
	09:00 9h Talk		Poster W27: Duplicate Finder Toolkit Posters George Chernishev SPbU, Dmitry Luciv Saint Petersburg State University, Dmitrij Koznov Saint-Petersburg State University
	09:00 9h Talk		Poster W28: Toward the Development of Richer Properties for Recommender Systems Posters David Shriver University of Nebraska-Lincoln
	09:00 9h Talk		Poster W29: Automatic Detection of Inverse Operations while Avoiding Loop Unrolling Posters Kunal Banerjee Intel, Ramanuj Chouksey IIT Guwahati, Chandan Karfa IIT Guwahati, Pankaj Kumar Kalita IIT Guwahati
	09:00 9h Talk		Poster W30: Efficiently Finding Minimal Failing Input in MapReduce Programs Posters Muhammad Sohaib Ayub School of Science and Engineering (SSE), Lahore University of Management Sciences (LUMS), Lahore, Junaid Haroon Siddiqui
	09:00 9h Talk		Poster W31: Forks Insight: Providing an Overview of GitHub Forks Posters Luyao Ren Peking University, Shurui Zhou , Christian Kästner Carnegie Mellon University
	09:00 9h Talk		Poster W32: Use of Trace Link Types in Issue Tracking Systems Posters Mihaela Todorova Tomova Technische Universität Ilmenau, Michael Rath Technische Universität Ilmenau, Patrick Mäder Technische Universität Ilmenau
	09:00 9h Talk		Poster W33: A Topic Analysis of the R Programming Language Posters Abigail Atchison Chapman University, Haley Anderson Chapman University, Christina Berardi Chapman University, Natalie Best Chapman University, Cristiano Firmani Chapman University, Rene German Chapman University, Erik Linstead Chapman University DOI Pre-print
	09:00 9h Talk		Poster W34: Architecture Reconstruction and Evaluation of Blockchain Open Source Platform Posters Jungho Kim Korea Advanced Institute of Science and Technology, Sungwon Kang Korea Advanced Institute of Science and Technology, Chan-Gun Lee Chung-Ang University, Hwi Ahn Korea Advanced Institute of Science and Technology, Changsup Keum Electronics and Telecommunications Research Institute
	09:00 9h Talk		Poster W35: Agile Requirement Traceability Matrix Posters Serin Jeong Gyeongsang National University, Heetae Cho Gyeongsang National University, Seonah Lee Gyeongsang National University
	09:00 9h Talk		Poster W36: Beyond Spatial and Temporal Memory Safety Posters Zhe Chen Nanjing University of Aeronautics and Astronautics, Chuanqi Tao Nanjing University of Aeronautics and Astronautics, Zhiyi Zhang Nanjing University of Aeronautics and Astronautics, Zhibin Yang Nanjing University of Aeronautics and Astronautics
	09:00 9h Talk		Poster W37: A Novel Shared Memory Framework for Distributed Deep Learning in High-Performance Computing Architecture Posters Shinyoung Ahn KAIST & ETRI, Joongheon Kim Chung-Ang University, Sungwon Kang Korea Advanced Institute of Science and Technology
	09:00 9h Talk		Poster W38: DWEN: Deep Word Embedding Network for Duplicate Bug Report Detection in Software Repositories Posters Amar Budhiraja Microsoft, Kartik Dutta Centre for Visual Information Technonogy, IIIT, Hyderabad, Raghu Reddy IIT Hyderabad, Manish Shrivastava International Institute of Information Technology Hyderabad
	09:00 9h Talk		Poster W39: Live Path Control Flow Integrity Posters Mohamad Barbar University of Technology, Sydney, Yulei Sui University of Technology Sydney, Australia, Hongyu Zhang The University of Newcastle, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jingling Xue UNSW Sydney
	09:00 9h Talk		Poster W40: Using Repository Data for Driving Software Architecture Posters Tobias Olsson Linnaeus University, Morgan Ericsson Linnaeus University, Anna Wingkvist Linnaeus University
	09:00 9h Talk		Poster W41: Analysis of Requirements Quality Evolution Posters Eugenio Parra Universidad Carlos III de Madrid, Jose Luis de La Vara Universidad Carlos III de Madrid, Luis Alonso The REUSE Company
	09:00 9h Talk		Poster W42: Using Consensus to Automatically Infer Post-conditions Posters Jingyi Su Bowling Green State University, Mohd Arafat Bowling Green State University, Robert Dyer Bowling Green State University
	09:00 9h Talk		Poster W43: Pairika: A failure diagnosis benchmark for C++ programs Posters Mojdeh Golagha , Md. Rezaur Rahman Technical University of Munich, Alexander Pretschner
	09:00 9h Poster		Poster W44: Towards Safe Refactoring for Intelligent Parallelization of Java 8 Streams Posters Yiming Tang City University of New York (CUNY) Graduate Center, Raffi Khatchadourian City University of New York (CUNY) Hunter College, Mehdi Bagherzadeh Oakland University, Syed Ahmed Oakland University Link to publication DOI Pre-print
	09:00 9h Poster		Poster W45: Testing Web-Based Applications with the Voice Controlled Accessibility and Testing Tool (VCAT) Posters Nagendra Prasad Ramachandra University of Texas at Arlington, Christoph Csallner University of Texas at Arlington Pre-print
	09:00 9h Talk		Poster W46: Leveraging Product Relationships to Generate Candidate Bugs for Duplicate Bug Prediction Posters Emily Su Oracle Corporation, Sameer Joshi Oracle Corporation
	09:00 9h Talk		Poster W47: Protecting Remote Controlling Apps of Smart-Home-Oriented IOT Devices Posters Xiaoyin Wang University of Texas at San Antonio, USA, Eric Ruiz University of Texas at San Antonio, Richard Avelar University of Texas at San Antonio
	09:00 9h Poster		Poster W48: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution Posters Yijun Liu College of Computer, National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Wei Dong , Chendong Feng College of Computer, National University of Defense Technology, Changsha, China Pre-print
	09:00 9h Poster		Poster W49: Introducing Quality Models Based On Joint Probabilities Posters Maria Ulan Linnaeus University, Welf Löwe Linnaeus University, Morgan Ericsson Linnaeus University, Anna Wingkvist Linnaeus University Pre-print
	09:00 9h Talk		Poster W50: Program Repair That Learns From Mistakes Posters Bat-Chen Rothenberg , Orna Grumberg Technion – Israel Institute of Technology
	09:00 9h Talk		Poster W51: A changeset-based approach to assess source code density and developer efficacy Posters Sebastian Hönel , Morgan Ericsson Linnaeus University, Welf Löwe Linnaeus University, Anna Wingkvist Linnaeus University
	09:00 9h Talk		Poster W52: Discovering Requirements of Behaviour Change Software Systems from Negative User Experience Posters Nelly Condori-Fernández University of A Coruña/ Vrije Universiteit Amsterdam, Alejandro Catala Human Media Interaction - University of Twente, Patricia Lago Vrije Universiteit Amsterdam Link to publication DOI Pre-print
	09:00 9h Talk		Poster W53: Understanding Newcomers Success in Open Source Community Posters Shahab Bayati The University of Auckland
	09:00 9h Talk		Poster W54: Swarming Remote Piloted Aircraft Systems for Mosquito-Borne Disease Research and Control Posters Jane Wyngaard University of Notre Dame, Samuel Rund University of Notre Dame, Michael Vierhauser University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Gregory Madey University of Notre Dame
	09:00 9h Talk		Poster W55: Ethics-Aware Software Engineering Posters Fatma Başak Aydemir Utrecht University, Fabiano Dalpiaz Utrecht University
	09:00 9h Talk		Poster W57: How to Handle Environmental Uncertainty in Goal-Based Requirements Engineering Posters Manzoor Ahmad LIUPPA, Christophe Gnaho LACL, Jean-Michel Bruel Université de Toulouse, France, Régine Laleau LACL