中国机械工程学会生产工程分会知识服务平台

会议文集


文集名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 EfficientlyDenghang Hu; Zhilin Wu2024
Reachability Based Uniform Controllability to Target Set with Evolution FunctionJia Geng; Ruiqi Hu; Kairong Liu; Zhihui Li; Zhikun She2024
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching StrategyShaocong Han; Yi Zhang2024
Graph-Based Log Anomaly Detection via Adversarial TrainingZhangyue He; Yanni Tang; Kaiqi Zhao; Jiamou Liu; Wu Chen2024
Formal Verification Based Synthesis for Behavior TreesWeijiang Hong; Zhenbang Chen; Minglong Li; Yuhan Li; Peishan Huang; Ji Wang2024
SeHBPL: Behavioral Semantics-Based Patch Presence Test for BinariesJintao Huang; Gaosheng Wang; Zhiqiang Shi; Fei Lv; Weidong Zhang; Shichao Lv2024
Session Types with Multiple Senders Single ReceiverZekun Ji; Shuling Wang; Xiong Xu2024
Understanding the Reproducibility Issues of Monkey for GUI TestingHuiyu Liu; Qichao Kong; Jue Wang; Ting Su; Haiying Sun2024
Multi-dimensional Abstraction and Decomposition for Separation of ConcernsZhiming Liu; Jiadong Teng; Bo Liu2024
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic VerificationXinpeng Ni; Yulun Wu; Bican Xia2024
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination ServiceLingzhi Ouyang; Yu Huang; Binyu Huang; Xiaoxing Ma2024
Modeling Regex Operators for Solving Regex Crossword PuzzlesWeihao Su; Haiming Chen; Rongchen Li; Zixuan Chen2024
Software Vulnerability Detection Using an Enhanced Generalization StrategyHao Sun; Zhe Bu; Yang Xiao; Chengsheng Zhou; Zhiyu Hao; Hongsong Zhu2024
HeatC: A Variable-Grained Coverage Criterion for Deep Learning SystemsWeidi Sun; Yuteng Lu; Xiaokun Luan; Meng Sun2024
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning FrameworkXinyi Wan; Qinxiang Cao2024
Vulnerability Report Analysis and Vulnerability Reproduction for Web ApplicationsWeiwei Wang; Zidong Li; Feng You; Ruilian Zhao2024
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle AvoidanceYingmin Xiao; Zhibin Yang; Yong Zhou; Zhiqiu Huang2024
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side IntervalsHan Xu; Liqian Chen; Guangsheng Fan; Banghu Yin; Ji Wang2024
Deducing Matching Strings for Real-World Regular ExpressionsYixuan Yan; Weihao Su; Lixiao Zheng; Mengxi Wang; Haiming Chen; Chengyao Peng; Rongchen Li; Zixuan Chen2024
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint AnalysisYixiao Yang; Chen Gao; Zhiqi Li; Yifan Wang; Rui Wang2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024