Merkliste 
 1 Ergebnisse 
 
1

Concretely Mapped Symbolic Memory Locations for Memory Erro..:

Tu, Haoxin ; Jiang, Lingxiao ; Hong, Jiaqi..
IEEE Transactions on Software Engineering.  50 (2024)  7 - p. 1747-1767 , 2024