Cover Image

Debloating Software Through Enhanced Static Analysis and Constraint Rules

Fuente: Wiley Open Access

Saved in:

Bibliographic Details
Main Authors:	Xiaohu Song, Hai Yu, Ying Wang, Zhiliang Zhu
Format:	Artículo Open Access
Published:	Wiley 2025
Subjects:	Software: Practice and Experience
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extracting Fix Patterns for Static Analysis Violations Based on Collective Developer Knowledge
by: Michael Karatzas, et al.
Published: (2024)

Spatio‐Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety
by: Jinyong Wang, et al.
Published: (2025)

QRAP: A Quantum Resource Allocation Platform for Adaptive Scheduling Under Topology Constraints
by: Song Guo, et al.
Published: (2026)

Special Issue on Edge Intelligence Software Systems for Internet of Autonomous Unmanned Vehicles Journal of Software: Practice and Experience (Wiley Press)
by: Kaijian Xia, et al.
Published: (2025)

Software Metric Based Impact Analysis of Code Smells ‐ A Large Scale Empirical Study
by: Md. Masudur Rahman, et al.
Published: (2025)

SIB: Sorted‐Integers‐Based Index for Compact and Fast Caching in Top‐Down Logic Rule Mining Targeting KB Compression
by: Ruoyu Wang, et al.
Published: (2025)

Generation of Quantum Software From Truth Tables
by: Macario Polo, et al.
Published: (2025)

Towards a Readiness Model for Usable‐Software Development in Organizations
by: Haifa Al‐Shammare, et al.
Published: (2024)

SmellyBot: An AI‐Powered Software Bot for Code Smell Detection
by: Amal Alazba, et al.
Published: (2025)

A Unified Deep Learning Based Feature Representation Approach for Effective Software Defect Prediction
by: Ruchika Malhotra, et al.
Published: (2026)

A Framework and Taxonomy for Characterizing the Applicability of Software Architecture Recovery Approaches: A Tertiary‐Mapping Study
by: Abdul Qayum, et al.
Published: (2024)

SlowSort: An Enhanced Sorting Algorithm for Large‐Scale Integer Datasets
by: Pengfei Wang, et al.
Published: (2025)

Fine‐grained forest net primary productivity monitoring: Software system integrating multisource data and smart optimization
by: Weitao Zou, et al.
Published: (2024)

Privacy‐preserving task offloading in mobile edge computing: A deep reinforcement learning approach
by: Fanglue Xia, et al.
Published: (2024)

Improving Energy Efficiency in Iot Edge Computing Through Dynamic Deep Q‐Network Based Resource Management
by: Aditya Bhushan, et al.
Published: (2025)

A novel instance‐based method for cross‐project just‐in‐time defect prediction
by: Xiaoyan Zhu, et al.
Published: (2024)

Early Response Framework for Accident Detection and Prevention Through Multi‐Zone Fog‐Cloud Collaboration for Safety‐Critical Applications
by: Moumita Mishra, et al.
Published: (2025)

C‐Koordinator: Interference‐Aware Management for Large‐Scale and Co‐Located Microservice Clusters
by: Shengye Song, et al.
Published: (2026)

Enhanced Architecture of Structure Semantics for Syntax‐Aware Code Generation
by: Canmiao Zhou, et al.
Published: (2025)

Leveraging the Power of Images: Image Recommendation to Enhance Issue Reports
by: Xuchen Tan, et al.
Published: (2025)

RGPRec: A RAG‐Enhanced GNN for Personalized Task Recommendations in Open‐Source Communities
by: Shiyu He, et al.
Published: (2025)

ASRMG: Business Topic Clustering‐Based Architecture Smell Refactoring for Microservices Granularity
by: Sixuan Wang, et al.
Published: (2025)

Enhanced Aiot Multi‐Modal Fusion for Human Activity Recognition in Ambient Assisted Living Environment
by: Ankit D. Patel, et al.
Published: (2024)

A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources
by: Tadeu Freitas, et al.
Published: (2025)

Design and Implementation of a Multiuser Enterprise Resource Planning Solution for Higher Education Institutions: Enhancing Accreditation and Administration
by: Divyansh Bansal, et al.
Published: (2026)

Adaptive and Dynamic Spatio‐Temporal Network for Traffic Flow Forecasting
by: Ying Xing, et al.
Published: (2025)

Performance Analysis and Comparison of Node.Js and Java Spring Boot in Implementation of Restful Applications
by: J. S. Shyam Mohan, et al.
Published: (2025)

Identifying Conflicting Requirements in Problem‐Oriented Requirements Engineering: A Case Study Based Approach Using Enhanced Pairwise Comparison Method (E‐ PCM )
by: Waqas Junaid, et al.
Published: (2026)

Research on Blockchain for Adapting to Node Dynamics in Internet of Things
by: Sibo Zhao, et al.
Published: (2026)

Firefighting Pump Anomaly Analysis in AIoT Maintenance Framework Based on IPSO and BiLSTM ‐ CNN Deep Learning Approaches
by: Thanh‐Phuong Nguyen
Published: (2026)

Prototype‐Based Collaborative Learning in UAV‐Assisted Edge Computing Networks
by: Enze Yu, et al.
Published: (2024)

Large AI Models and Their Applications: Classification, Limitations, and Potential Solutions
by: Jing Bi, et al.
Published: (2025)

Hate‐UDF: Explainable Hateful Meme Detection With Uncertainty‐Aware Dynamic Fusion
by: Xia Lei, et al.
Published: (2024)

Exploring Influence Factors on LLM Suitability for No‐Code Development of End User Applications
by: Minghe Wang, et al.
Published: (2025)

On the Performance and Memory Footprint of Distributed Training: An Empirical Study on Transformers
by: Zhengxian Lu, et al.
Published: (2025)

A comprehensive survey of UPPAAL‐assisted formal modeling and verification
by: Wenbo Zhou, et al.
Published: (2024)

Quantum Support Vector Machines and Quantum Kernel Methods
by: Li Xu, et al.
Published: (2026)

QFI‐Opt: Communication‐Efficient Quantum Federated Learning via Quantum Fisher Information
by: Rui Zhang, et al.
Published: (2025)

Faster Wavelet Tree Queries
by: Florian Kurpicz, et al.
Published: (2025)

Practical Adaptive Dynamic Bitvectors
by: Gonzalo Navarro
Published: (2025)