Our paper on Automated Infrastructure as Code Program Testing with ProTI has been accepted as a journal first paper at the TSE journal 🎉