|
|
|
|
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 | Pingshi Yu |
Reasoning about MLIR Semantics through Effects and Handlers.  |
ISSTA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuo Yang, Jiachi Chen, Zibin Zheng |
Definition and Detection of Defects in NFT Smart Contracts. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh |
CGuard: Scalable and Precise Object Bounds Protection for C. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihan Xu, Ya Gao, Lingling Fan 0003, Linyu Li, Xiangrui Cai, Zheli Liu |
LiResolver: License Incompatibility Resolution for Open Source Software. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiu Wai Chow, Max Schäfer, Michael Pradel |
Beware of the Unexpected: Bimodal Taint Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuohan Wu, Jianfeng Li, Hao Zhou, Yongsheng Fang, Kaifa Zhao, Haoyu Wang 0001, Chenxiong Qian, Xiapu Luo |
CydiOS: A Model-Based Testing Framework for iOS Apps. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasudev Vikram, Isabella Laybourn, Ao Li 0009, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye |
Guiding Greybox Fuzzing with Mutation Testing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn 0001, Tyler Sorensen 0002 |
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato |
Enhancing REST API Testing with NLP Techniques. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo, Haoyu Wang 0001, Guangtai Liang, Ding Li 0001, Xiangqun Chen, Yao Guo 0001 |
Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lehmann 0002, Michelle Thalakottur, Frank Tip, Michael Pradel |
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifan Mo, Jiachi Chen, Yanlin Wang 0001, Zibin Zheng |
Toward Automated Detecting Unanticipated Price Feed in Smart Contract. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Tan 0001, Yue Li 0006 |
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Zhang, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001, Chunming Hu, Yang Liu 0003 |
Detecting Condition-Related Bugs with Control Flow Graph Neural Network. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury |
Concept-Based Automated Grading of CS-1 Programming Assignments. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, Wei Huo |
ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue |
Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li |
Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Xiao, Aishan Liu, Tianlin Li, Xianglong Liu 0001 |
Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu, Deqing Zou, Hai Jin 0001 |
Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Kamm, Manuel Rigger, Chengyu Zhang 0001, Zhendong Su 0001 |
Testing Graph Database Engines via Query Partitioning. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaofan Shou, Shangyin Tan, Koushik Sen |
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyad Alsaeed, Michal Young |
Finding Short Slow Inputs Faster with Grammar-Based Search. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Huizhong Guo |
Fairness Testing for Recommender Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayank Sharma, Pingshi Yu, Alastair F. Donaldson |
RustSmith: Random Differential Compiler Testing for Rust. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand |
Transforming Test Suites into Croissants. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingyao Zhou, Lei Xu 0003, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang 0001 |
NodeRT: Detecting Races in Node.js Applications Practically. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein |
Guided Retraining to Enhance the Detection of Difficult Android Malware. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Linlin Li, Ruifeng Wang, Xian Zhan, Ying Wang 0038, Cuiyun Gao, Sinan Wang, Yepang Liu 0001 |
What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ori Roth |
Type Automata. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenxuan Wang, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang, Weibin Wu 0002, Pinjia He, Michael R. Lyu |
Validating Multimedia Content Moderation Software via Semantic Fusion. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Zhang, Yongqiang Tian 0001, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang 0001, Jiaguang Sun |
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Chesser, Surya Nepal, Damith C. Ranasinghe |
Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiajun Hu, Lili Wei, Yepang Liu 0001, Shing-Chi Cheung |
ωTest: WebView-Oriented Testing for Android Applications. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Ferreira 0001, Sung-Shik Jongmans |
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Sagonas, Thanasis Typaldos |
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yihong Dong, Ge Li 0001, Zhi Jin |
CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang 0001 |
Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhao Zhou, Wei Song 0003 |
DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang 0006, Yajin Zhou, Chao Zhang 0008, Haipeng Cai |
NCScope: hardware-assisted analyzer for native code in Android apps. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ghanbari 0001, Andrian Marcus |
Patch correctness assessment in automated program repair based on the impact of patches on production and test code. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro |
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang 0002, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, Raheem Beyah |
SLIME: program-sensitive energy allocation for fuzzing. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
Combining static analysis error traces with dynamic symbolic execution (experience paper). |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Bodea |
Pytest-Smell: a smell detection tool for Python unit tests. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Weiss 0004, Paolo Tonella |
Simple techniques work surprisingly well for neural network test prioritization and active learning (replicability study). |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Myeongsoo Kim, Qi Xin, Saurabh Sinha, Alessandro Orso |
Automated test generation for REST APIs: no time to rest yet. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Jin Kang, Truong Giang Nguyen, Xuan-Bach Dinh Le, Corina S. Pasareanu, David Lo 0001 |
Test mimicry to assess the exploitability of library vulnerabilities. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengpeng Li, August Shi |
Evolution-aware detection of order-dependent flaky tests. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu 0003, Limin Sun |
Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand |
ATUA: an update-driven app testing tool. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Geunwoo Kim, Sanghyun Hong 0001, Michael Franz, Dokyung Song |
Improving cross-platform binary analysis using representation learning via graph alignment. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan |
SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Pang, Yuanyuan Yuan, Shuai Wang 0011 |
MDPFuzz: testing models solving Markov decision processes. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Asem Ghaleb, Julia Rubin, Karthik Pattabiraman |
eTainter: detecting gas-related vulnerabilities in smart contracts. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su 0001, Xin Peng 0001 |
iFixDataloss: a tool for detecting and fixing data loss issues in Android apps. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, Chao Zhang 0008 |
PrIntFuzz: fuzzing Linux drivers via automated virtual device simulation. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Liu 0012, Yi Li 0008, Shang-Wei Lin 0001, Cyrille Artho |
Finding permission bugs in smart contracts with role mining. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peilin Zheng, Zibin Zheng, Xiapu Luo |
Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak |
Testing Dafny (experience paper). |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao 0002, Dong Wang, Wei Wang 0049, Jun Wei 0001 |
Finding bugs in Gremlin-based graph database systems via Randomized differential testing. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca Moussa, Federica Sarro |
On the use of evaluation measures for defect prediction studies. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann 0001, Maria Christakis |
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wang, Wenjie Qu 0001, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu 0001, Jianwei Zhuge, Chao Zhang 0008 |
jTrans: jump-aware transformer for binary code similarity detection. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John C. Grundy, Li Li 0029 |
Automatically detecting API-induced compatibility issues in Android apps: a comparative analysis (replicability study). |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu |
Deadlock prediction via generalized dependency. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pin Ji, Yang Feng 0003, Jia Liu 0008, Zhihong Zhao, Zhenyu Chen 0001 |
ASRTest: automated testing for deep-neural-network-driven speech recognition systems. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell 0001 |
On the use of mutation analysis for evaluating student test suite quality. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu 0001, Pedro Adão, Riccardo Scandariato |
Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang 0001, Zhenyu Zhong, Baishakhi Ray |
Detecting multi-sensor fusion errors in advanced driver-assistance systems. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Fortunato, José Campos 0001, Rui Abreu 0001 |
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian 0001, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang 0002, Changting Lin, Jingzheng Wu, Raheem Beyah |
A large-scale empirical analysis of the vulnerabilities introduced by third-party components in IoT firmware. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Li, Muxi Chen, Qiang Xu 0001 |
HybridRepair: towards annotation-efficient repair for deep learning models. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, Hongzhi Yin |
CIRCLE: continual repair across programming languages. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fan 0002, Jiali Wei, Wuxia Jin, Zhou Xu 0003, Wenying Wei, Ting Liu 0002 |
One step further: evaluating interpreters using metamorphic testing. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su 0001, Xin Peng 0001 |
Detecting and fixing data loss issues in Android apps. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jen-tse Huang 0001, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su 0001, Michael R. Lyu |
AEON: a method for automatic evaluation of NLP test cases. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, Pinjia He |
Automated testing of image captioning systems. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
ATR: template-based repair for Alloy specifications. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jialu Zhang 0002, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri |
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan 0001, Xiangyu Zhang 0001, Michael W. Godfrey |
DocTer: documentation-guided fuzzing for testing deep learning API functions. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro |
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li 0008, Yang Liu 0003 |
Cross-lingual transfer learning for statistical type inference. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuezhi Song, Yun Lin 0001, Siang Hwee Ng, Yijian Wu, Xin Peng 0001, Jin Song Dong, Hong Mei 0001 |
RegMiner: towards constructing a large regression dataset from code evolution history. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
The raise of machine learning hyperparameter constraints in Python code. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohui Zhang, Yuanjun Gong, Bin Liang 0002, Jianjun Huang 0001, Wei You, Wenchang Shi, Jian Zhang |
Hunting bugs with accelerated optimal graph vertex matching. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ghanbari 0001, Andrian Marcus |
Faster mutation analysis with MeMu. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li 0049, Yuqun Zhang, Lingming Zhang 0001 |
An extensive study on pre-trained models for program understanding and generation. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuntong Zhang 0002, Xiang Gao 0012, Gregory J. Duck, Abhik Roychoudhury |
Program vulnerability repair via inductive inference. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sukyoung Ryu, Yannis Smaragdakis (eds.) |
ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022 |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clay Stevens, Hamid Bagheri |
Combining solution reuse and bound tightening for efficient analysis of evolving systems. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Wang 0030, Kangkang Zhang, Wei Chen 0018, Wensheng Dou, Jiaxin Zhu, Jun Wei 0001, Tao Huang 0001 |
Understanding device integration bugs in smart home system. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasios Andronidis, Cristian Cadar |
SnapFuzz: high-throughput fuzzing of network applications. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuwei Liu, Wei You, Zhuo Zhang 0002, Xiangyu Zhang 0001 |
TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme |
Human-in-the-loop oracle learning for semantic bugs in string processing programs. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Lipp, Sebastian Banescu, Alexander Pretschner |
An empirical study on the effectiveness of static C code analyzers for vulnerability detection. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyong Wu, Jie Liang 0006, Mingzhe Wang, Chijin Zhou, Yu Jiang 0001 |
Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Huang 0002, Yuting Yang 0002, Minghao Liu 0001, Fuqi Jia, Feifei Ma, Jian Zhang 0001 |
ε-weakened robustness of deep neural networks. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabin An, Shin Yoo |
FDG: a precise measurement of fault diagnosability gain of test cases. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jialai Wang, Han Qiu 0001, Yi Rong, Hengkai Ye, Qi Li 0002, Zongpeng Li, Chao Zhang 0008 |
BET: black-box efficient testing for convolutional neural networks. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 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