Depok, 6 Februari 2026 — Program Magister dan Doktor Ilmu Komputer Fakultas Ilmu Komputer Universitas Indonesia (Fasilkom UI) kembali menyelenggarakan Diskusi Penelitian (Dilan) Episode 41 bertajuk “Equivalent Mutants: Deductive Verification to the Rescue”. Kegiatan ini terselenggara atas kolaborasi dengan APTIKOM Lecturer Competence Division dan menghadirkan Prof. Dr. rer. nat. Reiner Hähnle dari Technische Universität (TU) Darmstadt, Jerman, sebagai narasumber utama.
Acara dibuka dengan sambutan dari Prof. Dr. Indra Budi, S.Kom., M.Kom., yang menekankan pentingnya forum diskusi akademik internasional dalam memperkaya perspektif riset dan memperkuat kolaborasi lintas institusi, khususnya dalam bidang pengembangan perangkat lunak yang semakin kompleks. Setelah itu sesi dilanjutkan dengan pemaparan oleh Prof. Hähnle dan diskusi dengan peserta.
Dalam pemaparannya, Prof. Hähnle membahas tantangan memastikan kualitas dan keandalan perangkat lunak melalui pendekatan mutation testing, yaitu metode pengujian dengan membuat perubahan kecil pada kode untuk menguji kemampuan sistem mendeteksi kesalahan. Sesi diskusi berlangsung interaktif dengan partisipasi aktif dari dosen dan mahasiswa pascasarjana Fasilkom UI. Peserta mengajukan pertanyaan terkait penerapan verifikasi deduktif di industri, tantangan pada sistem berskala besar, serta peluang integrasinya dengan teknologi kecerdasan artifisial.
