Items where Author / Artist / Editor is "Androutsopoulos, Kelly"

Article

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867 (2018) Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book review]. Genetic programming and Evolvable Machines . pp. 1-3. ISSN 1389-2576 [Article] (Published online first) (doi:10.1007/s10710-018-9335-2)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Krinke, Jens and Tratt, Laurence (2013) State-based model slicing: a survey. ACM Computing Surveys (CSUR), 45 (4) . p. 53. ISSN 0360-0300 [Article] (doi:10.1145/2501654.2501667)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Hierons, Robert M., Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7) . pp. 892-909. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2012.72)

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark and Li, Zheng (2010) An alternative characterization of weak order dependence. Information Processing Letters, 110 (21) . pp. 939-943. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2010.07.023)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gold, Nicolas, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773 [Article] (doi:10.1109/ICSM.2009.5306309)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-00593-0_15)

Book Section

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867 and Clark, David (2020) Correctly slicing extended finite state machines. In: From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement. Di Pierro, Alessandra, Malacaria, Pasquale and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962, eds. Theoretical Computer Science and General Issues (12065) . Springer International Publishing, Switzerland, pp. 149-197. pbk-ISBN 9783030411022, e-ISBN 9783030411039. [Book Section] (doi:10.1007/978-3-030-41103-9_6)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11. ACM, pp. 291-300. ISBN 9781450304450. [Book Section] (doi:10.1145/1985793.1985834)

Conference or Workshop Item

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547, El-Aroussi, Inas, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gheri, Lorenzo, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. ECSEE'18: Proceedings of the 3rd European Conference of Software Engineering Education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. ISBN 9781450363839. [Conference or Workshop Item] (doi:10.1145/3209087.3209106)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Dan, Haitao, Hierons, Robert M. and Harman, Mark (2014) An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE 2014: Proceedings of the 36th International Conference on Software Engineering. In: 36th International Conference on Software Engineering, ICSE '14, 31 May - 07 Jun 2014, Hyderabad, India. ISBN 9781450327565. [Conference or Workshop Item] (doi:10.1145/2568225.2568314)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Varsani, Puja, Weldin, N. and Zivanovic, Aleksandar ORCID: https://orcid.org/0000-0003-3354-754X (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France. . [Conference or Workshop Item]

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, 21-28 May 2011, Waikiki, Honolulu, HI, USA. . [Conference or Workshop Item]