default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th ISSTA 2019: Beijing, China
- Dongmei Zhang, Anders Møller:
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. ACM 2019, ISBN 978-1-4503-6224-5
Keynote
- Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro
, Ilya Zorin:
Some challenges for software testing research (invited talk paper). 1-3
ISSTA 2019 Retrospective Impact Paper Award
- Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay:
From typestate verification to interpretable deep models (invited talk abstract). 4-5
ISSTA 2019 Impact Paper Award
- Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh:
Theory and practice of string solvers (invited talk abstract). 6-7
Program Repair
- Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury:
Crash-avoiding program repair. 8-18 - Ali Ghanbari, Samuel Benton, Lingming Zhang:
Practical program repair via bytecode mutation. 19-30 - Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé:
TBar: revisiting template-based automated program repair. 31-42 - Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang:
History-driven build failure fixing: how far are we? 43-54
Mobile App Testing
- Jiexin Zhang, Alastair R. Beresford, Stephan A. Kollmann:
LibID: reliable identification of obfuscated third-party Android libraries. 55-65 - Aman Sharma, Rupesh Nasre:
QADroid: regression event selection for Android applications. 66-77 - Pingfan Kong, Li Li, Jun Gao, Tegawendé F. Bissyandé, Jacques Klein:
Mining Android crash fixes in the absence of issue- and change-tracking systems. 78-89 - Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu:
Sara: self-replay augmented record and replay for Android in industrial cases. 90-100
Regression Testing
- Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta:
Root causing flaky tests in a large-scale industrial setting. 101-111 - August Shi, Jonathan Bell, Darko Marinov:
Mitigating the effects of flaky tests on mutation testing. 112-122 - Oliver Schwahn, Nicolas Coppik, Stefan Winter, Neeraj Suri:
Assessing the state and improving the art of parallel testing for C. 123-133 - Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger:
Failure clustering without coverage. 134-145
Testing and Machine Learning
- Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See:
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. 146-157 - Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon:
Search-based test and improvement of machine-learning-based anomaly detection systems. 158-168 - Xia Li, Wei Li, Yuqun Zhang, Lingming Zhang:
DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization. 169-180 - Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden:
Codebase-adaptive detection of security-relevant methods. 181-191
APIs and Symbolic Execution
- Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie van Deursen:
Effective and efficient API misuse detection via exception propagation and search-based testing. 192-203 - Mattia Fazzini, Qi Xin, Alessandro Orso:
Automated API-usage update for Android apps. 204-215 - Haipeng Cai, Ziyi Zhang, Li Li, Xiaoqin Fu:
A large-scale study of application incompatibilities in Android. 216-227 - Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy:
Deferred concretization in symbolic execution via fuzzing. 228-238
Static Analysis and Debugging
- Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially testing soundness and precision of program analyzers. 239-250 - Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini:
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. 251-261 - Sungho Lee, Sukyoung Ryu:
Adlib: analyzer for mobile ad platform libraries. 262-272 - Sandro Tolksdorf, Daniel Lehmann, Michael Pradel:
Interactive metamorphic testing of debuggers. 273-283
Testing GUIs and Cars
- Xue Qin, Hao Zhong, Xiaoyin Wang:
TestMig: migrating GUI test cases from iOS to Android. 284-295 - Christian Degott, Nataniel P. Borges Jr., Andreas Zeller:
Learning user interface element interactions. 296-306 - Thomas D. White, Gordon Fraser, Guy J. Brown:
Improving random GUI testing with image-based widget detection. 307-317 - Alessio Gambi, Marc Müller, Gordon Fraser:
Automatically testing self-driving cars with search-based procedural content generation. 318-328
Potpourri
- Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Semantic fuzzing with zest. 329-340 - Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue:
Detecting memory errors at runtime with source-level instrumentation. 341-351 - Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal context-sensitive dynamic partial order reduction with observers. 352-362 - Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena:
Exploiting the laws of order in smart contracts. 363-373
Tool Demonstration
- Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun:
Go-clone: graph-embedding based clone detector for Golang. 374-377 - Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun:
VFQL: combinational static analysis as query language. 378-381 - Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu:
VBSAC: a value-based static analyzer for C. 382-385 - Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: a safety verifier for Ethereum smart contracts. 386-389 - Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu Chen:
CoCoTest: collaborative crowdsourced testing for Android applications. 390-393 - Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang:
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. 394-397 - Rohan Padhye, Caroline Lemieux, Koushik Sen:
JQF: coverage-guided property-based testing in Java. 398-401 - Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach:
Ukwikora: continuous inspection for keyword-driven testing. 402-405 - Yuying Li, Rui Hao, Yang Feng, James A. Jones, Xiaofang Zhang, Zhenyu Chen:
CTRAS: a tool for aggregating and summarizing crowdsourced test reports. 406-409
Doctoral Symposium
- Christoph Laaber:
Continuous software performance assessment: detecting performance problems of software libraries on every build. 410-414 - Michaël Mera:
Mining constraints for grammar fuzzing. 415-418 - Giovanni Grano:
A new dimension of test quality: assessing and generating higher quality unit test cases. 419-423 - Patrick Kwaku Kudjo, Jinfu Chen:
A cost-effective strategy for software vulnerability prediction based on bellwether analysis. 424-427 - Wensheng Tang:
Identifying error code misuses in complex system. 428-432 - Miguel Isabel:
Conditional dynamic partial order reduction and optimality results. 433-437 - Xiaoqin Fu:
Towards scalable defense of information flow security for distributed systems. 438-442 - Chao Peng:
On the correctness of GPU programs. 443-447 - Sungho Lee:
JNI program analysis with automatically extracted C semantic summary. 448-451
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
