|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 720 occurrences of 401 keywords
|
|
|
Results
Found 1044 publication records. Showing 1044 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri |
Scalable analysis of interaction threats in IoT systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 272-285, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ruixiang Qian, Yuan Zhao, Duo Men, Yang Feng 0003, Qingkai Shi, Yong Huang, Zhenyu Chen 0001 |
Test recommendation system based on slicing coverage filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 573-576, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer |
Feasible and stressful trajectory generation for mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 349-362, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chao Guo, Tieke He, Wei Yuan, Yue Guo, Rui Hao |
Crowdsourced requirements generation for automatic testing via knowledge graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 545-548, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wing Lam, August Shi, Reed Oei, Sai Zhang 0001, Michael D. Ernst, Tao Xie 0001 |
Dependent-test-aware regression testing techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 298-311, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
Automated repair of feature interaction failures in automated driving systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 88-100, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, Daniel Sundmark |
Intermittently failing tests in the embedded systems domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 337-348, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis |
Identifying Java calls in native code via binary scanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 388-400, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Björn Mathis, Rahul Gopinath, Andreas Zeller |
Learning input tokens for effective fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 27-37, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi 0001 |
Detecting and understanding real-world differential performance bugs in machine learning libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 189-199, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yang Feng 0003, Qingkai Shi, Xinyu Gao, Jun Wan 0011, Chunrong Fang, Zhenyu Chen 0001 |
DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 177-188, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh |
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 165-176, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saikat Dutta 0001, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic |
Detecting flaky tests in probabilistic and machine learning applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 211-224, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ghanbari 0001 |
ObjSim: lightweight automatic patch prioritization via object similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 541-544, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang 0001, Yang Liu 0003, Kui Ren 0001 |
An empirical study on ARM disassembly tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 401-414, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini |
A programming model for semi-implicit parallelization of static analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 428-439, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiao He 0005, Xingwei Wang 0005, Jia Shi, Yi Liu |
Testing high performance numerical simulation programs: experience, lessons learned, and open issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 502-515, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani |
Data loss detector: automatically revealing data loss bugs in Android apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 141-152, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei 0001, Dan Ye 0004, Bo Yang |
Learning to detect table clones in spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 528-540, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Muyang Liu, Ke Li 0001, Tao Chen 0001 |
DeepSQLi: deep semantic learning for testing SQL injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 286-297, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhibo Liu, Shuai Wang 0011 |
How far we have come: testing decompilation correctness of C decompilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 475-487, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang 0001 |
Fast bit-vector satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 38-50, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Trabish, Noam Rinetzky |
Relocatable addressing model for symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 51-62, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jackson Vanover, Xuan Deng, Cindy Rubio-González |
Discovering discrepancies in numerical libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 488-501, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yiling Lou, Ali Ghanbari 0001, Xia Li 0009, Lingming Zhang 0001, Haotian Zhang, Dan Hao 0001, Lu Zhang 0023 |
Can automated program repair refine fault localization? a unified debugging approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 75-87, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thibaud Lutellier, Hung Viet Pham, Lawrence Pang, Yitong Li, Moshi Wei, Lin Tan 0001 |
CoCoNuT: combining context-aware neural translation models using ensemble for program repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 101-114, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Feng Xue |
Automated mobile apps testing from visual perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 577-581, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, Daniel Lehmann 0002, Marina Polishchuk |
Differential regression testing for REST APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, pp. 312-323, 2020, ACM, 978-1-4503-8008-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon |
Search-based test and improvement of machine-learning-based anomaly detection systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 158-168, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Peng 0002 |
On the correctness of GPU programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 443-447, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach |
Ukwikora: continuous inspection for keyword-driven testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 402-405, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy 0001 |
Deferred concretization in symbolic execution via fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 228-238, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Tolksdorf, Daniel Lehmann 0002, Michael Pradel |
Interactive metamorphic testing of debuggers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 273-283, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xue Qin, Hao Zhong 0001, Xiaoyin Wang |
TestMig: migrating GUI test cases from iOS to Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 284-295, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Chen 0011, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue |
Detecting memory errors at runtime with source-level instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 341-351, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | August Shi, Jonathan Bell 0001, Darko Marinov |
Mitigating the effects of flaky tests on mutation testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 112-122, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
From typestate verification to interpretable deep models (invited talk abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 4-5, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dongmei Zhang 0001, Anders Møller (eds.) |
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![ACM, 978-1-4503-6224-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Isabel |
Conditional dynamic partial order reduction and optimality results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 433-437, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuying Li 0005, Rui Hao, Yang Feng 0003, James A. Jones, Xiaofang Zhang, Zhenyu Chen 0001 |
CTRAS: a tool for aggregating and summarizing crowdsourced test reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 406-409, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio |
SAFEVM: a safety verifier for Ethereum smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 386-389, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haipeng Cai, Ziyi Zhang, Li Li 0029, Xiaoqin Fu |
A large-scale study of application incompatibilities in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 216-227, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia 0001, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin |
Some challenges for software testing research (invited talk paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 1-3, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guang Chen, Yuexing Wang, Min Zhou 0001, Jiaguang Sun 0001 |
VFQL: combinational static analysis as query language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 378-381, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kui Liu 0001, Anil Koyuncu, Dongsun Kim 0001, Tegawendé F. Bissyandé |
TBar: revisiting template-based automated program repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 31-42, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
Theory and practice of string solvers (invited talk abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 6-7, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Laaber |
Continuous software performance assessment: detecting performance problems of software libraries on every build. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 410-414, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pingfan Kong, Li Li 0029, Jun Gao 0001, Tegawendé F. Bissyandé, Jacques Klein |
Mining Android crash fixes in the absence of issue- and change-tracking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 78-89, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
Semantic fuzzing with zest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 329-340, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqin Fu |
Towards scalable defense of information flow security for distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 438-442, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Kwaku Kudjo, Jinfu Chen 0001 |
A cost-effective strategy for software vulnerability prediction based on bellwether analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 424-427, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Schwahn, Nicolas Coppik, Stefan Winter 0001, Neeraj Suri |
Assessing the state and improving the art of parallel testing for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 123-133, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas D. White, Gordon Fraser 0001, Guy J. Brown |
Improving random GUI testing with image-based widget detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 307-317, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Mera |
Mining constraints for grammar fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 415-418, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Gao 0012, Sergey Mechtaev, Abhik Roychoudhury |
Crash-avoiding program repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 8-18, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sungho Lee, Sukyoung Ryu |
Adlib: analyzer for mobile ad platform libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 262-272, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiexin Zhang 0001, Alastair R. Beresford, Stephan A. Kollmann |
LibID: reliable identification of obfuscated third-party Android libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 55-65, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Padhye, Caroline Lemieux, Koushik Sen |
JQF: coverage-guided property-based testing in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 398-401, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie van Deursen |
Effective and efficient API misuse detection via exception propagation and search-based testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 192-203, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aman Sharma, Rupesh Nasre |
QADroid: regression event selection for Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 66-77, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Grano |
A new dimension of test quality: assessing and generating higher quality unit test cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 419-423, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ghanbari 0001, Samuel Benton, Lingming Zhang 0001 |
Practical program repair via bytecode mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 19-30, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 352-362, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chi Li, Min Zhou 0001, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu 0001 |
VBSAC: a value-based static analyzer for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 382-385, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cong Wang 0020, Jian Gao 0008, Yu Jiang 0001, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu 0001, Jiaguang Sun 0001 |
Go-clone: graph-embedding based clone detector for Golang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 374-377, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini |
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 251-261, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang 0006, Ting Liu 0002 |
Sara: self-replay augmented record and replay for Android in industrial cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 90-100, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden |
Codebase-adaptive detection of security-relevant methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 181-191, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mattia Fazzini, Qi Xin, Alessandro Orso |
Automated API-usage update for Android apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 204-215, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yiling Lou, Junjie Chen 0003, Lingming Zhang 0001, Dan Hao 0001, Lu Zhang 0023 |
History-driven build failure fixing: how far are we? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 43-54, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Gambi, Marc Müller, Gordon Fraser 0001 |
Automatically testing self-driving cars with search-based procedural content generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 318-328, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta |
Root causing flaky tests in a large-scale industrial setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 101-111, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Linjie Pan 0001, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan 0009, Jian Zhang 0001 |
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 394-397, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger |
Failure clustering without coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 134-145, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofei Xie, Lei Ma 0003, Felix Juefei-Xu, Minhui Xue, Hongxu Chen 0001, Yang Liu 0003, Jianjun Zhao 0001, Bo Li 0026, Jianxiong Yin, Simon See |
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 146-157, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sungho Lee |
JNI program analysis with automatically extracted C semantic summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 448-451, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena |
Exploiting the laws of order in smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 363-373, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Klinger, Maria Christakis, Valentin Wüstholz |
Differentially testing soundness and precision of program analyzers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 239-250, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xia Li 0009, Wei Li 0159, Yuqun Zhang, Lingming Zhang 0001 |
DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 169-180, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wensheng Tang |
Identifying error code misuses in complex system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 428-432, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Degott, Nataniel P. Borges Jr., Andreas Zeller |
Learning user interface element interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 296-306, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu Chen 0001 |
CoCoTest: collaborative crowdsourced testing for Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 390-393, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vinh The Nguyen 0001, Akbar Siami Namin, Tommy Dang |
MalViz: an interactive visualization tool for tracing malware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 376-379, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Ondrej Lhoták |
Safe and sound program analysis with Flix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 38-48, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Farnaz Behrang, Alessandro Orso |
Test migration for efficient large-scale assessment of mobile app coding assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 164-175, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuhao Zhang 0005, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong 0001, Lu Zhang 0023 |
An empirical study on TensorFlow program bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 129-140, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karl Palmskog, Ahmet Çelik, Milos Gligoric 0001 |
piCoq: parallel regression proving for large-scale verification projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 344-355, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luc Bläser |
Practical detection of concurrency issues at coding time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 221-231, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | George Fourtounis, George Kastrinis, Yannis Smaragdakis |
Static analysis of Java dynamic proxies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 209-220, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst |
Lightweight verification of array indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 3-14, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser 0001, Phil McMinn, Janis Benefelds |
Search-based detection of deviation failures in the migration of legacy spreadsheet applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 266-275, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Li Li 0029, Tegawendé F. Bissyandé, Haoyu Wang 0001, Jacques Klein |
CiD: automating the detection of API-related compatibility issues in Android apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 153-163, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso |
Automatically translating bug reports into test cases for mobile apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 141-152, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar |
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 356-359, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Rodríguez-Baquero, Mario Linares Vásquez |
Mutode: generic JavaScript and Node.js mutation testing tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 372-375, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gunel Jahangirova, David Clark 0001, Mark Harman, Paolo Tonella |
OASIs: oracle assessment and improvement tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 368-371, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
Test input generation with Java PathFinder: then and now (invited talk abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 1-2, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lina Qiu, Yingying Wang, Julia Rubin |
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 176-186, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | René Just, Chris Parnin, Ian Drosos, Michael D. Ernst |
Comparing developer-provided to user-provided tests for fault localization and automated program repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 287-297, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Wasif Afzal |
Automated test mapping and coverage for network topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, pp. 73-83, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 1044 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|