A theoretical and empirical study of EFSM dependence

Conference paper


Androutsopoulos, K., Gold, N., Harman, M., Li, Z. and Tratt, L. 2009. A theoretical and empirical study of EFSM dependence. ICSM 2009: International Conference on Software Maintenance. Edmonton, AB, Canada 20 - 26 Sep 2009 IEEE. pp. 287-296 https://doi.org/10.1109/ICSM.2009.5306309
TypeConference paper
TitleA theoretical and empirical study of EFSM dependence
AuthorsAndroutsopoulos, K., Gold, N., Harman, M., Li, Z. and Tratt, L.
Abstract

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 comparatively little work on dependence analysis at the model level and hitherto, no empirical studies. We introduce a slicing tool for extended finite state machines (EFSMs) and use the tool to gather empirical results on several forms of dependence found in ten EFSMs, including well-known benchmarks in addition to real-world EFSM models. We investigate the statistical properties of dependence using statistical tests for correlation and formalize and prove four of the empirical findings arising from our empirical study. The paper thus provides the maintainer with both empirical data and foundational theoretical results concerning dependence in EFSM models.

ConferenceICSM 2009: International Conference on Software Maintenance
Page range287-296
Proceedings Title2009 International Conference on Software Maintenance
ISSN1063-6773
ISBN
Hardcover9781424448975
Electronic9781424448289
PublisherIEEE
Publication dates
Online30 Oct 2009
Print20 Sep 2009
Publication process dates
Deposited28 May 2010
Output statusPublished
Digital Object Identifier (DOI)https://doi.org/10.1109/ICSM.2009.5306309
Web address (URL) of conference proceedingshttps://doi.org/10.1109/ICSM15687.2009
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/82wqz

Download files

  • 82
    total views
  • 19
    total downloads
  • 8
    views this month
  • 3
    downloads this month

Export as

Related outputs

Correctly slicing extended finite state machines
Amtoft, T., Androutsopoulos, K. and Clark, D. 2020. Correctly slicing extended finite state machines. in: Di Pierro, A., Malacaria, P. and Nagarajan, R. (ed.) From lambda calculus to cybersecurity through program analysis: Essays dedicated to Chris Hankin on the occasion of his retirement Switzerland Springer. pp. 149-197
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]
Androutsopoulos, K. 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. https://doi.org/10.1007/s10710-018-9335-2
MIRTO: an open-source robotic platform for education
Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106
A racket-based robot to teach first-year computer science
Androutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A. 2014. A racket-based robot to teach first-year computer science. 7 th European Lisp Symposium. IRCAM, Paris, France 05 - 06 May 2014 pp. 54-61
An analysis of the relationship between conditional entropy and failed error propagation in software testing
Androutsopoulos, K., Clark, D., Dan, H., Hierons, R. and Harman, M. 2014. An analysis of the relationship between conditional entropy and failed error propagation in software testing. 36th International Conference on Software Engineering, ICSE '14. Hyderabad, India 31 May - 07 Jun 2014 Association for Computing Machinery (ACM). pp. 573-583 https://doi.org/10.1145/2568225.2568314
State-based model slicing: a survey
Androutsopoulos, K., Clark, D., Harman, M., Krinke, J. and Tratt, L. 2013. State-based model slicing: a survey. ACM Computing Surveys. 45 (4), pp. 1-36. https://doi.org/10.1145/2501654.2501667
Amorphous slicing of extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Hierons, R., Li, Z. and Tratt, L. 2013. Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering. 39 (7), pp. 892-909. https://doi.org/10.1109/TSE.2012.72
Model projection: simplifying models in response to restricting the environment
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. and Li, Z. 2011. Model projection: simplifying models in response to restricting the environment. ICSE11: International Conference on Software Engineering. Waikiki, Honolulu, HI, USA 21 - 28 May 2011 Association for Computing Machinery (ACM). pp. 291-300 https://doi.org/10.1145/1985793.1985834
Model projection: simplifying models in response to restricting the environment
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. and Li, Z. 2011. Model projection: simplifying models in response to restricting the environment. ICSE11: International Conference on Software Engineering. Waikiki, Honolulu, HI, USA 21 - 28 May 2011 Association for Computing Machinery (ACM). pp. 291-300 https://doi.org/10.1145/1985793.1985834
An alternative characterization of weak order dependence
Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M. and Li, Z. 2010. An alternative characterization of weak order dependence. Information Processing Letters. 110 (21), pp. 939-943. https://doi.org/10.1016/j.ipl.2010.07.023
Control dependence for extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L. 2009. Control dependence for extended finite state machines. Chechik, M. and Wirsing, M. (ed.) Fundamental Approaches to Software Engineering (FASE '09): 12th International Conference. York, UK. 03 - 22 Mar 2009 Springer. pp. 216-230 https://doi.org/10.1007/978-3-642-00593-0_15