default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th 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
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 2025-11-04 22:21 CET 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:
