Software Engineering Empirical Research Radar

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.

Paper detail page in SEER Radar.

Authors

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001, Pei Huang 0002, Feifei Ma, Jian Zhang 0001

Venue / Year

ASE 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.