Sharmin Jahan, Allen Marshall, Rose F. Gamble. Embedding Verification Concerns in Self-Adaptive System Code. In 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, USA, September 18-22, 2017. pages 121-130, IEEE Computer Society, 2017. [doi]
Abstract is missing.