transactions on software engineering 2024