Incremental symbolic execution of evolving state machines

dc.contributor.authorDingel, Juergen
dc.contributor.authorKhalil, Amal
dc.date.accessioned2021-04-19T20:09:43Z
dc.date.available2021-04-19T20:09:43Z
dc.date.issued2015-11-30
dc.description© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.en
dc.description.abstractThis 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.en
dc.identifier.citationA. Khalil and J. Dingel, "Incremental symbolic execution of evolving state machines," 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, ON, Canada, 2015, pp. 14-23, doi: 10.1109/MODELS.2015.7338231.en
dc.identifier.doihttp://dx.doi.org/10.1109/MODELS.2015.7338231
dc.identifier.urihttp://hdl.handle.net/1974/28764
dc.language.isoenen
dc.publisherInstitute of Electrical and Electronics Engineersen
dc.subjectOptimizationen
dc.subjectCost accountingen
dc.subjectAnalytical modelsen
dc.subjectElectronic mailen
dc.subjectSoftwareen
dc.subjectTestingen
dc.subjectEnginesen
dc.titleIncremental symbolic execution of evolving state machinesen
dc.typejournal articleen
project.funder.identifierhttp://dx.doi.org/10.13039/501100000038en
project.funder.identifierhttp://dx.doi.org/10.13039/100015178en
project.funder.identifierhttp://dx.doi.org/10.13039/100002463en
project.funder.nameNatural Sciences and Engineering Research Council of Canadaen
project.funder.nameIBM Canadaen
project.funder.nameGeneral Motors Corporationen
project.funder.nameMalina Softwareen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
main_KD_MODELS2015 - Copy_access.pdf
Size:
584.61 KB
Format:
Adobe Portable Document Format
Description:
PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
3.77 KB
Format:
Item-specific license agreed upon to submission
Description: