%0 Journal Article %1 journals/apin/ZojajiLK16 %A Zojaji, Zahra %A Ladani, Behrouz Tork %A Khalilian, Alireza %D 2016 %J Appl. Intell. %K dblp %N 4 %P 1066-1088 %T Automated program repair using genetic programming and model checking. %U http://dblp.uni-trier.de/db/journals/apin/apin45.html#ZojajiLK16 %V 45

@article{journals/apin/ZojajiLK16, added-at = {2021-10-14T00:00:00.000+0200}, author = {Zojaji, Zahra and Ladani, Behrouz Tork and Khalilian, Alireza}, biburl = {https://www.bibsonomy.org/bibtex/22787d60b61a59773b4e51e311f0ebfe2/dblp}, ee = {https://doi.org/10.1007/s10489-016-0804-0}, interhash = {eabbaf74026d65ba504093882d102791}, intrahash = {2787d60b61a59773b4e51e311f0ebfe2}, journal = {Appl. Intell.}, keywords = {dblp}, number = 4, pages = {1066-1088}, timestamp = {2024-04-09T02:37:07.000+0200}, title = {Automated program repair using genetic programming and model checking.}, url = {http://dblp.uni-trier.de/db/journals/apin/apin45.html#ZojajiLK16}, volume = 45, year = 2016 }