Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Automated program repair using...

Treffer: Automated program repair using genetic programming and model checking

Title:
Automated program repair using genetic programming and model checking
Authors:
Zojaji, Zahra, Ladani, Behrouz Tork, Khalilian, Alireza
Source:
Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies. December 2016 45(4):1066-1088
Database:
Springer Nature Journals