Мауро Пецце, завідувач кафедри тестування та аналізу програмного забезпечення SIT, разом з колегами Валеріо Террані, Гуннел Джахангіровою та Паоло Тонеллою нещодавно опублікували статтю "GAssert: Повністю автоматизований інструмент для покращення оракулів тверджень" у матеріалах 43-ї Міжнародної конференції з програмної інженерії - найпрестижнішої академічної події в галузі програмної інженерії з 1975 року. Цієї п'ятниці, 28 травня, вони представлять демонстраційну версію, що демонструє реалізацію та особливості використання GASSERT - першого інструменту для автоматичного покращення оракулів тверджень.

"Ми виділяємо три перспективні напрямки майбутніх досліджень: (i) використання зворотного зв'язку OASIS не тільки після того, як GASSERT створив остаточне твердження, але й під час еволюції, (ii) підвищення виразності тверджень (наприклад, за допомогою універсальних кванторів), і (iii) полегшення читання і розуміння поліпшених тверджень для людей"
- Уривок з реферату "GAssert: Повністю автоматизований інструмент для покращення оракулів тверджень

Щоб переглянути демо-версію та ознайомитися з повною програмою конференції, натисніть тут.

Повний текст доповіді можна переглянути та завантажити тут.