Ling Zhu, Sandeep S. Kulkarni. Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. In IEEE 35th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2015, Columbus, OH, USA, June 29 - July 2, 2015. pages 29-34, IEEE, 2015. [doi]
Abstract is missing.