|
|
|
|
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 | Yannan Li, Jingbo Wang 0006, Chao Wang 0001 |
Systematic Testing of the Data-Poisoning Robustness of KNN.  |
ISSTA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingyi Zhou, Xiang Gao 0012, Jing Wu, John C. Grundy, Xiao Chen, Chunyang Chen, Li Li 0029 |
ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | William Eiers, Ganesh Sankaran, Tevfik Bultan |
Quantitative Policy Repair for Access Control on the Cloud. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ensheng Shi, Yanlin Wang 0001, Hongyu Zhang 0002, Lun Du, Shi Han, Dongmei Zhang 0001, Hongbin Sun 0001 |
Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Huizhong Guo, Jinfeng Li, Jingyi Wang 0004, Xiangyu Liu, Dongxia Wang 0002, Zehong Hu, Rong Zhang, Hui Xue 0001 |
FairRec: Fairness Testing for Deep Recommender Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingfei Cheng, Yuan Zhou 0005, Xiaofei Xie |
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella |
DeepAtash: Focused Test Generation for Deep Learning Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao |
OCFI: Make Function Entry Identification Hard Again. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan Callaghan, Bernd Fischer 0002 |
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunlun Ren, Weizhong Qiang, Yueming Wu, Yi Zhou, Deqing Zou, Hai Jin 0001 |
An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar |
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang 0001 |
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hang Du, Vijay Krishna Palepu, James A. Jones |
To Kill a Mutant: An Empirical Study of Mutation Testing Kills. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiming Zhang, Yuxin Hu, Haonan Li 0009, Wenxuan Shi, Zhenyu Ning, Xiapu Luo, Fengwei Zhang |
Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric 0001 |
Pattern-Based Peephole Optimizations with Java JIT Tests. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu 0006, Mengfei Yang |
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés |
AGORA: Automated Generation of Test Oracles for REST APIs. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen 0001, Yufei Chen 0001, Shiwei Wang |
CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Altmayer Pizzorno, Emery D. Berger |
SlipCover: Near Zero-Overhead Code Coverage for Python. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhao Zhou, Wei Song 0003 |
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado 0001, José Fragoso Santos |
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin, Shuiguang Deng |
Data Constraint Mining for Automatic Reconciliation Scripts Generation. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He, Pinjia He |
ROME: Testing Image Captioning Systems via Recursive Object Melting. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei |
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Zhang, Yan Cai 0001 |
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhia Elhaq Rzig, Nafees Iqbal, Isabella Attisano, Xue Qin, Foyzul Hassan |
Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue |
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangzhe Xu, Shiwei Feng 0002, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng 0005, Guanhong Tao 0001, Qingkai Shi, Zhuo Zhang 0002, Xiangyu Zhang 0001 |
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar |
GrayC: Greybox Fuzzing of Compilers and Analysers for C. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao 0001 |
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengpeng Li, Mohammad Mahdi Khosravi, Wing Lam, August Shi |
Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang 0001, Yun Ma 0002 |
Who Judges the Judge: An Empirical Study on Online Judge Tests. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu |
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Yang, Junjie Chen 0003, Xingyu Fan, Jiajun Jiang, Jun Sun 0001 |
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Valle, Aitor Arrieta, Maite Arratibel |
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinglong Wang, Runzhe Wang, Yuxi Hu, Xiaohai Shi, Zheng Liu, Tao Ma, Houbing Song, Heyuan Shi |
KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |
SymRustC: A Hybrid Fuzzer for Rust. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu |
iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu 0003, Bin Yu 0008 |
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianchang Gao, Junjie Chen 0003, Yingquan Zhao, Yuqun Zhang, Lingming Zhang 0001 |
Vectorizing Program Ingredients for Better JVM Testing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiwen Yu, Ting Wang 0009, Ji Wang 0001 |
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Liu, Yanlin Wang 0001, Zhao Wei, Yong Xu, Juhong Wang, Hui Li 0057, Rongrong Ji |
RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Bruce, David Kelly, Héctor D. Menéndez 0001, Earl T. Barr, David Clark 0001 |
June: A Type Testability Transformation for Improved ATG Performance. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simin Chen, Shiyi Wei, Cong Liu 0005, Wei Yang 0013 |
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenglin Bao, Chaofeng Sha, Bihuan Chen 0001, Xin Peng 0001, Wenyun Zhao |
In Defense of Simple Techniques for Neural Network Test Case Selection. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zifan Xie, Ming Wen 0001, Haoxiang Jia, Xiaochen Guo, Xiaotong Huang, Deqing Zou, Hai Jin 0001 |
Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen 0011, Xuandong Li, Zhiqiang Zuo 0002 |
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu 0012, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin |
DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis |
Dependency-Aware Metamorphic Testing of Datalog Engines. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiancheng Hu, Zijing Xu, Yilin Fang, Yueming Wu, Bin Yuan, Deqing Zou, Hai Jin 0001 |
Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Cui 0003, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li, Zhenquan Ding |
API2Vec: Learning Representations of API Sequences for Malware Detection. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Peldszus, Noubar Akopian, Thorsten Berger |
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiheng Xiong, Mengqian Xu, Ting Su 0001, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He 0001, Zhendong Su 0001 |
An Empirical Study of Functional Bugs in Android Apps. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray |
CONCORD: Clone-Aware Contrastive Learning for Source Code. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé |
CodeGrid: A Grid Representation of Code. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wu, Nan Jiang 0012, Hung Viet Pham, Thibaud Lutellier, Jordan Davis, Lin Tan 0001, Petr Babkin, Sameena Shah |
How Effective Are Neural Networks for Fixing Security Vulnerabilities. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, Tao Xie 0001 |
GDsmith: Detecting Bugs in Cypher Graph Database Engines. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Kaiwen Lau, Kelvin Kai Wen Kong, Julian Hao Yong, Per Hoong Tan, Zhou Yang 0003, Zi Qian Yong, Joshua Chern Wey Low, Chun Yong Chong, Mei Kuan Lim, David Lo 0001 |
Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haoyang Ma, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003, Shing-Chi Cheung |
Fuzzing Deep Learning Compilers with HirGen. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kuhn 0002, Alan Darmasaputra |
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunzhou Huang, Xiaoyin Wang |
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeqin Liao, Sicheng Hao 0001, Yuhong Nan, Zibin Zheng |
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan |
Rare Path Guided Fuzzing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yichen He, Liran Wang, Kaiyi Wang, Yupeng Zhang, Hang Zhang, Zhoujun Li 0001 |
COME: Commit Message Generation with Modification Embedding. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | He Su, Feng Li, Lili Xu, Wenbo Hu, Yujie Sun, Qing Sun, Huina Chao, Wei Huo |
Splendor: Static Detection of Stored XSS in Modern Web Applications. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongxin Liu, Kui Liu 0001, Xin Xia 0001, Xiaohu Yang 0001 |
Towards More Realistic Evaluation for Neural Test Oracle Generation. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaoxu Zhang, Robert Winn, Yu Zhao 0010, Tingting Yu, William G. J. Halfond |
Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller |
Fuzzing Embedded Systems using Debug Interfaces. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mara Downing |
Quantitative Robustness Analysis of Neural Networks. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Liu, Jiyang Zhang 0003, Pengyu Nie 0001, Milos Gligoric 0001, Owolabi Legunsen |
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo, Yong Xie, Jianjun Chen 0005, Chao Zhang 0008 |
1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Liu, Sen Chen 0001, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu 0003, Yixiang Chen |
A Comprehensive Study on Quality Assurance Tools for Java. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sohil Lal Shrestha |
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungmin Kang, Wonkeun Choi, Shin Yoo |
A Bayesian Framework for Automated Debugging. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu 0005, Hong Li 0004, Hongsong Zhu, Kejiang Ye, Limin Sun |
Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
EvoSpex: A Search-Based Tool for Postcondition Inference. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Wang, Yanhui Li, Xiang Huang, Lin Chen, Xiaofang Zhang, Yuming Zhou |
Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laboni Sarker |
Quantitative Symbolic Similarity Analysis. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich 0001, Samuel Ou, Kelly Blincoe |
Understanding Breaking Changes in the Wild. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Huaxun Huang, Chi Xu, Ming Wen 0001, Yepang Liu 0001, Shing-Chi Cheung |
ConfFix: Repairing Configuration Compatibility Issues in Android Apps. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen 0012, Xuandong Li |
Security Checking of Trigger-Action-Programming Smart Home Integrations. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Austin Mordahl |
Automatic Testing and Benchmarking for Configurable Static Analysis Tools. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang 0011, Wei Meng 0001 |
Exploring Missed Optimizations in WebAssembly Optimizers. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Jiang, Hengchen Yuan, Qiyi Tang 0003, Sen Nie, Shi Wu, Yuqun Zhang |
Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuqi Jia, Rui Han, Pei Huang 0002, Minghao Liu 0001, Feifei Ma, Jian Zhang 0001 |
Improving Bit-Blasting for Nonlinear Integer Constraints. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | René Just, Gordon Fraser 0001 (eds.) |
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023 |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyi Xue, Si Liu 0003, Zhaodi Zhang, Yiting Wu, Min Zhang 0002 |
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang 0011, Yufan Chen, Mengjie Chen, Yang Liu 0003, Lingxiao Jiang |
Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingquan Zhao, Junjie Chen 0003, Ruifeng Fu, Haojie Ye, Zan Wang |
Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper). |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Zhang 0036, Wei Zhao, Yang Sun 0008, Jun Sun 0001, Yulong Shen, Xuewen Dong, Zijiang Yang 0004 |
Testing Automated Driving Systems by Breaking Many Laws Efficiently. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyad Alsaeed, Michal Young |
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum |
PhysCov: Physical Test Coverage for Autonomous Vehicles. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiradet Ounjai, Valentin Wüstholz, Maria Christakis |
Green Fuzzer Benchmarking. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Queping Kong, Jiachi Chen, Yanlin Wang 0001, Zigui Jiang, Zibin Zheng |
DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Liu, Pengyu Nie 0001, Anna Guo, Milos Gligoric 0001, Owolabi Legunsen |
Extracting Inline Tests from Unit Tests. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Nie, Ningke Li, Kailong Wang, Shangguang Wang, Xiapu Luo, Haoyu Wang 0001 |
Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Schumi, Jun Sun 0001 |
Semantic-Based Neural Network Repair. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Changwen Li, Joseph Sifakis, Qiang Wang 0020, Rongjie Yan, Jian Zhang |
Simulation-Based Validation for Autonomous Driving Systems. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Youngjae Kim, Seungheon Han, Askar Yeltayuly Khamit, Jooyong Yi |
Automated Program Repair from Fuzzing Perspective. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Golnaz Gharachorlu, Nick Sumner |
Type Batched Program Reduction. |
ISSTA |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1044 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license