Gal Katz

发表

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming

Doron A. Peled, Gal Katz, D. Peled, 2009, Haifa Verification Conference.

Synthesizing, correcting and improving code, using model checking-based genetic programming

D. Peled, Gal Katz, 2013, International Journal on Software Tools for Technology Transfer.

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

Doron A. Peled, Gal Katz, D. Peled, 2008, TACAS.

Synthesis of Parametric Programs using Genetic Programming and Model Checking

Doron A. Peled, Gal Katz, D. Peled, 2014, INFINITY.

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

Doron A. Peled, Gal Katz, D. Peled, 2008, ATVA.

Code Mutation in Verification and Automatic Code Correction

Doron A. Peled, Gal Katz, D. Peled, 2010, TACAS.

Model Checking Driven Heuristic Search for Correct Programs

Doron A. Peled, Gal Katz, D. Peled, 2009, MoChArt.