TASE

Publications

2024

Mohammad Wahiduzzaman Khan, Sheng Chen
Gradual Typing Performance, Micro Configurations and Macro Perspectives. TASE (2024)
Xuyang Li, Hongjin Liang, Xinyu Feng
Verified Validation for Affine Scheduling in Polyhedral Compilation. TASE (2024)
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE (2024)
Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu
Strong Forgetting in Hennessy-Milner Logic. TASE (2024)
Jiacheng Jiang, Cheng Wen, Shengchao Qin
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. TASE (2024)
Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE (2024)
Haoyu Guo, Xiaodong Zhang, Zhiwei Zhang, Yulong Shen
Detecting Vulnerabilities via Explicitly Leveraging Vulnerability Features on Program Slices. TASE (2024)
Yibo Dai, Peng Wu, Shecheng Cui, Linhai Ma
Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. TASE (2024)
Renjue Li, Tianhang Qin, Cas Widdershoven
ISS-Scenario: Scenario-Based Testing in CARLA. TASE (2024)
Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. TASE (2024)
Pengkun Jiang, Sinan Wang, Yepang Liu
Tree-Based Synthesis of Web Test Sequences from Manual Actions. TASE (2024)
Hongming Liu, Guoqiang Li
Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. TASE (2024)
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
An Abstract Interpretation-Based Data Leakage Static Analysis. TASE (2024)
Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong
Managing Traceability for Software Life Cycle Processes. TASE (2024)
Daniel Engel, Freek Verbeek, Binoy Ravindran
On the Decidability of Disassembling Binaries. TASE (2024)
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. TASE (2024)
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. TASE (2024)
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
DeepCDCL: A CDCL-based Neural Network Verification Framework. TASE (2024)
Jin Cui, Zhenhua Duan
An Approach to Improving Reliability of Parallel Graph Computation. TASE (2024)
Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang
Slicing Assisted Program Verification: An Empirical Study. TASE (2024)
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? TASE (2024)
Ari Hernawan, Nobuko Yoshida
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. TASE (2024)
Yongjian Li, Hongjian Jiang, Yongxin Zhao
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. TASE (2024)
Damian Arellanes
Composition Machines: Programming Self-organising Software Models for the Emergence of Sequential Program Spaces. TASE (2024)
Lihan Xie, Zhicheng Hui, Qinxiang Cao
A Natural Formalized Proof Language. TASE (2024)
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. TASE (2024)
Xuezhou Tang
Improved Incremental Verification for Neural Networks. TASE (2024)

volume 14777, 2024

Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings TASE 14777 (2024)

2023

volume 13931, 2023

Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings TASE 13931 (2023)