Jan Toennemann, Adina Aniculaesei, Andreas Rausch. Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. In Everton Cavalcante, Francisco Dantas, Thaís Batista, editors, SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, Natal, Brazil, October 19-23, 2020. pages 60-68, ACM, 2020. [doi]
Abstract is missing.