@article{Katz_2016,
    doi = {10.1007/s10009-016-0418-1},
    url = {https://doi.org/10.1007%2Fs10009-016-0418-1},
    year = {2016},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {19},
    number = {4},
    pages = {449--464},
    author = {Gal Katz and Doron Peled},
    title = {Synthesizing, correcting and improving code, using model checking-based genetic programming},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Katz_2016, doi = {10.1007/s10009-016-0418-1}, url = {https://doi.org/10.1007%2Fs10009-016-0418-1}, year = {2016}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {19}, number = {4}, pages = {449--464}, author = {Gal Katz and Doron Peled}, title = {Synthesizing, correcting and improving code, using model checking-based genetic programming}, journal = {International Journal on Software Tools for Technology Transfer} }