Welcome to the homepage of the Constructor Institute of Technology’s Chair of Software Engineering!
News
-
At the 16th Alpine Verification Meeting (AVM’24)
December 18th, 2024In September 2024 our team participated in the 16th Alpine Verification Meeting (AVM’24) which took place in Freiburg im Breisgau, Germany.
-
Two program repair benchmarks translated to Eiffel
June 17th, 2024Two datasets of programs with bugs were translated to Eiffel and fully verified with AutoProof. Downloads are available at maple-recursive-eiffel and buggy-java-jml-eiffel.