|
|
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. |
ISSTA |
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. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo, Matthew B. Dwyer |
Feasible and stressful trajectory generation for mobile robots. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis |
Identifying Java calls in native code via binary scanning. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Björn Mathis, Rahul Gopinath, Andreas Zeller |
Learning input tokens for effective fuzzing. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ghanbari 0001 |
ObjSim: lightweight automatic patch prioritization via object similarity. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Muyang Liu, Ke Li 0001, Tao Chen 0001 |
DeepSQLi: deep semantic learning for testing SQL injection. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhibo Liu, Shuai Wang 0011 |
How far we have come: testing decompilation correctness of C decompilers. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang 0001 |
Fast bit-vector satisfiability. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Trabish, Noam Rinetzky |
Relocatable addressing model for symbolic execution. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jackson Vanover, Xuan Deng, Cindy Rubio-González |
Discovering discrepancies in numerical libraries. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Feng Xue |
Automated mobile apps testing from visual perspective. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, Daniel Lehmann 0002, Marina Polishchuk |
Differential regression testing for REST APIs. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Peng 0002 |
On the correctness of GPU programs. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach |
Ukwikora: continuous inspection for keyword-driven testing. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy 0001 |
Deferred concretization in symbolic execution via fuzzing. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Tolksdorf, Daniel Lehmann 0002, Michael Pradel |
Interactive metamorphic testing of debuggers. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xue Qin, Hao Zhong 0001, Xiaoyin Wang |
TestMig: migrating GUI test cases from iOS to Android. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | August Shi, Jonathan Bell 0001, Darko Marinov |
Mitigating the effects of flaky tests on mutation testing. |
ISSTA |
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). |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Isabel |
Conditional dynamic partial order reduction and optimality results. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haipeng Cai, Ziyi Zhang, Li Li 0029, Xiaoqin Fu |
A large-scale study of application incompatibilities in Android. |
ISSTA |
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). |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guang Chen, Yuexing Wang, Min Zhou 0001, Jiaguang Sun 0001 |
VFQL: combinational static analysis as query language. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kui Liu 0001, Anil Koyuncu, Dongsun Kim 0001, Tegawendé F. Bissyandé |
TBar: revisiting template-based automated program repair. |
ISSTA |
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). |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Laaber |
Continuous software performance assessment: detecting performance problems of software libraries on every build. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
Semantic fuzzing with zest. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqin Fu |
Towards scalable defense of information flow security for distributed systems. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Kwaku Kudjo, Jinfu Chen 0001 |
A cost-effective strategy for software vulnerability prediction based on bellwether analysis. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas D. White, Gordon Fraser 0001, Guy J. Brown |
Improving random GUI testing with image-based widget detection. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Mera |
Mining constraints for grammar fuzzing. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Gao 0012, Sergey Mechtaev, Abhik Roychoudhury |
Crash-avoiding program repair. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sungho Lee, Sukyoung Ryu |
Adlib: analyzer for mobile ad platform libraries. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiexin Zhang 0001, Alastair R. Beresford, Stephan A. Kollmann |
LibID: reliable identification of obfuscated third-party Android libraries. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Padhye, Caroline Lemieux, Koushik Sen |
JQF: coverage-guided property-based testing in Java. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aman Sharma, Rupesh Nasre |
QADroid: regression event selection for Android applications. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Grano |
A new dimension of test quality: assessing and generating higher quality unit test cases. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ghanbari 0001, Samuel Benton, Lingming Zhang 0001 |
Practical program repair via bytecode mutation. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden |
Codebase-adaptive detection of security-relevant methods. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mattia Fazzini, Qi Xin, Alessandro Orso |
Automated API-usage update for Android apps. |
ISSTA |
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? |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger |
Failure clustering without coverage. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sungho Lee |
JNI program analysis with automatically extracted C semantic summary. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena |
Exploiting the laws of order in smart contracts. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Klinger, Maria Christakis, Valentin Wüstholz |
Differentially testing soundness and precision of program analyzers. |
ISSTA |
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. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wensheng Tang |
Identifying error code misuses in complex system. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Degott, Nataniel P. Borges Jr., Andreas Zeller |
Learning user interface element interactions. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu Chen 0001 |
CoCoTest: collaborative crowdsourced testing for Android applications. |
ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vinh The Nguyen 0001, Akbar Siami Namin, Tommy Dang |
MalViz: an interactive visualization tool for tracing malware. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Ondrej Lhoták |
Safe and sound program analysis with Flix. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Farnaz Behrang, Alessandro Orso |
Test migration for efficient large-scale assessment of mobile app coding assignments. |
ISSTA |
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. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karl Palmskog, Ahmet Çelik, Milos Gligoric 0001 |
piCoq: parallel regression proving for large-scale verification projects. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luc Bläser |
Practical detection of concurrency issues at coding time. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | George Fourtounis, George Kastrinis, Yannis Smaragdakis |
Static analysis of Java dynamic proxies. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst |
Lightweight verification of array indexing. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Rodríguez-Baquero, Mario Linares Vásquez |
Mutode: generic JavaScript and Node.js mutation testing tool. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gunel Jahangirova, David Clark 0001, Mark Harman, Paolo Tonella |
OASIs: oracle assessment and improvement tool. |
ISSTA |
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). |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lina Qiu, Yingying Wang, Julia Rubin |
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe. |
ISSTA |
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. |
ISSTA |
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. |
ISSTA |
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][ >>] |
|