* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

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.

Wed 30 May
Times are displayed in 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 BrunUniversity of Massachusetts, Amherst, Raffaela MirandolaPolitecnico di Milano
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
Sahar TahviliRISE SICS AB
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
Thomas Kuhn, Markus DammFraunhofer, Pablo Oliveira Antonino de AssisFraunhofer, Andreas MorgensternFraunhofer, Dirk SchulzABB Corporate Research, Constantin ZiescheRobert Bosch GmbH, Thorsten MüllerSMS group GmbH
09:00 - 18:00
Talk
Posters
Julian BassUniversity of Salford, Sarah BeechamLero - The Irish Software Research Centre and University of Limerick, Mohammad Abdur RazzakLero - The Irish Software Research Centre and University of Limerick, Clodagh Nic CannaOcuco Ltd, John NollUniversity of East London, and Lero - The Irish Software Research Centre
09:00 - 18:00
Talk
Posters
Yan de Lima JustinoFederal University of Rio Grande do Norte, Carlos Eduardo Da SilvaFederal University of Rio Grande do Norte
09:00 - 18:00
Talk
Posters
Yaping LuoAltran Netherlands B.V., Egbert Touw
09:00 - 18:00
Talk
Posters
Irina Diana ComanThe Most Serene Republic, Alberto SillittiInnopolis University, Giancarlo SucciInnopolis University
09:00 - 18:00
Talk
Posters
Katharina JuhnkeDaimler AG, Matthias TichyUlm University, Germany, Frank HoudekDaimler AG
09:00 - 18:00
Talk
Posters
Pavneet Singh KochharSingapore Management University, Stanislaw SwiercMicrosoft, Trevor CarnahanMicrosoft, Hitesh SajnaniMicrosoft , Mei NagappanUniversity of Waterloo
09:00 - 18:00
Talk
Posters
Bianca BergandeUniversity of Applied Sciences Neu-Ulm, Philipp BruneUniversity of Applied Sciences Neu-Ulm
09:00 - 18:00
Talk
Posters
Julio FurtadoUNIFAP, Sandro OliveiraUFPA - Universidade Federal do Pará
09:00 - 18:00
Talk
Posters
Jakeline MarcosTecnologico de Monterrey
09:00 - 18:00
Talk
Posters
Yao LuNational University of Defense Technology, Xinjun MaoNational University of Defense Technology, Tao WangNational University of Defense Technology, Gang YinNational University of Defense Technology, Zude LiCentral South University, Huaimin Wang
09:00 - 18:00
Talk
Posters
Rafael ChaninPUCRS, Afonso SalesPUCRS, Leandro Bento Pompermaier, Rafael Prikladnicki Faculdade de Informática da PUCRS
09:00 - 18:00
Talk
Posters
09:00 - 18:00
Talk
Posters
Shoaib AkbarUniversity of North Carolina Charlotte Department of Computer Science, Edward GehringerNorth Carolina State University, Zhewei HuNorth Carolina State University
09:00 - 18:00
Talk
Posters
Arnon SturmBen-Gurion University of the Negev, Timothy LethbridgeUniversity of Ottawa
09:00 - 18:00
Talk
Posters
Harumi WatanabeTokai University, Mikiko SatoTokai University, Masafumi MiwaThe University of Tokushima, Makoto ImamuraTokai University, Shintaro HosoaiChange Vision, Inc., Nobuhiko OguraTokyo City University, Hiroyuki NakamuraKyushu University, Kenji HisazumiKyushu University
09:00 - 18:00
Talk
Posters
Gustavo AlexandreCESAR School, Simone SantosFederal University of Pernambuco
09:00 - 18:00
Talk
Posters
Alan SantosPUCRS, Afonso SalesPUCRS, Paulo FernandesPUCRS, Josiane KrollUniversity of Manitoba
09:00 - 18:00
Talk
Posters
Daniel RussoUniversity of Bologna, Italy, Marcello MissiroliUniversity of Bologna, Paolo CiancariniUniversity of Bologna
09:00 - 18:00
Talk
Posters
Wilhelm KoopUniversity Duisburg-Essen, Tobias BrückmannCampusLab GmbH, Marian Benner-WicknerCampusLab GmbH, Markus KleinschmidtCampusLab GmbH, Volker GruhnUniversity Duisburg-Essen
09:00 - 18:00
Talk
Posters
Erina MakiharaNara institute of science and technology, Hiroshi IgakiOsaka Institute of Technology, Norihiro YoshidaNagoya University, Kenji FujiwaraNational Institute of Technology, Toyota College, Naoki KawashimaNara institute of science and technology, Hajimu IidaNara Institute of Science and Technology
09:00 - 18:00
Talk
Posters
Zhe ChenNanjing University of Aeronautics and Astronautics, Yifan WuNanjing University of Aeronautics and Astronautics, Ou WeiNanjing University of Aeronautics and Astronautic, Bin ShengNanjing University of Aeronautics and Astronautics
09:00 - 18:00
Talk
Posters
Amar BudhirajaMicrosoft, Raghu ReddyIIT Hyderabad, Manish ShrivastavaInternational Institute of Information Technology Hyderabad
09:00 - 18:00
Talk
Posters
Tien N. NguyenThe University of Texas - Dallas, Thanh NguyenIowa State University
09:00 - 18:00
Talk
Posters
Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University
09:00 - 18:00
Talk
Posters
George ChernishevSPbU, Dmitry LucivSaint Petersburg State University, Dmitrij KoznovSaint-Petersburg State University
09:00 - 18:00
Talk
Posters
David ShriverUniversity of Nebraska-Lincoln
09:00 - 18:00
Talk
Posters
Kunal BanerjeeIntel, Ramanuj ChoukseyIIT Guwahati, Chandan KarfaIIT Guwahati, Pankaj Kumar KalitaIIT Guwahati
09:00 - 18:00
Talk
Posters
Muhammad Sohaib AyubSchool of Science and Engineering (SSE), Lahore University of Management Sciences (LUMS), Lahore, Junaid Haroon SiddiquiLahore University of Management Sciences
09:00 - 18:00
Talk
Posters
Luyao RenPeking University, Shurui ZhouCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University
09:00 - 18:00
Talk
Posters
Mihaela Todorova TomovaTechnische Universität Ilmenau, Michael RathTechnische Universität Ilmenau, Patrick MäderTechnische Universität Ilmenau
09:00 - 18:00
Talk
Posters
Abigail AtchisonChapman University, Haley AndersonChapman University, Christina BerardiChapman University, Natalie BestChapman University, Cristiano FirmaniChapman University, Rene GermanChapman University, Erik LinsteadChapman University
DOI Pre-print
09:00 - 18:00
Talk
Posters
Jungho KimKorea Advanced Institute of Science and Technology, Sungwon KangKorea Advanced Institute of Science and Technology, Chan-Gun LeeChung-Ang University, Hwi AhnKorea Advanced Institute of Science and Technology, Changsup KeumElectronics and Telecommunications Research Institute
09:00 - 18:00
Talk
Posters
Serin JeongGyeongsang National University, Heetae ChoGyeongsang National University, Seonah LeeGyeongsang National University
09:00 - 18:00
Talk
Posters
Zhe ChenNanjing University of Aeronautics and Astronautics, Chuanqi TaoNanjing University of Aeronautics and Astronautics, Zhiyi ZhangNanjing University of Aeronautics and Astronautics, Zhibin YangNanjing University of Aeronautics and Astronautics
09:00 - 18:00
Talk
Posters
Shinyoung AhnKAIST & ETRI, Joongheon KimChung-Ang University, Sungwon KangKorea Advanced Institute of Science and Technology
09:00 - 18:00
Talk
Posters
Amar BudhirajaMicrosoft, Kartik DuttaCentre for Visual Information Technonogy, IIIT, Hyderabad, Raghu ReddyIIT Hyderabad, Manish ShrivastavaInternational Institute of Information Technology Hyderabad
09:00 - 18:00
Talk
Posters
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Australia, Hongyu ZhangThe University of Newcastle, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia, Jingling XueUNSW Sydney
09:00 - 18:00
Talk
Posters
Tobias OlssonLinnaeus University, Morgan EricssonLinnaeus University, Anna WingkvistLinnaeus University
09:00 - 18:00
Talk
Posters
Eugenio ParraUniversidad Carlos III de Madrid, Jose Luis de La VaraUniversidad Carlos III de Madrid, Luis AlonsoThe REUSE Company
09:00 - 18:00
Talk
Posters
Jingyi SuBowling Green State University, Mohd ArafatBowling Green State University, Robert DyerBowling Green State University
09:00 - 18:00
Talk
Posters
Mojdeh Golagha, Md. Rezaur RahmanTechnical University of Munich, Alexander Pretschner
09:00 - 18:00
Poster
Posters
Yiming TangCity University of New York (CUNY) Graduate Center, Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Mehdi BagherzadehOakland University, Syed AhmedOakland University
Link to publication DOI Pre-print
09:00 - 18:00
Poster
Posters
Nagendra Prasad RamachandraUniversity of Texas at Arlington, Christoph CsallnerUniversity of Texas at Arlington
Pre-print
09:00 - 18:00
Talk
Posters
Emily SuOracle Corporation, Sameer JoshiOracle Corporation
09:00 - 18:00
Talk
Posters
Xiaoyin WangUniversity of Texas at San Antonio, USA, Eric RuizUniversity of Texas at San Antonio, Richard AvelarUniversity of Texas at San Antonio
09:00 - 18:00
Poster
Posters
Yijun LiuCollege of Computer, National University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Wei Dong, Chendong FengCollege of Computer, National University of Defense Technology, Changsha, China
Pre-print
09:00 - 18:00
Poster
Posters
Maria UlanLinnaeus University, Welf LöweLinnaeus University, Morgan EricssonLinnaeus University, Anna WingkvistLinnaeus University
Pre-print
09:00 - 18:00
Talk
Posters
Bat-Chen Rothenberg, Orna GrumbergTechnion – Israel Institute of Technology
09:00 - 18:00
Talk
Posters
Sebastian Hönel, Morgan EricssonLinnaeus University, Welf LöweLinnaeus University, Anna WingkvistLinnaeus University
09:00 - 18:00
Talk
Posters
Nelly Condori-FernándezUniversity of A Coruña/ Vrije Universiteit Amsterdam, Alejandro CatalaHuman Media Interaction - University of Twente, Patricia LagoVrije Universiteit Amsterdam
Link to publication DOI Pre-print
09:00 - 18:00
Talk
Posters
Shahab BayatiThe University of Auckland
09:00 - 18:00
Talk
Posters
Jane WyngaardUniversity of Notre Dame, Samuel RundUniversity of Notre Dame, Michael VierhauserUniversity of Notre Dame, Jane Cleland-HuangUniversity of Notre Dame, Gregory MadeyUniversity of Notre Dame
09:00 - 18:00
Talk
Posters
Fatma Başak AydemirUtrecht University, Fabiano DalpiazUtrecht University
09:00 - 18:00
Talk
Posters
Manzoor AhmadLIUPPA, Christophe GnahoLACL, Jean-Michel BruelUniversité de Toulouse, France, Régine LaleauLACL