List of works - Ji Wang - Paulina

List of works by Ji Wang

FPCC: Detecting Floating-Point Errors via Chain Conditions

scientific article published on 08 October 2024

Hybrid Regression Test Selection by Integrating File and Method Dependences

scientific article published on 18 October 2024

LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱

scientific article published on 18 July 2024

Neural Solving Uninterpreted Predicates with Abstract Gradient Descent

scientific article published on 02 July 2024

Partial Solution Based Constraint Solving Cache in Symbolic Execution

scientific article published on 12 July 2024

Paulina is supported by:

About Paulina

Help