Software Engineering Empirical Research Radar

Verifying Data Constraint Equivalence in FinTech Systems.

Paper detail page in SEER Radar.

Authors

Chengpeng Wang 0001, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang 0001

Venue / Year

ICSE 2023

Topics

Other

Abstract / Summary

Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.

External Links

DOI / Publisher

PDF

Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.