主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
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