Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023.
第32届ACM SIGSOFT国际软件测试与分析研讨会论文集，2023年7月17日至21日，美国华盛顿州西雅图。
1 CydiOS: A Model-Based Testing Framework for iOS Apps.
CydiOS：一个基于模型的iOS应用测试框架。
2 Improving Bit-Blasting for Nonlinear Integer Constraints.
改进非线性整数约束的Bit-Blasting技术。
3 CONCORD: Clone-Aware Contrastive Learning for Source Code.
CONCORD：源代码的克隆感知对比学习。
4 Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond.
高效微调预训练代码模型：一项实验研究及其扩展。
5 Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper).
理解并解决基于深度学习的漏洞检测中的标签错误（经验论文）。
6 Pattern-Based Peephole Optimizations with Java JIT Tests.
基于模式的Peephole优化与Java JIT测试。
7 Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing.
Icicle：重新设计的灰盒固件模糊测试仿真器。
8 Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree.
基于块的抽象语法树分割的细粒度代码克隆检测。
9 Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection.
使用细粒度垃圾收集减少基于IFDS的数据流分析的内存占用。
10 Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis.
混合内联：一个用于组合和上下文敏感静态分析的框架。
11 Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction.
Green Fuzzing：使用漏洞预测的饱和度停止准则。
12 Testing Graph Database Engines via Query Partitioning.
通过查询分区测试图数据库引擎。
13 Semantic-Based Neural Network Repair.
基于语义的神经网络修复。
14 GDsmith: Detecting Bugs in Cypher Graph Database Engines.
GDsmith：检测Cypher图数据库引擎中的错误。
15 Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning.
通过SMT求解增强的强化学习进行循环不变量推断。
16 CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation.
CODEP：用于通用代码生成的语法Seq2Seq模型。
17 Concept-Based Automated Grading of CS-1 Programming Assignments.
基于概念的CS-1编程作业自动评分。
18 Beware of the Unexpected: Bimodal Taint Analysis.
警惕意外：双模态污点分析。
19 DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity.
DeUEDroid：基于UTG相似性检测地下经济应用程序。
20 Dependency-Aware Metamorphic Testing of Datalog Engines.
依赖感知的Datalog引擎变异测试。
21 Fuzzing Deep Learning Compilers with HirGen.
使用HirGen对深度学习编译器进行模糊测试。
22 API2Vec: Learning Representations of API Sequences for Malware Detection.
API2Vec：为恶意软件检测学习API序列表示。
23 June: A Type Testability Transformation for Improved ATG Performance.
June：改进ATG性能的类型可测试性转换。
24 A Comprehensive Study on Quality Assurance Tools for Java.
Java质量保证工具的综合研究。
25 Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing.
通过链上交易重放和模糊测试检测DApps中的状态不一致性错误。
26 FairRec: Fairness Testing for Deep Recommender Systems.
FairRec：深度推荐系统的公平性测试。
27 ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.
ItyFuzz：基于快照的智能合约模糊测试工具。
28 Who Judges the Judge: An Empirical Study on Online Judge Tests.
谁来评判裁判：在线裁判测试的实证研究。
29 Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation.
针对代码混淆的Android应用程序的精确高效补丁存在性测试。
30 Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis.
使用基于SSE的按需别名分析检测基于Linux的嵌入式固件中的漏洞。
31 Definition and Detection of Defects in NFT Smart Contracts.
NFT智能合约中缺陷的定义和检测。
32 Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries.
Eunomia：在符号执行WebAssembly二进制文件中启用用户指定的细粒度搜索。
33 Type Batched Program Reduction.
类型批处理程序缩减。
34 Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning.
使用自然语言处理和强化学习自动复现Android错误报告。
35 Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models.
大型语言模型是零次射击模糊测试工具：通过大型语言模型对深度学习库进行模糊测试。
36 Exploring Missed Optimizations in WebAssembly Optimizers.
探索WebAssembly优化器中的遗漏优化。
37 PhysCov: Physical Test Coverage for Autonomous Vehicles.
PhysCov：自动驾驶车辆的物理测试覆盖率。
38 Building Critical Testing Scenarios for Autonomous Driving from Real Accidents.
从真实事故中构建自动驾驶的关键测试场景。
39 CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement.
CILIATE：通过数据集和训练精细化实现更公平的基于类的增量学习。
40 BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems.
BehAVExplor：行为多样性引导的自动驾驶系统测试。
41 In Defense of Simple Techniques for Neural Network Test Case Selection.
为神经网络测试用例选择的简单技术辩护。
42 ConfFix: Repairing Configuration Compatibility Issues in Android Apps.
ConfFix：修复Android应用程序中的配置兼容性问题。
43 Vectorizing Program Ingredients for Better JVM Testing.
向量化程序组件以改善JVM测试。
44 What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications.
所见即所得？并非如此！检测移动应用程序中的误导性图标。
45 Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper).
测试新生编程语言的编译器：一个工业案例研究（经验论文）。
46 Quantitative Policy Repair for Access Control on the Cloud.
云上访问控制的定量策略修复。
47 Validating Multimedia Content Moderation Software via Semantic Fusion.
通过语义融合验证多媒体内容审查软件。
48 Towards More Realistic Evaluation for Neural Test Oracle Generation.
朝向更现实的神经测试预言机生成评估。
49 Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems.
基于回溯推理的机器翻译系统词义消歧能力测试。
50 DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization.
DyCL：通过程序重写和图优化的动态神经网络编译。
51 Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests.
系统生成测试顺序以检测依赖顺序的不稳定测试。
52 Security Checking of Trigger-Action-Programming Smart Home Integrations.
触发器-动作编程智能家居集成的安全检查。
53 LiResolver: License Incompatibility Resolution for Open Source Software.
LiResolver：开源软件许可证不兼容解决方案。
54 More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes.
通过推理语义修改变化实现更精确的回归测试选择。
55 Silent Compiler Bug De-duplication via Three-Dimensional Analysis.
通过三维分析进行静默编译器错误去重。
56 ACETest: Automated Constraint Extraction for Testing Deep Learning Operators.
ACETest：用于测试深度学习操作符的自动约束提取。
57 DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps.
DDLDroid：高效检测Android应用程序中的数据丢失问题。
58 To Kill a Mutant: An Empirical Study of Mutation Testing Kills.
杀死一个变异体：变异测试杀伤的实证研究。
59 iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements.
iSyn：从法律金融协议到半自动智能合约合成。
60 RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring.
RefBERT：用于自动重命名重构的两阶段预训练框架。
61 CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems.
CoopHance：深度学习系统鲁棒性的协作增强。
62 ROME: Testing Image Captioning Systems via Recursive Object Melting.
ROME：通过递归对象融合测试图像标题系统。
63 GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper).
GPUHarbor：大规模测试GPU内存一致性（经验论文）。
64 COME: Commit Message Generation with Modification Embedding.
COME：带有修改嵌入的提交消息生成。
65 OCFI: Make Function Entry Identification Hard Again.
OCFI：再次增加函数入口识别的难度。
66 Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.
Catamaran：通过并行加速实现低开销的内存安全强制。
67 Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing.
Latent Imitator：为黑盒公平性测试生成自然的个体歧视实例。
68 Simulation-Based Validation for Autonomous Driving Systems.
基于模拟的自动驾驶系统验证。
69 Automated Program Repair from Fuzzing Perspective.
从模糊测试角度的自动程序修复。
70 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing.
1dFuzz：使用定向差分模糊测试复现1天漏洞。
71 A Bayesian Framework for Automated Debugging.
自动调试的贝叶斯框架。
72 That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly.
这是一个艰难的决定：研究WebAssembly调用图构建的挑战。
73 GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.
GenCoG：一种基于DSL的生成用于TVM测试的计算图的方法。
74 Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features.
背心里的鳄鱼：通过Arm硬件特性的实用故障诊断框架。
75 Guiding Greybox Fuzzing with Mutation Testing.
通过变异测试指导灰盒模糊测试。
76 Testing Automated Driving Systems by Breaking Many Laws Efficiently.
通过高效违反多项法律测试自动驾驶系统。
77 DeepAtash: Focused Test Generation for Deep Learning Systems.
DeepAtash：针对深度学习系统的聚焦测试生成。
78 SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.
SBDT：基于搜索的SSL/TLS实现中证书解析器的差分测试。
79 SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
SmartState：通过细粒度状态依赖性分析检测智能合约中的状态回滚漏洞。
80 ωTest: WebView-Oriented Testing for Android Applications.
ωTest：针对Android应用程序的WebView定向测试。
81 ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems.
ModelObfuscator：模糊模型信息以保护部署的基于ML的系统。
82 AGORA: Automated Generation of Test Oracles for REST APIs.
AGORA：REST API的自动测试预言机生成。
83 Fuzzing Embedded Systems using Debug Interfaces.
使用调试接口对嵌入式系统进行模糊测试。
84 Splendor: Static Detection of Stored XSS in Modern Web Applications.
Splendor：现代Web应用程序中存储型XSS的静态检测。
85 Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper).
应用和扩展Delta调试算法于电梯调度算法（经验论文）。
86 Finding Short Slow Inputs Faster with Grammar-Based Search.
使用基于语法的搜索更快地找到短慢输入。
87 Transforming Test Suites into Croissants.
将测试套件转换成羊角面包。
88 Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.
Tai-e：通过利用经典设计的Java开发者友好静态分析框架。
89 Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis.
通过语义驱动指令降低重视来改善二进制代码相似性变换模型。
90 Data Constraint Mining for Automatic Reconciliation Scripts Generation.
数据约束挖掘用于自动生成对账脚本。
91 Guided Retraining to Enhance the Detection of Difficult Android Malware.
指导重新训练以增强检测困难Android恶意软件的能力。
92 DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols.
DeFiTainter：检测DeFi协议中的价格操纵漏洞。
93 Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts.
超越“Protected”和“Private”：智能合约中自定义函数修饰符的实证安全分析。
94 Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing.
使用文本到语音合成语音测试用例？自动语音识别测试中的误报的实证研究。
95 A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.
两种近似的故事：通过欠近似紧缩过近似以进行DNN鲁棒性验证。
96 SlipCover: Near Zero-Overhead Code Coverage for Python.
SlipCover：Python几乎零开销的代码覆盖率。
97 Systematic Testing of the Data-Poisoning Robustness of KNN.
KNN数据污染鲁棒性的系统测试。
98 GrayC: Greybox Fuzzing of Compilers and Analysers for C.
GrayC：C语言编译器和分析器的灰盒模糊测试。
99 Enhancing REST API Testing with NLP Techniques.
使用NLP技术增强REST API测试。
100 Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.
智能合约字节码的安全中心描述的自动生成。
101 Toward Automated Detecting Unanticipated Price Feed in Smart Contract.
朝向智能合约中自动检测意外的价格馈送。
102 Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications.
野外虚拟现实（VR）自动化测试：基于Unity的VR应用程序的案例研究。
103 How Effective Are Neural Networks for Fixing Security Vulnerabilities.
神经网络修复安全漏洞的有效性如何。
104 Rare Path Guided Fuzzing.
罕见路径引导的模糊测试。
105 CGuard: Scalable and Precise Object Bounds Protection for C.
CGuard：C语言的可扩展且精确的对象边界保护。
106 An Empirical Study of Functional Bugs in Android Apps.
Android应用程序中功能性错误的实证研究。
107 NodeRT: Detecting Races in Node.js Applications Practically.
NodeRT：实际检测Node.js应用程序中的竞态条件。
108 An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.
中断驱动的嵌入式软件中并发错误的实证研究。
109 CodeGrid: A Grid Representation of Code.
CodeGrid：代码的网格表示。
110 Detecting Condition-Related Bugs with Control Flow Graph Neural Network.
使用控制流图神经网络检测与条件相关的错误。
111 Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
C/C++生态系统中大规模SCA的第三方库依赖：我们走到了哪一步？
112 Green Fuzzer Benchmarking.
绿色模糊测试器基准测试。
113 Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
基于GNN的漏洞检测解释器：我们到了吗？
114 An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors.
混淆对静态机器学习基础的恶意JavaScript检测器影响的实证研究。
115 Understanding Breaking Changes in the Wild.
理解野外中的破坏性更改。
116 Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction.
通过迭代测试套件缩减改善基于频谱的多故障定位。
117 Extracting Inline Tests from Unit Tests.
从单元测试中提取内联测试。
839
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
