Shanghai Key Laboratory of Trustworthy Computing

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues

Static code analyzers are widely used to help find program flaws. However, in practice the effectiveness and usability of such analyzers is affected by the problems of false negatives (FNs) and false positives (FPs). This paper aims to investigate the FNs and FPs of such analyzer...

Rec-PdM: Decision-calibrated recursive multi-agent systems for uncertainty-aware prescriptive maintenance in smart manufacturing

Predictive maintenance creates industrial value only when uncertain health evidence leads to an appropriate intervention under asymmetric failure costs and operational constraints. We present Rec-PdM, a decision-calibrated recursive multi-agent system for uncertainty-aware prescr...