Overview

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025. The 21 full papers, 3 short papers and 8 position papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: Machine Learning for Complex Systems; Trustworthy Deep Learning; Edge Computing Systems; Large Language Models Empowered Software Engineering; Formal Methods; Program Analysis; Position Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language Models; and Position Papers: Large Language Models for Software Engineering. set programming; functional programming; languages, methods and tools; and declarative solutions.

Full Product Details

Author:   Yuan Zhou ,  Sin G. Teo ,  Xiaofei Xie ,  Zuohua Ding
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Volume:   15746
ISBN:  

9783032008275

ISBN 10:   3032008271
Pages:   522
Publication Date:   17 October 2025
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

.- Machine Learning for Complex Systems. .- Runtime Anomaly Detection for Drones: An Integrated Rule Mining and Unsupervised Learning Approach. .- FinPTA: An Effective Model for Financial Sentiment Analysis. .- Single Image Defocus Deblurring in Photography Systems. .- AMF GCN: An Adaptive Graph Convolution Network for Pull-up Evaluation. .- A Q learning driven multi crossover NSGA II framework for energy efficient hybrid flow shop scheduling. .- MixRecLGB: Language-Enhanced Mixed Attention for Temporal Context Modeling in Time Series Forecasting. .- Trustworthy Deep Learning. .- PAMUS: An Entropy Loss Based Poisoning Attack for Undermining Machine Unlearning. .- Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. .- Random Resampling of Training Data for Effective Verification Strategy Prediction. .- DeepMR: A Learning Based Approach for Efficient Mutation Reduction in DNN Fault Localization. .- Investigating the OOV Problem and Its Impacts on Neural Program Repair .- Edge Computing Systems. .- Auction Based Caching Decision Algorithm for IoT Traffic with Popular and Fresh Content. .- Maximizing Long term Task Completion Ratio of 3D UAV Enabled Wirelessly Powered MEC System. .- Towards Efficient and Secure Multimodal Misinformation Detection. .- Large Language Models for Software Engineering. .- Leveraging Large Language Models for Feature Envy Detection: A Context Aware and Reasoning Driven Approach. .- RustMap: Towards Project-Scale C to Rust Migration via Program Analysis and LLM. .- Formal Methods. .- LTL Model Checking of Concurrent Self Modifying Code. .- Checking Linearizability of Multi Core Task Management and Scheduling System. .- Contract based Verification of Digital Twins. .- Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. .- Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. .- Program Analysis. .- Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm Ecosystem. .- EMS HFL: A Hybrid based Fault Localization. .- CONTAST: Graph Embedding based Fault Localization Integrating AST and Context Awareness. .- Large Language Model Agents. .- A Vision for Access Control in LLM Agent Systems. .- Agent Behavior: The Regulatory Object of the Agent Centric Online Ecosystem in Digital Age. .- Empowering Embodied Agents with Semantic Intelligence. .- Large Language Models for Software Engineering. .- An Analytical Perspective on Software Engineering for Large Language Models. .- LiCoVer: LLM Powered Automated OSS License Compliance Verification. .- UFPC: A Unified Framework for Source and Binary Program Comprehension. .- TestCaseMig: LLM Driven Test Case Migration for Evolving Codebases. .- Evolaris: A Roadmap to Self Evolving Software Intelligence Management.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions