Automated program repair using genetic programming and model checking
Crossref DOI link: https://doi.org/10.1007/s10489-016-0804-0
Published Online: 2016-07-02
Published Print: 2016-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zojaji, Zahra
Ladani, Behrouz Tork
Khalilian, Alireza
License valid from 2016-07-02