{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T22:50:27Z","timestamp":1767912627229,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,10,8]],"date-time":"2013-10-08T00:00:00Z","timestamp":1381190400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Evolving Systems"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s12530-013-9098-1","type":"journal-article","created":{"date-parts":[[2013,10,7]],"date-time":"2013-10-07T09:05:13Z","timestamp":1381136713000},"page":"23-40","source":"Crossref","is-referenced-by-count":1,"title":["Self-* programming: run-time parallel control search for reflection box"],"prefix":"10.1007","volume":"6","author":[{"given":"Olga","family":"Brukman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moshe","family":"Weinstock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,8]]},"reference":[{"key":"9098_CR1","doi-asserted-by":"crossref","unstructured":"Abadi M, Lamport L, Wolper P (1989) Realizable and unrealizable specifications of reactive systems. In: Proceedings of the 16th international colloquium on automata, languages and programming, pp 1\u201317","DOI":"10.1007\/BFb0035748"},{"key":"9098_CR2","doi-asserted-by":"crossref","unstructured":"Angluin D (1987) Learning regular sets from queries and counter examples. Inf Comput 75(2):87\u2013106","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"9098_CR3","doi-asserted-by":"crossref","unstructured":"Alba E, Chicano F, Ferreira M, Gomez-Pulido J (2008) Finding deadlocks in large concurrent java programs using genetic algorithms. In: Proceedings of the 10th annual conference on genetic and evolutionary computation, pp 1735\u20131742","DOI":"10.1145\/1389095.1389432"},{"issue":"2","key":"9098_CR4","first-page":"37","volume":"20","author":"J Blythe","year":"1999","unstructured":"Blythe J (1999) An overview of planning under uncertainty. AI Mag 20(2):37\u201354","journal-title":"AI Mag"},{"key":"9098_CR5","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow TS (1978) Testing software design modeled By finite-state machines. IEEE Trans Softw Eng 4:178\u2013187","journal-title":"IEEE Trans Softw Eng"},{"key":"9098_CR6","unstructured":"Cormen TH, Leiserson CL, Rivest RL (1996) Introduction to algorithms. The MIT press, USA"},{"key":"9098_CR9","doi-asserted-by":"crossref","unstructured":"Dolev S (2000) Self-stabilization. The MIT press, USA","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"9098_CR10","unstructured":"IBM (2001) Autonomic computing. http:\/\/www.research.ibm.com\/autonomic"},{"key":"9098_CR11","doi-asserted-by":"crossref","unstructured":"Elkind E, Genest B, Peled D, Qu H (2006) Grey-box checking. In: Proceedings on formal techniques for networked and distributed systems, pp 420\u2013435","DOI":"10.1007\/11888116_30"},{"key":"9098_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes RE, Nilsson NJ (1971) Strips: new approach to the application of theorem proving to problem solving. Artif Intell 2:189\u2013208","journal-title":"Artif Intell"},{"key":"9098_CR13","doi-asserted-by":"crossref","unstructured":"Gopinath D, Malik MZ, Khurshid S (2011) Specification-based program repair using SAT. In: Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems, pp 173\u2013188","DOI":"10.1007\/978-3-642-19835-9_15"},{"issue":"7","key":"9098_CR14","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D Harel","year":"2012","unstructured":"Harel D, Marron A, Weiss G (2012) Behavioral programming. Commun ACM 55(7):90\u2013100","journal-title":"Commun ACM"},{"key":"9098_CR15","doi-asserted-by":"crossref","unstructured":"Harel D, Marron A, Weiss G (2010) Programming coordinated behavior in Java. In: Proceedings of the 24th European conference on object-oriented programming, pp 250\u2013274","DOI":"10.1007\/978-3-642-14107-2_12"},{"key":"9098_CR16","doi-asserted-by":"crossref","unstructured":"Khalek SA, Guowei Y, Lingming Z, Marinov D, Khurshid S (2011) TestEra: a tool for testing Java programs using alloy specifications. In: Proceedings of the 2011 26th IEEE\/ACM international conference on automated software engineering, pp 608\u2013611","DOI":"10.1109\/ASE.2011.6100137"},{"key":"9098_CR17","doi-asserted-by":"crossref","unstructured":"Lee D, Yannakakis M (1996) Principles and methods of testing finite state machines: a survey. In: Proceedings of the IEEE, pp 1090\u20131123","DOI":"10.1109\/5.533956"},{"key":"9098_CR18","unstructured":"van Melle W (1979) A domain-independent production-rule system for consultation programs. In: Proceedings of the 6th international joint conference on artificial intelligence, pp 923\u2013925"},{"key":"9098_CR19","doi-asserted-by":"crossref","unstructured":"Muggleton S (1991) Inductive logic programming. New Gener Comput 8(4):295\u2013318","DOI":"10.1007\/BF03037089"},{"key":"9098_CR20","unstructured":"Mur RA (2006) Automatic Inductive programming. In: Proceedings of the 23rd international conference on machine learning, tutorial"},{"key":"9098_CR21","doi-asserted-by":"crossref","unstructured":"Musliner DJ (2000) Imposing Real-time constraints on self-adaptive controller synthesis. In: Proceedings of the international workshop on self-adaptive software, pp 143\u2013160","DOI":"10.1007\/3-540-44584-6_12"},{"key":"9098_CR22","unstructured":"von Neumann J (1966) The theory of self reproducing automata. University of Illinois Press, Urbana Illinois"},{"key":"9098_CR23","unstructured":"Patterson D, Brown A, Broadwell P, Candea G, Chen M, Cutler J, Enriquez P, Fox A, Kiciman E, Merzbacher M, Oppenheimer D, Sastry N, Tetzlaff W, Traupman J, Treuhaft N (2002) Recovery oriented computing (ROC): motivation, definition, techniques and case studies. UC Berkeley Computer Science Technical Report UCB\/CSD-02-1175"},{"issue":"2","key":"9098_CR24","first-page":"225","volume":"7","author":"D Peled","year":"2001","unstructured":"Peled D, Vardi MY, Yannakakis M (2001) Black box checking. J Autom Lang Comb 7(2):225\u2013246","journal-title":"J Autom Lang Comb"},{"key":"9098_CR25","unstructured":"Piterman N, Pnueli A, Sa\u2019ar Y (2006) Synthesis of reactive(1) designs. In: Proceedings of the 7th international conference on verification, model checking, and abstract interpretation, pp 364\u2013380"},{"key":"9098_CR26","unstructured":"Phillips WH (1998) Journey in aeronautical research: a career at NASA Langley Research Center. http:\/\/history.nasa.gov\/monograph12\/monograph12.htm , Chapter 11"},{"key":"9098_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli A, Rosner R (1989) On the synthesis of a reactive module. In : Proceedings of the 16th ACM symposium on principles of programming languages, pp 179\u2013190","DOI":"10.1145\/75277.75293"},{"issue":"4","key":"9098_CR28","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2006.02.005","volume":"144","author":"A Pnueli","year":"2006","unstructured":"Pnueli A, Zaks A, Zuck LD (2006) Monitoring interfaces for faults. Electron Notes Theor Comput Sci 144(4):73\u201389","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"1","key":"9098_CR29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/4236.656066","volume":"2","author":"T Richardson","year":"1998","unstructured":"Richardson T (1998) Virtual network computing. IEEE J Internet Comput 2(1):33\u201338","journal-title":"IEEE J Internet Comput"},{"key":"9098_CR30","unstructured":"Richter U, Mnif M, Branke J, M\u00fcller-Schloer C, Schmeck H (2006) Towards a generic observer\/controller architecture for organic computing. GI Jahrestag (1):112\u2013119"},{"issue":"3","key":"9098_CR31","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1118178.1118200","volume":"49","author":"P Robertson","year":"2006","unstructured":"Robertson P, Williams B (2006) Automatic recovery from software failure. Commun ACM 49(3):41\u201347","journal-title":"Commun ACM"},{"key":"9098_CR32","doi-asserted-by":"crossref","unstructured":"Rothamel T, Liu YA, Heitmeyer CL, Leonard EI (2006) Generating optimized code from SCR specifications. In: Proceedings of the ACM SIGPLAN\/SIGBED conference on language, compilers and tool support for embedded systems, pp 135\u2013144","DOI":"10.1145\/1134650.1134670"},{"key":"9098_CR8","unstructured":"Seals J\u00a0(2008) Disaster Recover J. http:\/\/www.drj.com\/"},{"key":"9098_CR33","doi-asserted-by":"crossref","unstructured":"Sutton RS, Barto AG (1998) Introduction to reinforcement learning. MIT Press, Cambridge","DOI":"10.1016\/S1474-6670(17)38315-5"},{"issue":"11","key":"9098_CR34","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1016\/j.infsof.2003.12.005","volume":"46","author":"G Tziallas","year":"2004","unstructured":"Tziallas G, Theodoulidisb B (2004) A controller synthesis algorithm for building self-adaptive software. Inf Softw Technol 46(11):719\u2013727","journal-title":"Inf Softw Technol"},{"key":"9098_CR7","unstructured":"US Geological Survey (2000) Danger to aircraft from volcanic eruption clouds.\u00a0 http:\/\/volcanoes.usgs.gov\/hazards\/tephra\/ashandaircraft.php"},{"key":"9098_CR35","first-page":"299","volume":"4","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii MP (1973) Failure diagnosis of automata. Kibernetika 4:299\u2013347","journal-title":"Kibernetika"},{"issue":"5","key":"9098_CR36","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/1735223.1735249","volume":"53","author":"S Weimer","year":"2010","unstructured":"Weimer S, Westley LG, Forrest C, Nguyen T (2010) Automatic program repair with evolutionary computation. Commun ACM 53(5):109\u2013116","journal-title":"Commun ACM"},{"key":"9098_CR37","unstructured":"Weinstock M, Weiss G (2013) Behavioral Programming official site. http:\/\/www.b-prog.org"},{"key":"9098_CR38","unstructured":"Wyeth G, Buskey G, Roberts J (2000) Flight control using an artificial neural network. In: Proceedings of the Australian conference on robotics and automation"}],"container-title":["Evolving Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12530-013-9098-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12530-013-9098-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12530-013-9098-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T21:14:12Z","timestamp":1564434852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12530-013-9098-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,8]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["9098"],"URL":"https:\/\/doi.org\/10.1007\/s12530-013-9098-1","relation":{},"ISSN":["1868-6478","1868-6486"],"issn-type":[{"value":"1868-6478","type":"print"},{"value":"1868-6486","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,8]]}}}