Items where Author / Artist / Editor is "Androutsopoulos, Kelly"
![]() | See full list of headings |
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, 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]