![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
18th TASE 2024: Guiyang, China
- Wei-Ngan Chin
, Zhiwu Xu
:
Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings. Lecture Notes in Computer Science 14777, Springer 2024, ISBN 978-3-031-64625-6 - Ari Hernawan
, Nobuko Yoshida
:
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. 1-18 - Damian Arellanes
:
Composition Machines: Programming Self-organising Software Models for the Emergence of Sequential Program Spaces. 19-37 - Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang:
Slicing Assisted Program Verification: An Empirical Study. 38-57 - Jin Cui, Zhenhua Duan:
An Approach to Improving Reliability of Parallel Graph Computation. 58-72 - Pieter J. L. Cuijpers
, Jonas Hansen
, Kim G. Larsen
:
Safe and Infinite Resource Scheduling Using Energy Timed Automata. 73-90 - Yibo Dai, Peng Wu, Shecheng Cui, Linhai Ma:
Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. 91-108 - Filip Drobnjakovic, Pavle Subotic, Caterina Urban:
An Abstract Interpretation-Based Data Leakage Static Analysis. 109-126 - Daniel Engel
, Freek Verbeek
, Binoy Ravindran
:
On the Decidability of Disassembling Binaries. 127-145 - Siyi Gu, Xiaoqiang Liu, Hui Guo, Bochun Cao, Baiyan Li, Lizhi Cai, Hu Yun:
Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration. 146-164 - Haoyu Guo, Xiaodong Zhang, Zhiwei Zhang, Yulong Shen:
Detecting Vulnerabilities via Explicitly Leveraging Vulnerability Features on Program Slices. 165-185 - Kunpeng Jian
, Yanyan Zou
, Yeting Li
, Jialun Cao
, Menghao Li
, Jian Sun
, Jingyi Shi
, Wei Huo
:
Fuzzing for Stateful Protocol Implementations: Are We There Yet? 186-204 - Jiacheng Jiang, Cheng Wen, Shengchao Qin:
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. 205-223 - Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu:
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. 224-241 - Pengkun Jiang, Sinan Wang, Yepang Liu:
Tree-Based Synthesis of Web Test Sequences from Manual Actions. 242-260 - Mohammad Wahiduzzaman Khan, Sheng Chen:
Gradual Typing Performance, Micro Configurations and Macro Perspectives. 261-278 - Renjue Li
, Tianhang Qin
, Cas Widdershoven
:
ISS-Scenario: Scenario-Based Testing in CARLA. 279-286 - Xuyang Li
, Hongjin Liang
, Xinyu Feng
:
Verified Validation for Affine Scheduling in Polyhedral Compilation. 287-305 - Yongjian Li, Hongjian Jiang, Yongxin Zhao:
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. 306-323 - Hongming Liu, Guoqiang Li:
Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. 324-342 - Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang:
DeepCDCL: A CDCL-based Neural Network Verification Framework. 343-355 - Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano:
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. 356-373 - Jie Su
, Liansai Deng, Cheng Wen
, Shengchao Qin
, Cong Tian
:
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. 374-391 - Xuezhou Tang:
Improved Incremental Verification for Neural Networks. 392-409 - Siqi Wang, Changwen Li, Tiantian Sun, Fuqi Jia, Rongjie Yan, Jun Yan:
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems. 410-427 - Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong:
Managing Traceability for Software Life Cycle Processes. 428-445 - Lihan Xie, Zhicheng Hui, Qinxiang Cao:
A Natural Formalized Proof Language. 446-464 - Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu:
Strong Forgetting in Hennessy-Milner Logic. 465-472
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.