[REDACTED] automating program splitting formalization

Mohannad Alhanahnah, Philipp Schubert, Naman Gupta*, Thomas Reps, Somesh Jha, Eric Bodden
November, 2022
Cite URL
Type
1
Publication
45th International Conference on Software Engineering (ICSE) 2023