Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th SETTA 2021: Beijing, China
- Shengchao Qin
, Jim Woodcock, Wenhui Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13071, Springer 2021, ISBN 978-3-030-91264-2
Systems Development
- Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun:
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. 3-21 - Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun:
DeepGlobal: A Global Robustness Verifiable FNN Framework. 22-39 - Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. 40-58
Program Analysis and Verifiation
- Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. 61-80 - Lili Xiao, Huibiao Zhu:
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. 81-101 - Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao:
Formal Analysis of 5G AKMA. 102-121 - Teng Long, Xingtao Ren, Qing Wang, Chao Wang:
Verifying the Correctness of Distributed Systems via Mergeable Parallelism. 122-140
Testing and Fault Detection
- Yuteng Lu, Weidi Sun, Meng Sun:
Mutation Testing of Reinforcement Learning Systems. 143-160 - Jin-Fu Chen, Bo Liu, Saihua Cai, Weijia Wang, Shengran Wang:
AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism. 161-177 - Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
MC/DC Test Cases Generation Based on BDDs. 178-197
Software Quality
- Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li:
Predicting and Monitoring Bug-Proneness at the Feature Level. 201-218 - Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang:
CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum. 219-238 - Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka:
A Distributed Simplex Architecture for Multi-agent Systems. 239-257
Satisfiability, Reachability and Model Checking
- Ruiqi Hu, Meilun Li, Zhikun She:
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. 261-278 - Yongjie Xu, Fu Song, Taolue Chen:
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. 279-298 - Xue-er Ding, Jun Niu, Jia Wang:
API Usage Pattern Search Based on Model Checking. 299-319
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-31 18:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
