3 papers
cs.SE2025
Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
Dong Liu
This paper introduces Primary Breadth-First Development (PBFD) and Primary Depth-First Development (PDFD)-formally and empirically verified methodologies for scalable, industrial-g…
cs.SE2025
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu +3
Fixing static analysis alerts in source code with Large Language Models (LLMs) is becoming increasingly popular. However, LLMs often hallucinate and perform poorly for complex and…
cs.SE2025
Primary Breadth-First Development (PBFD): An Approach to Full Stack Software Development
Dong Liu
Full stack software applications are often simplified to basic CRUD operations, which can overlook the intricate principles of computer science necessary for addressing complex dev…