Program State Element Characterization. - Enrico Armenio Deiana; Brian Suchy; Michael Wilkins; Brian Homerding; Tommy McMichen; Katarzyna Dunajewski; Peter A. Dinda; Nikos Hardavellas; Simone Campanoni (CGO, 2023)