Interactive semi-automated specification mining for debugging: An experience report

Information and Software Technology - Tập 113 - Trang 20-38 - 2019
Mohammad Jafar Mashhadi1, Taha R. Siddiqui2, Hadi Hemmati1, Howard Loewen3
1Department of Electrical & Computer Engineering, University of Calgary, AB, Canada
2InfoMagnetics Technologies Corp, Winnipeg, MB, Canada
3MicroPilot Inc., Winnipeg, MB, Canada

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Information and Software Technology

Tập 113

20-38

Thông tin tác giả