Abstract is missing.
- Some challenges for software testing research (invited talk paper)Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia 0001, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin. 1-3 [doi]
- From typestate verification to interpretable deep models (invited talk abstract)Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay. 4-5 [doi]
- Theory and practice of string solvers (invited talk abstract)Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh. 6-7 [doi]
- Crash-avoiding program repairXiang Gao, Sergey Mechtaev, Abhik Roychoudhury. 8-18 [doi]
- Practical program repair via bytecode mutationAli-Ghanbari, Samuel Benton, Lingming Zhang. 19-30 [doi]
- TBar: revisiting template-based automated program repairKui Liu, Anil Koyuncu, Dongsun Kim 0001, Tegawendé F. Bissyandé. 31-42 [doi]
- History-driven build failure fixing: how far are we?Yiling Lou, Junjie Chen 0003, Lingming Zhang, Dan Hao, Lu Zhang 0023. 43-54 [doi]
- LibID: reliable identification of obfuscated third-party Android librariesJiexin Zhang, Alastair R. Beresford, Stephan A. Kollmann. 55-65 [doi]
- QADroid: regression event selection for Android applicationsAman Sharma, Rupesh Nasre. 66-77 [doi]
- Mining Android crash fixes in the absence of issue- and change-tracking systemsPingfan Kong, Li Li, Jun Gao, Tegawendé F. Bissyandé, Jacques Klein. 78-89 [doi]
- Sara: self-replay augmented record and replay for Android in industrial casesJiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu. 90-100 [doi]
- Root causing flaky tests in a large-scale industrial settingWing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta. 101-111 [doi]
- Mitigating the effects of flaky tests on mutation testingAugust Shi, Jonathan Bell 0001, Darko Marinov. 112-122 [doi]
- Assessing the state and improving the art of parallel testing for COliver Schwahn, Nicolas Coppik, Stefan Winter 0001, Neeraj Suri. 123-133 [doi]
- Failure clustering without coverageMojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger. 134-145 [doi]
- DeepHunter: a coverage-guided fuzz testing framework for deep neural networksXiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu 0003, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See. 146-157 [doi]
- Search-based test and improvement of machine-learning-based anomaly detection systemsMaxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon. 158-168 [doi]
- DeepFL: integrating multiple fault diagnosis dimensions for deep fault localizationXia Li, Wei Li, Yuqun Zhang, Lingming Zhang. 169-180 [doi]
- Codebase-adaptive detection of security-relevant methodsGoran Piskachev, Lisa Nguyen Quang Do, Eric Bodden. 181-191 [doi]
- Effective and efficient API misuse detection via exception propagation and search-based testingMaria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie van Deursen. 192-203 [doi]
- Automated API-usage update for Android appsMattia Fazzini, Qi Xin, Alessandro Orso. 204-215 [doi]
- A large-scale study of application incompatibilities in AndroidHaipeng Cai, Ziyi Zhang, Li Li 0029, Xiaoqin Fu. 216-227 [doi]
- Deferred concretization in symbolic execution via fuzzingAwanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy. 228-238 [doi]
- Differentially testing soundness and precision of program analyzersChristian Klinger, Maria Christakis, Valentin Wüstholz. 239-250 [doi]
- Judge: identifying, understanding, and evaluating sources of unsoundness in call graphsMichael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini. 251-261 [doi]
- Adlib: analyzer for mobile ad platform librariesSungho Lee, Sukyoung Ryu. 262-272 [doi]
- Interactive metamorphic testing of debuggersSandro Tolksdorf, Daniel Lehmann, Michael Pradel. 273-283 [doi]
- TestMig: migrating GUI test cases from iOS to AndroidXue-qin, Hao Zhong, Xiaoyin Wang. 284-295 [doi]
- Learning user interface element interactionsChristian Degott, Nataniel P. Borges Jr., Andreas Zeller. 296-306 [doi]
- Improving random GUI testing with image-based widget detectionThomas D. White, Gordon Fraser, Guy J. Brown. 307-317 [doi]
- Automatically testing self-driving cars with search-based procedural content generationAlessio Gambi, Marc Müller, Gordon Fraser. 318-328 [doi]
- Semantic fuzzing with zestRohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon. 329-340 [doi]
- Detecting memory errors at runtime with source-level instrumentationZhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue. 341-351 [doi]
- Optimal context-sensitive dynamic partial order reduction with observersElvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey. 352-362 [doi]
- Exploiting the laws of order in smart contractsAashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena. 363-373 [doi]
- Go-clone: graph-embedding based clone detector for GolangCong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu 0001, Jiaguang Sun. 374-377 [doi]
- VFQL: combinational static analysis as query languageGuang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun. 378-381 [doi]
- VBSAC: a value-based static analyzer for CChi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu. 382-385 [doi]
- SAFEVM: a safety verifier for Ethereum smart contractsElvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio. 386-389 [doi]
- CoCoTest: collaborative crowdsourced testing for Android applicationsHaoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu Chen 0001. 390-393 [doi]
- Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for AndroidLinjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang. 394-397 [doi]
- JQF: coverage-guided property-based testing in JavaRohan Padhye, Caroline Lemieux, Koushik Sen. 398-401 [doi]
- Ukwikora: continuous inspection for keyword-driven testingRenaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach. 402-405 [doi]
- CTRAS: a tool for aggregating and summarizing crowdsourced test reportsYuying Li, Rui Hao, Yang Feng, James A. Jones, Xiaofang Zhang, Zhenyu Chen. 406-409 [doi]
- Continuous software performance assessment: detecting performance problems of software libraries on every buildChristoph Laaber. 410-414 [doi]
- Mining constraints for grammar fuzzingMichaël Mera. 415-418 [doi]
- A new dimension of test quality: assessing and generating higher quality unit test casesGiovanni Grano. 419-423 [doi]
- A cost-effective strategy for software vulnerability prediction based on bellwether analysisPatrick Kwaku Kudjo, Jinfu Chen. 424-427 [doi]
- Identifying error code misuses in complex systemWensheng Tang. 428-432 [doi]
- Conditional dynamic partial order reduction and optimality resultsMiguel Isabel. 433-437 [doi]
- Towards scalable defense of information flow security for distributed systemsXiaoqin Fu. 438-442 [doi]
- On the correctness of GPU programsChao Peng. 443-447 [doi]
- JNI program analysis with automatically extracted C semantic summarySungho Lee. 448-451 [doi]