• DocumentCode
    3698372
  • Title

    Incremental symbolic execution of evolving state machines

  • Author

    Amal Khalil;Juergen Dingel

  • Author_Institution
    School of Computing, Queen´s University, Kingston, Ontario, Canada
  • fYear
    2015
  • Firstpage
    14
  • Lastpage
    23
  • Abstract
    This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two proposed techniques on IBM Rhapsody Statecharts and present some evaluation results.
  • Keywords
    "Optimization","Cost accounting","Analytical models","Electronic mail","Software","Testing","Engines"
  • Publisher
    ieee
  • Conference_Titel
    Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on
  • Type

    conf

  • DOI
    10.1109/MODELS.2015.7338231
  • Filename
    7338231
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3698372