长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Dependable Software Engineering. Theories, Tools, and Applications
会议名
9th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2023)
中译名
《第九届国际可靠软件工程专题研讨会:理论、工具与应用》
会议日期
November 27-29, 2023
会议地点
Nanjing, China
出版年
2024
馆藏号
350858
题名
作者
出版年
String Constraints with Regex-Counting and String-Length Solved More Efficiently
Denghang Hu; Zhilin Wu
2024
Reachability Based Uniform Controllability to Target Set with Evolution Function
Jia Geng; Ruiqi Hu; Kairong Liu; Zhihui Li; Zhikun She
2024
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy
Shaocong Han; Yi Zhang
2024
Graph-Based Log Anomaly Detection via Adversarial Training
Zhangyue He; Yanni Tang; Kaiqi Zhao; Jiamou Liu; Wu Chen
2024
Formal Verification Based Synthesis for Behavior Trees
Weijiang Hong; Zhenbang Chen; Minglong Li; Yuhan Li; Peishan Huang; Ji Wang
2024
SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries
Jintao Huang; Gaosheng Wang; Zhiqiang Shi; Fei Lv; Weidong Zhang; Shichao Lv
2024
Session Types with Multiple Senders Single Receiver
Zekun Ji; Shuling Wang; Xiong Xu
2024
Understanding the Reproducibility Issues of Monkey for GUI Testing
Huiyu Liu; Qichao Kong; Jue Wang; Ting Su; Haiying Sun
2024
Multi-dimensional Abstraction and Decomposition for Separation of Concerns
Zhiming Liu; Jiadong Teng; Bo Liu
2024
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification
Xinpeng Ni; Yulun Wu; Bican Xia
2024
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service
Lingzhi Ouyang; Yu Huang; Binyu Huang; Xiaoxing Ma
2024
Modeling Regex Operators for Solving Regex Crossword Puzzles
Weihao Su; Haiming Chen; Rongchen Li; Zixuan Chen
2024
Software Vulnerability Detection Using an Enhanced Generalization Strategy
Hao Sun; Zhe Bu; Yang Xiao; Chengsheng Zhou; Zhiyu Hao; Hongsong Zhu
2024
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems
Weidi Sun; Yuteng Lu; Xiaokun Luan; Meng Sun
2024
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework
Xinyi Wan; Qinxiang Cao
2024
Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications
Weiwei Wang; Zidong Li; Feng You; Ruilian Zhao
2024
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance
Yingmin Xiao; Zhibin Yang; Yong Zhou; Zhiqiu Huang
2024
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals
Han Xu; Liqian Chen; Guangsheng Fan; Banghu Yin; Ji Wang
2024
Deducing Matching Strings for Real-World Regular Expressions
Yixuan Yan; Weihao Su; Lixiao Zheng; Mengxi Wang; Haiming Chen; Chengyao Peng; Rongchen Li; Zixuan Chen
2024
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis
Yixiao Yang; Chen Gao; Zhiqi Li; Yifan Wang; Rui Wang
2024
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024