|
|
|
|
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 | Sumit Lahiri, Subhajit Roy 0001 |
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs.  |
ISSTA  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | An Guo, Yang Feng 0003, Zhenyu Chen 0001 |
LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang |
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilio Cannavacciuolo, Leonardo Mariani |
Automatic generation of smoke test suites for kubernetes. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang |
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, Zhenkai Liang |
TeLL: log level suggestions via modeling multi-level code block information. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Nachtigall, Michael Schlichtig, Eric Bodden |
A large-scale study of usability criteria addressed by static analysis tools. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, Zhenyu Chen 0001 |
UniRLTest: universal platform-independent testing with reinforcement learning via image understanding. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifei Lu, Minxue Pan, Yu Pei 0001, Xuandong Li |
Detecting resource utilization bugs induced by variant lifecycles in Android. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Weimin Chen, Zihan Sun, Haoyu Wang 0001, Xiapu Luo, Haipeng Cai, Lei Wu 0012 |
WASAI: uncovering vulnerabilities in Wasm smart contracts. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuaihao Yang, Zigang Zeng, Wei Song 0003 |
PermDroid: automatically testing permission-related behaviour of Android applications. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Cheng 0002, Guanqin Zhang, Haoyu Wang 0001, Yulei Sui |
Path-sensitive code embedding via contrastive learning for software vulnerability detection. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mariani, Ali Mohebbi 0003, Mauro Pezzè, Valerio Terragni |
Semantic matching of GUI events for test reuse: are we there yet? |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking |
Seed selection for successful fuzzing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Binfa Gui, Wei Song 0003, Jeff Huang 0001 |
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingfeng Zhang, Yueling Zhang, Min Zhang |
Efficient white-box fairness testing through gradient search. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ridwan Shariffdeen, Xiang Gao 0012, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury |
Automated patch backporting in Linux (experience paper). |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta |
Toward optimal mc/dc test case generation. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenyu Wang, Wing Lam, Tao Xie 0001 |
An infrastructure approach to improving effectiveness of Android UI testing tools. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang, Zhenyu Chen 0001 |
TauMed: test augmentation of deep learning in medical diagnosis. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiyu Pan, Zhenbang Chen, Guofeng Zhang 0005, Yunlai Luo, Yufeng Zhang 0001, Ji Wang 0001 |
Grammar-agnostic symbolic execution by token symbolization. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp |
SAND: a static analysis approach for detecting SQL antipatterns. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella |
DeepHyperion: exploring the feature space of deep learning-based systems through illumination search. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo 0002, Dileepa Fernando, Zhenkai Liang, Jin Song Dong |
Identifying privacy weaknesses from multi-party trigger-action integration platforms. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fitash Ul Haq, Donghwan Shin 0001, Lionel C. Briand, Thomas Stifter, Jun Wang 0020 |
Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper). |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengran Zeng, Yuqun Zhang, Haotian Zhang, Lingming Zhang 0001 |
Deep just-in-time defect prediction: how far are we? |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham |
Exposing previously undetectable faults in deep neural networks. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shisong Qin, Chao Zhang 0008, Kaixiang Chen, Zheming Li |
iDEV: exploring and exploiting semantic deviations in ARM instruction processing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Elsner, Florian Hauer 0002, Alexander Pretschner, Silke Reimer |
Empirically evaluating readily available information for regression test optimization in continuous integration. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Xue 0001, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, Yajin Zhou |
Parema: an unpacking framework for demystifying VM-based Android packers. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Shaoyin Cheng, Yinxing Xue, Weiming Zhang 0001 |
A lightweight framework for function name reassignment based on large-scale stripped binaries. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Chen 0011, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue |
Runtime detection of memory errors with smart status. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakun Zhang, Xiao Lv, Haoyu Dong 0001, Wensheng Dou, Shi Han, Dongmei Zhang 0001, Jun Wei 0001, Dan Ye 0004 |
Semantic table structure identification in spreadsheets. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu 0015, Dong Chai, Jiang Wang, Zhenyu Chen 0001 |
Predoo: precision testing of deep learning operators. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés |
RESTest: automated black-box testing of RESTful web APIs. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella |
DeepCrime: mutation testing of deep learning systems based on real faults. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Pan, Michael Pradel |
Continuous test suite failure prediction. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang 0005, Weiyu Pan, Yufeng Zhang 0001, Ji Wang 0001 |
Synthesize solving strategy for symbolic execution. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Zhang, Yifeng Ding, Yongqiang Tian 0001, Jianmin Guo, Min Yuan, Yu Jiang 0001 |
AdvDoor: adversarial backdoor attack of deep learning system. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller |
Modular call graph construction for security scanning of Node.js applications. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishuai Li, Benjamin C. Pierce, Steve Zdancewic |
Model-based testing of networked applications. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicheng Luo, Hui Xu 0009, Yanxiang Bi, Xin Wang 0002, Yangfan Zhou |
Boosting symbolic execution via constraint solving time prediction (experience paper). |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Windsor, Alastair F. Donaldson, John Wickerson |
C4: the C compiler concurrency checker. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen 0002, Yu Jiang 0001 |
SCStudio: a secure and efficient integrated development environment for smart contracts. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le |
Validating static warnings via testing code fragments. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yicheng Pan 0002, Meng Ma, Xinrui Jiang, Ping Wang 0003 |
Faster, deeper, easier: crowdsourcing diagnosis of microservice kernel failure from user space. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, Yunxin Liu |
ModelDiff: testing-based DNN similarity comparison for model reuse detection. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wang Li 0003, Zhouyang Jia, Shanshan Li 0001, Yuanliang Zhang, Teng Wang 0004, Erci Xu, Ji Wang 0001, Xiangke Liao |
Challenges and opportunities: an in-depth empirical study on configuration error injection testing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Gustavo Grieco |
echidna-parade: a tool for diverse multicore smart contract fuzzing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tongtong Xu, Minxue Pan, Yu Pei 0001, Guiyin Li, Xia Zeng, Tian Zhang 0001, Yuetang Deng, Xuandong Li |
GUIDER: GUI structure and vision co-guided test script repair for Android apps. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang 0001, Jun Sun 0001, Ji Wang 0001 |
Type and interval aware array constraint solving for symbolic execution. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Xiangyu Zhang 0001 (eds.) |
ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Zhao, Guangke Chen, Jingyi Wang 0004, Yiwei Yang 0002, Fu Song, Jun Sun 0001 |
Attack as defense: characterizing adversarial examples using robustness. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannic Noller, Saeid Tizpaz-Niari |
QFuzz: quantitative fuzzing for side channels. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Runxiang Cheng, Lingming Zhang 0001, Darko Marinov, Tianyin Xu |
Test-case prioritization for configuration testing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov |
MoScan: a model-based vulnerability scanner for web single sign-on services. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Saikat Dutta 0001, Jeeva Selvam, Aryaman Jain, Sasa Misailovic |
TERA: optimizing stochastic regression tests in machine learning projects. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Shao, Rui Xu, Wasif Arman Haque, Jingwei Xu 0004, Ying Zhang 0012, Wei Yang 0013, Yanfang Ye 0001, Xusheng Xiao |
WebEvo: taming web application evolution via detecting semantic structure changes. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Natella, Van-Thuan Pham |
ProFuzzBench: a benchmark for stateful protocol fuzzing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel |
Finding data compatibility bugs with JSON subschema checking. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González |
Fixing dependency errors for Python build reproducibility. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang 0001 |
Fuzzing SMT solvers via two-dimensional input space exploration. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Salma Messaoudi, Donghwan Shin 0001, Annibale Panichella, Domenico Bianculli, Lionel C. Briand |
Log-based slicing for system-level test cases. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Austin Mordahl, Shiyi Wei |
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang 0001, Chengnian Sun, Huizhong Li, Yan Cai 0001 |
Empirical evaluation of smart contract testing: what is the best choice? |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Parnin, Alessandro Orso |
Automated debugging: past, present, and future (ISSTA impact paper award). |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingling Sun, Ting Su 0001, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie 0001, Zhendong Su 0001 |
Understanding and finding system setting-related defects in Android apps. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Prashast Srivastava, Mathias Payer |
Gramatron: effective grammar-aware fuzzing. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zixi Liu, Yang Feng 0003, Zhenyu Chen 0001 |
DialTest: automated testing for recurrent-neural-network-driven dialogue systems. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yueming Wu, Deqing Zou, Wei Yang 0013, Xiang Li, Hai Jin 0001 |
HomDroid: detecting Android covert malware by social-network homophily analysis. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Yuan 0003, Yeseop Lee, Chao Zhang 0008, Yun Li, Yan Cai 0001, Bodong Zhao |
RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter |
Interval constraint-based mutation testing of numerical specifications. |
ISSTA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Minxue Pan, An Huang, Guoxin Wang, Tian Zhang 0001, Xuandong Li |
Reinforcement learning based curiosity-driven testing of Android applications. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan |
Feedback-driven side-channel analysis for networked applications. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang 0001, Qingkai Shi |
Functional code clone detection with syntax and semantics fusion learning. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Busse, Martin Nowack, Cristian Cadar |
Running symbolic execution forever. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Sharma, Heike Wehrheim |
Higher income, larger loan? monotonicity testing of machine learning models. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, Andreas Zeller |
Abstracting failure-inducing inputs. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xueliang Li 0002, Yuming Yang, Yepang Liu 0001, John P. Gallagher, Kaishun Wu |
Detecting and diagnosing energy issues for mobile applications. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore |
CPSDebug: a tool for explanation of failures in cyber-physical systems. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, Peitian Zhangzhu |
TauJud: test augmentation of machine learning in judicial documents. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Asem Ghaleb, Karthik Pattabiraman |
How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce |
Echidna: effective, usable, and fast fuzzing for smart contracts. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifei Xu, Zhengzi Xu, Bihuan Chen 0001, Fu Song, Yang Liu 0003, Ting Liu 0002 |
Patch based vulnerability matching for binary programs. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall |
Scalable build service system with smart scheduling service. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Gustavo Araujo Rodriguez, Daniel Macêdo Batista |
Program-aware fuzzing for MQTT applications. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa |
WEIZZ: automatic grey-box fuzzing for structured binary formats. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Li, Dong Wang, Tianze Huang, Yu Gao 0002, Wensheng Dou, Lijie Xu, Wei Wang 0049, Jun Wei 0001, Hua Zhong 0001 |
Detecting cache-related bugs in Spark applications. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao 0003, Qingkai Shi, Charles Zhang 0001 |
Escaping dependency hell: finding build dependency errors with the unified dependency graph. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianyang Peng, August Shi, Lingming Zhang 0001 |
Empirically revisiting and enhancing IR-based test-case prioritization. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma |
FineLock: automatically refactoring coarse-grained locks into fine-grained locks. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Lin 0001, Jun Sun 0001, Gordon Fraser 0001, Ziheng Xiu, Ting Liu 0002, Jin Song Dong |
Recovering fitness gradients for interprocedural Boolean flags in search-based testing. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li 0037, Zhi Guan, Qingshan Li, Zhong Chen 0001 |
EShield: protect smart contracts against reverse engineering. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengyu Nie 0001, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell 0001, Milos Gligoric 0001 |
Debugging the performance of Maven's test isolation: experience report. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | João Choma Neto |
Automatic support for the identification of infeasible testing requirements. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Corina S. Pasareanu (eds.) |
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020 |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liu 0003, Mingzhu Shen, Jiahao Jin, Yanjie Jiang |
Automated classification of actions in bug reports of mobile apps. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | George Thompson, Allison K. Sullivan |
ProFL: a fault localization framework for Prolog. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer 0001, Satish Chandra 0001 |
Scaffle: bug localization on millions of files. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuqi Chen 0001, Bohan Xuan, Christopher M. Poskitt, Jun Sun 0001, Fan Zhang 0010 |
Active fuzzing for testing and securing cyber-physical systems. |
ISSTA |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1044 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license