SETTA

Keyphrases

Publications

volume 14464, 2024

Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings SETTA 14464 (2024)

2023

Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen
Deducing Matching Strings for Real-World Regular Expressions. SETTA (2023)
Zhangyue He, Yanni Tang, Kaiqi Zhao, Jiamou Liu, Wu Chen
Graph-Based Log Anomaly Detection via Adversarial Training. SETTA (2023)
Zhiming Liu, Jiadong Teng, Bo Liu
Multi-dimensional Abstraction and Decomposition for Separation of Concerns. SETTA (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma
Specifications to Improve the Reliability of the ZooKeeperCoordination Service. SETTA (2023)
Chunxi Zhang, Shuyan Zhang, Ting Chen, Rong Zhang, Kai Liu
An Optimized Solution for Highly Contended Transactional Workloads. SETTA (2023)
Weiwei Wang, Zidong Li, Feng You, Ruilian Zhao
Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications. SETTA (2023)
Denghang Hu, Zhilin Wu
String Constraints with Regex-Counting and String-Length Solved More Efficiently. SETTA (2023)
Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun
Understanding the Reproducibility Issues of Monkey for GUI Testing. SETTA (2023)
Jin Zhu, Chuanqi Tao, Hongjing Guo, Yue Ju
DeepTD: Diversity-Guided Deep Neural Network Test Generation. SETTA (2023)
Xinyi Wan, Qinxiang Cao
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. SETTA (2023)
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. SETTA (2023)
Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA (2023)
Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen
Modeling Regex Operators for Solving Regex Crossword Puzzles. SETTA (2023)
Hao Sun, Zhe Bu, Yang Xiao, Chengsheng Zhou, Zhiyu Hao, Hongsong Zhu
Software Vulnerability Detection Using an Enhanced Generalization Strategy. SETTA (2023)
Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. SETTA (2023)
Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. SETTA (2023)
Qian Yao, Xinli Xiong, Yongjie Wang
Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive Opponent. SETTA (2023)
Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She
Reachability Based Uniform Controllability to Target Set with Evolution Function. SETTA (2023)
Shaocong Han, Yi Zhang
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy. SETTA (2023)
Jintao Huang, Gaosheng Wang, Zhiqiang Shi, Fei Lv, Weidong Zhang, Shichao Lv
SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries. SETTA (2023)
Xinpeng Ni, Yulun Wu, Bican Xia
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. SETTA (2023)
Zekun Ji, Shuling Wang, Xiong Xu
Session Types with Multiple Senders Single Receiver. SETTA (2023)
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
Formal Verification Based Synthesis for Behavior Trees. SETTA (2023)
Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. SETTA (2023)

2022

volume 13649, 2022

Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings SETTA 13649 (2022)

2021

volume 13071, 2021

Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings SETTA 13071 (2021)