Zahra Zojaji, Behrouz Tork Ladani, Alireza Khalilian. Automated program repair using genetic programming and model checking. Appl. Intell., 45(4):1066-1088, 2016. [doi]
@article{ZojajiLK16, title = {Automated program repair using genetic programming and model checking}, author = {Zahra Zojaji and Behrouz Tork Ladani and Alireza Khalilian}, year = {2016}, doi = {10.1007/s10489-016-0804-0}, url = {http://dx.doi.org/10.1007/s10489-016-0804-0}, researchr = {https://researchr.org/publication/ZojajiLK16}, cites = {0}, citedby = {0}, journal = {Appl. Intell.}, volume = {45}, number = {4}, pages = {1066-1088}, }