Genetic Programming Bibliography entries for Gal Katz

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8010

GP coauthors/coeditors: Doron A Peled,

Genetic Programming conference papers by Gal Katz

  1. Gal Katz and Doron Peled. Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. In Valeria Bertacco and Axel Legay editors, Proceedings of the 9th International Haifa Verification Conference (HVC 2013), volume 8244, pages 246-261, Haifa, Israel, 2013. Springer. Keynote Presentation. details

  2. Gal Katz and Doron Peled. Synthesis of Parametric Programs using Genetic Programming and Model Checking. In Lorenzo Clemente and Lukas Holik editors, Proceedings 15th International Workshop on Verification of Infinite-State Systems, volume 140, pages 70-84, Hanoi, Vietnam, 2013. Invited talk. details

  3. Gal Katz and Doron Peled. Code Mutation in Verification and Automatic Code Correction. In Javier Esparza and Rupak Majumdar editors, 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, volume 6015, pages 435-450, Paphos, Cyprus, 2010. Springer. details

  4. Gal Katz and Doron Peled. MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. In Ahmed Bouajjani and Wei-Ngan Chin editors, 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, volume 6252, pages 359-364, Singapore, 2010. Springer. details

  5. Gal Katz and Doron Peled. Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. In Kedar S. Namjoshi and Andreas Zeller and Avi Ziv editors, 5th International Haifa Verification Conference, HVC 2009, volume 6405, pages 117-132, Haifa, Israel, 2009. Springer. Revised Selected Papers published 2011. details

  6. Gal Katz and Doron Peled. Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. In C. R. Ramakrishnan and Jakob Rehof editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 4963, pages 141-156, Budapest, Hungary, 2008. Springer. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008. details

  7. Gal Katz and Doron Peled. Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. In Automated Technology for Verification and Analysis, volume 5311, pages 33-47, 2008. Springer. details