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

• Mohammad Jafar Mashhadi ^[1] ; Taha R. Siddiqui ^[2] ; Hadi Hemmati ^[1] ; Howard Loewen ^[3]
  1. [1] University of Calgary

     University of Calgary

     Canadá

     
  2. [2] InfoMagnetics Technologies Corp, Winnipeg, MB, Canada
  3. [3] MicroPilot Inc., Winnipeg, MB, Canada

  Mostrar afiliaciones +
• Localización: Information and software technology, ISSN 0950-5849, Nº 113, 2019, págs. 20-38
• Idioma: inglés
• Enlaces
  • Texto completo