State-based model slicing: A survey
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 …
that affect the values computed at a statement of interest. In recent years authors have …
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
CONTEXT: Traceability is one of the basic tenets of all safety standards and a key
prerequisite for software safety certification. In the current state of practice, there is often a …
prerequisite for software safety certification. In the current state of practice, there is often a …
Why source code analysis and manipulation will always be important
M Harman - 2010 10Th IEEE working conference on source …, 2010 - ieeexplore.ieee.org
This paper makes a case for Source Code Analysis and Manipulation. The paper argues
that it will not only remain important, but that its importance will continue to grow. This …
that it will not only remain important, but that its importance will continue to grow. This …
Efsm-based test case generation: Sequence, data, and oracle
Model-based testing has been intensively and extensively studied in the past decades.
Extended Finite State Machine (EFSM) is a widely used model of software testing in both …
Extended Finite State Machine (EFSM) is a widely used model of software testing in both …
Slicing MATLAB simulink models
R Reicherdt, S Glesner - 2012 34th International Conference on …, 2012 - ieeexplore.ieee.org
MATLAB Simulink is the most widely used industrial tool for develo** complex embedded
systems in the automotive sector. The resulting Simulink models often consist of more than …
systems in the automotive sector. The resulting Simulink models often consist of more than …
Generation of improved test cases from UML state diagram using genetic algorithm
An UML statechart diagram is used to model the dynamic aspects of object oriented software
systems. A Finite State Machine (FSM) and an Extended Finite State Machine (EFSM) are …
systems. A Finite State Machine (FSM) and an Extended Finite State Machine (EFSM) are …
Null space-based kernel fisher discriminant analysis for face recognition
The null space-based LDA takes full advantage of the null space while the other methods
remove the null space. It proves to be optimal in performance. From the theoretical analysis …
remove the null space. It proves to be optimal in performance. From the theoretical analysis …
[PDF][PDF] International journal of advanced research in computer science and software engineering
AB Angadi, AB Angadi, KC Gull - International Journal, 2013 - academia.edu
Relational database management systems (RDMBSs) today are the predominant
technology for storing. In the past few years, the” one size fits all “-thinking concerning …
technology for storing. In the past few years, the” one size fits all “-thinking concerning …
Regression test suite prioritization using system models
During regression testing, a modified system is often retested using an existing test suite.
Since the size of the test suite may be very large, testers are interested in detecting faults in …
Since the size of the test suite may be very large, testers are interested in detecting faults in …
MOST: a multi-objective search-based testing from EFSM
T Yano, E Martins, FL de Sousa - 2011 ieee fourth international …, 2011 - ieeexplore.ieee.org
This paper introduces a multi-objective evolutionary approach to test case generation from
extended finite state machines (EFSM), named MOST. Testing from an (E) FSM generally …
extended finite state machines (EFSM), named MOST. Testing from an (E) FSM generally …