Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Kelly Androutsopoulos"'
Publikováno v:
From Lambda Calculus to Cybersecurity Through Program Analysis ISBN: 9783030411022
From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
We consider slicing extended finite state machines. Extended finite state machines (EFSMs) combine a finite state machine with a store and can model a range of computational phenomena, from high-level software to cyber-physical systems. EFSMs are ess
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d83bbd72b61e6093335c4a0c496017e
https://doi.org/10.1007/978-3-030-41103-9_6
https://doi.org/10.1007/978-3-030-41103-9_6
Autor:
Kelly Androutsopoulos
Publikováno v:
Genetic Programming and Evolvable Machines. 20:147-149
A review of the book: Evolutionary algorithms for food science and technology, by Evelyne Lutton, Nathalie Perrot, Alberto Tonda
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02320532a996052b227046f9ee2a4d66
https://doi.org/10.1007/s10710-018-9335-2
https://doi.org/10.1007/s10710-018-9335-2
Autor:
Martin J. Loomes, Kelly Androutsopoulos, Giuseppe Primiero, Michele Bottone, Nick Weldin, M. Heeney, Miltos Petridis, Bob Fields, Nikos Gorogiannis, L. Gheri, A. Piermarteri, L. Aristodemou, I. El-Aroussi, Michael Margolis, Franco Raimondi, Jaap Boender, Matteo Micheletti, Edward Currie
Publikováno v:
ECSEE
This paper introduces the Middlesex RoboTic platfOrm (MIRTO), an open-source platform that has been used for teaching First Year Computer Science students since the academic year 2013/2014, with the aim of providing a physical manifestation of Softwa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a4f5d0f77479de9e3b6f102131e30d0
https://eprints.mdx.ac.uk/24368/1/preprint.pdf
https://eprints.mdx.ac.uk/24368/1/preprint.pdf
Publikováno v:
ACM Computing Surveys. 45:1-36
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program that affect the values computed at a statement of interest. In recent years authors have begun to consider slicing at model level. We present a detailed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3744631367bc71ad17ccf9eeeb19c6a3
https://doi.org/10.1145/2501654.2501667
https://doi.org/10.1145/2501654.2501667
Publikováno v:
Information Processing Letters. 110:939-943
Control dependence forms the basis for many program analyses, such as program slicing. Recent work on control dependence analysis has led to new definitions of dependence that can allow for reactive programs with their necessarily non-terminating com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cbac00531245868be8eec4a0f7d8a90
https://doi.org/10.1016/j.ipl.2010.07.023
https://doi.org/10.1016/j.ipl.2010.07.023
Publikováno v:
L'objet. 9:53-73
Dans cet article nous decrivons les bases semantiques d'un sous-ensemble, RSDS, de la notation UML. Ce sous-ensemble est specifiquement etudie pour cibler la specification des systemes reactifs et a une semantique formelle exprimee en logique tempore
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30c66543063c024ac21029f0c2954542
https://doi.org/10.3166/objet.9.4.53-73
https://doi.org/10.3166/objet.9.4.53-73
Publikováno v:
ICSE
Failed error propagation (FEP) is known to hamper software testing, yet it remains poorly understood. We introduce an information theoretic formulation of FEP that is based on measures of conditional entropy. This formulation considers the situation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a231ed3770bf253dbea28a4a884d547
https://doi.org/10.1145/2568225.2568314
https://doi.org/10.1145/2568225.2568314
Autor:
Kelly Androutsopoulos, Mark Harman, Zheng Li, Kevin Lano, David Binkley, Nicolas Gold, David H. Clark
Publikováno v:
Proceedings of the 33rd International Conference on Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4313baadc5842f73edad8fe254b2f524
https://doi.org/10.1145/1985793.1985834
https://doi.org/10.1145/1985793.1985834
Publikováno v:
ICSM
International Conference on Software Maintenance (ICSM 2009)
International Conference on Software Maintenance (ICSM 2009)
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming languages, notably through work on program slicing. However, there is com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b315292c996aae2708a33378a5f7b805
https://doi.org/10.1109/icsm.2009.5306309
https://doi.org/10.1109/icsm.2009.5306309