@inproceedings{5f62ed788d9d473da75ff111f1fccc1f,
title = "A verification technique for self-adaptive software by using model-checking",
abstract = "Self-adaptive software refers to software that can change its behavior by itself to perform an intended objective according to changes in the surrounding environment. In this study, a technique is proposed to detect the possibility of problem occurrence in advance, before the self-adaptive software carries out self-adaptation according to changes in the surrounding environment. For the proposed technique, a model-checking technique is applied, which is a software modeling verification technique. The proposed technique was applied to ZNN.com, which provides a self-adaptive software scenario. Through this, the possibility was shown that an adaptive-strategy can be prepared in advance by self-adaptive software through the model-checking technique in the stage prior to the execution of self-adaptation.",
keywords = "Model-Checking, Self-adaptive software, Software verification",
author = "Euijong Lee and Baik, {Doo Kwon}",
note = "Funding Information: ACKNOWLEDGMENT This research was supported by Next-Generation Information Computing Development Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT & Future Planning (NRF 2012M3C4A7033346). Doo-Kwon Baik is corresponding author. Publisher Copyright: {\textcopyright} 2019 ICAI 2015 - WORLDCOMP 2015. All rights reserved.; 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015 ; Conference date: 27-07-2015 Through 30-07-2015",
year = "2019",
language = "English",
series = "Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015",
publisher = "CSREA Press",
pages = "395--396",
editor = "{de la Fuente}, David and Roger Dziegiel and Kozerenko, {Elena B.} and LaMonica, {Peter M.} and Liuzzi, {Raymond A.} and Olivas, {Jose A.} and Todd Waskiewicz and George Jandieri and Arabnia, {Hamid R.}",
booktitle = "Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015",
}