Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Wed 18 Jul 2018 17:00 - 20:00 at Matterhorn - Poster session Chair(s): Lisa Nguyen Quang Do

Symbolic execution is an effective but expensive technique for automated test generation. Over the years, a large number of refined symbolic execution techniques have been proposed to improve its efficiency. However, the symbolic execution efficiency problem remains, and largely limits the application of symbolic execution in practice. Orthogonal to refined symbolic execution, in this paper we propose to accelerate symbolic execution through semantic-preserving code transformation on the target programs. During the initial stage of this direction, we adopt a particular code transformation, compiler optimization, which is initially proposed to accelerate program concrete execution by transforming the source program into another semantic-preserving target program with increased efficiency (e.g., faster or smaller). However, compiler optimizations are mostly designed to accelerate program concrete execution rather than symbolic execution. Recent work also reported that unified settings on compiler optimizations that can accelerate symbolic execution for any program do not exist at all. Therefore, in this work we propose a machine-learning based approach to tuning compiler optimizations to accelerate symbolic execution, whose results may also aid further design of specific code transformations for symbolic execution. In particular, the proposed approach LEO separates source-code methods and libraries through our program-splitter, and predicts individual compiler optimization (i.e., whether a type of code transformation is chosen) separately through analyzing the performance of existing symbolic execution. Finally, LEO applies symbolic execution on the code transformed by compiler optimization (through our local-optimizer). We conduct an empirical study on GNU Coreutils programs using the KLEE symbolic execution engine. The results show that LEO significantly accelerates symbolic execution, outperforming the default KLEE configurations (i.e., turning on/off all compiler optimizations) in various settings, e.g., with the default training/testing time, LEO achieves the highest line coverage in 50/68 programs, and its average improvement rate on all programs is 46.48%/88.92% in terms of line coverage compared with turning on/off all compiler optimizations.

Wed 18 Jul

ecoop-issta-2018-posters
17:00 - 20:00: Posters - Poster session at Matterhorn
Chair(s): Lisa Nguyen Quang DoPaderborn University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
ecoop-issta-2018-posters17:00 - 20:00
Poster
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
ecoop-issta-2018-posters17:00 - 20:00
Poster
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
ecoop-issta-2018-posters17:00 - 20:00
Poster
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
ecoop-issta-2018-posters17:00 - 20:00
Poster
Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin
ecoop-issta-2018-posters17:00 - 20:00
Poster
Luc BläserHochschule für Technik Rapperswil
ecoop-issta-2018-posters17:00 - 20:00
Poster
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
ecoop-issta-2018-posters17:00 - 20:00
Poster
Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology
ecoop-issta-2018-posters17:00 - 20:00
Poster
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy
ecoop-issta-2018-posters17:00 - 20:00
Poster
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie
ecoop-issta-2018-posters17:00 - 20:00
Poster
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
ecoop-issta-2018-posters17:00 - 20:00
Poster
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
ecoop-issta-2018-posters17:00 - 20:00
Poster
Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam
ecoop-issta-2018-posters17:00 - 20:00
Poster
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
ecoop-issta-2018-posters17:00 - 20:00
Poster
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
ecoop-issta-2018-posters17:00 - 20:00
Poster
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute
ecoop-issta-2018-posters17:00 - 20:00
Poster
Goran PiskachevFraunhofer IEM
ecoop-issta-2018-posters17:00 - 20:00
Poster
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center
ecoop-issta-2018-posters17:00 - 20:00
Poster
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
ecoop-issta-2018-posters17:00 - 20:00
Poster
ecoop-issta-2018-posters17:00 - 20:00
Poster
Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
ecoop-issta-2018-posters17:00 - 20:00
Poster
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
ecoop-issta-2018-posters17:00 - 20:00
Poster
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center
ecoop-issta-2018-posters17:00 - 20:00
Poster
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
ecoop-issta-2018-posters17:00 - 20:00
Poster
Filip KrikavaCzech Technical University, Jan VitekNortheastern University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
ecoop-issta-2018-posters17:00 - 20:00
Poster
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
ecoop-issta-2018-posters17:00 - 20:00
Poster
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
ecoop-issta-2018-posters17:00 - 20:00
Poster
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
ecoop-issta-2018-posters17:00 - 20:00
Poster
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
ecoop-issta-2018-posters17:00 - 20:00
Poster
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
ecoop-issta-2018-posters17:00 - 20:00
Poster
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
ecoop-issta-2018-posters17:00 - 20:00
Poster
Dan IorgaImperial College London, UK, Alastair DonaldsonImperial College London
ecoop-issta-2018-posters17:00 - 20:00
Poster
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
ecoop-issta-2018-posters17:00 - 20:00
Demonstration
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
Media Attached
ecoop-issta-2018-posters17:00 - 20:00
Poster
ecoop-issta-2018-posters17:00 - 20:00
Poster
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
ecoop-issta-2018-posters17:00 - 20:00
Poster
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
ecoop-issta-2018-posters17:00 - 20:00
Poster
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
ecoop-issta-2018-posters17:00 - 20:00
Poster
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology