Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming

Ling Zhu, Sandeep Kulkarni. Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. In Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita, editors, Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Volume 8255 of Lecture Notes in Computer Science, pages 370-372, Springer, 2013. [doi]

Abstract

Abstract is missing.