Accelerating high-level bounded model checking
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Slicing UML architectural models
ACM SIGSOFT Software Engineering Notes
Slicing for model reduction in adaptive embedded systems development
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Slicing of UML models using model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Identifying properties of UML state machine diagrams that affect data and control dependence
Proceedings of the 2011 ACM Symposium on Applied Computing
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
Proceedings of the 14th international conference on Model driven engineering languages and systems
Applying reduction techniques to software functional requirement specifications
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Slicing MATLAB simulink models
Proceedings of the 34th International Conference on Software Engineering
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Traceability and SysML design slices to support safety inspections: A controlled experiment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
System modeling is a widely used technique to modelstate-based systems. Several state-based languages areused to model such systems, e.g., EFSM, SDL and StateCharts. Although state-based modeling is very useful,system models are frequently large and complex and arehard to understand and modify. Slicing is a well-knownreduction technique. Most of the research on slicing iscode-based. There has been limited research onspecification-based slicing and model-based slicing. Inthis paper, we present an approach to slicing state-basedmodels, in particular EFSM models. Our approachautomatically identifies the parts of the model that affect anelement of interest using EFSM dependence analysis. Slicereduction techniques are then used to reduce the size of theEFSM slice. Our experience with the presented slicingapproach showed that significant reduction of state-basedmodels could be achieved.