Abstract is missing.
- Test input generation with Java PathFinder: then and now (invited talk abstract)Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser. 1-2 [doi]
- Lightweight verification of array indexingMartin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst. 3-14 [doi]
- Eliminating timing side-channel leaks using program repairMeng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang 0001. 15-26 [doi]
- Symbolic path cost analysis for side-channel detectionTegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu. 27-37 [doi]
- Safe and sound program analysis with FlixMagnus Madsen, Ondrej Lhoták. 38-48 [doi]
- Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approachSeung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer. 49-60 [doi]
- Bench4BL: reproducibility study on the performance of IR-based bug localizationJaekwon Lee, Dongsun Kim 0001, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon. 61-72 [doi]
- Automated test mapping and coverage for network topologiesPer Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Wasif Afzal. 73-83 [doi]
- Evaluating test-suite reduction in real software evolutionAugust Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov. 84-94 [doi]
- Compiler fuzzing through deep learningChris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather. 95-105 [doi]
- Deep specification miningTien-Duy B. Le, David Lo 0001. 106-117 [doi]
- Identifying implementation bugs in machine learning based image classifiers using metamorphic testingAnurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, Sanjay Podder. 118-128 [doi]
- An empirical study on TensorFlow program bugsYuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang. 129-140 [doi]
- Automatically translating bug reports into test cases for mobile appsMattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso. 141-152 [doi]
- CiD: automating the detection of API-related compatibility issues in Android appsLi Li 0029, Tegawendé F. Bissyandé, Haoyu Wang, Jacques Klein. 153-163 [doi]
- Test migration for efficient large-scale assessment of mobile app coding assignmentsFarnaz Behrang, Alessandro Orso. 164-175 [doi]
- Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeLina Qiu, Yingying Wang, Julia Rubin. 176-186 [doi]
- Repositioning of static analysis alarmsTukaram Muske, Rohith Talluri, Alexander Serebrenik. 187-197 [doi]
- Shooting from the heap: ultra-scalable static analysis with heap snapshotsNeville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis. 198-208 [doi]
- Static analysis of Java dynamic proxiesGeorge Fourtounis, George Kastrinis, Yannis Smaragdakis. 209-220 [doi]
- Practical detection of concurrency issues at coding timeLuc Bläser. 221-231 [doi]
- Tests from traces: automated unit test extraction for RFilip Krikava, Jan Vitek. 232-241 [doi]
- Translating code comments to procedure specificationsArianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos. 242-253 [doi]
- PerfFuzz: automatically generating pathological inputsCaroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song. 254-265 [doi]
- Search-based detection of deviation failures in the migration of legacy spreadsheet applicationsMohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, Janis Benefelds. 266-275 [doi]
- Making data-driven porting decisions with TuscanKareem Khazem, Earl T. Barr, Petr Hosek. 276-286 [doi]
- Comparing developer-provided to user-provided tests for fault localization and automated program repairRené Just, Chris Parnin, Ian Drosos, Michael D. Ernst. 287-297 [doi]
- Shaping program repair space with existing patches and similar codeJiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen. 298-309 [doi]
- Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applicationsYingjun Lyu, Ding Li, William G. J. Halfond. 310-321 [doi]
- Badger: complexity analysis with fuzzing and symbolic executionYannic Noller, Rody Kersten, Corina S. Pasareanu. 322-332 [doi]
- Exploiting community structure for floating-point precision tuningHui Guo, Cindy Rubio-González. 333-343 [doi]
- piCoq: parallel regression proving for large-scale verification projectsKarl Palmskog, Ahmet Çelik, Milos Gligoric. 344-355 [doi]
- Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programsJan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar. 356-359 [doi]
- LAND: a user-friendly and customizable test generation tool for Android appsJiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang. 360-363 [doi]
- Managing concurrent testing of data race with ComRaDeJian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu 0001. 364-367 [doi]
- OASIs: oracle assessment and improvement toolGunel Jahangirova, David Clark, Mark Harman, Paolo Tonella. 368-371 [doi]
- Mutode: generic JavaScript and Node.js mutation testing toolDiego Rodríguez-Baquero, Mario Linares Vásquez. 372-375 [doi]
- MalViz: an interactive visualization tool for tracing malwareVinh The Nguyen, Akbar Siami Namin, Tommy Dang. 376-379 [doi]