extended finite state machine Latest Research Papers

Test-First for Abstracted Behavior of Software Using Extended Finite State Machine

2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ◽

10.1109/issrew51248.2020.00061 ◽

2020 ◽

Author(s):

Tomohiko Takagi ◽

Koichiro Sakata

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Formalising Extended Finite State Machine Transition Merging

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02450-5_22 ◽

2018 ◽

pp. 373-387 ◽

Cited By ~ 1

Author(s):

Michael Foster ◽

Ramsay G. Taylor ◽

Achim D. Brucker ◽

John Derrick

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

How to Design Extended Finite State Machine Test Models in Java

Model-Based Testing for Embedded Systems ◽

10.1201/b11321-15 ◽

2017 ◽

pp. 175-198 ◽

Cited By ~ 11

Keyword(s):

Finite State Machine ◽

State Machine ◽

Test Models ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Time Series Extended Finite-State Machine-Based Relevance Vector Machine Multi-Fault Prediction

Chemical Engineering & Technology ◽

10.1002/ceat.201600025 ◽

2017 ◽

Vol 40 (4) ◽

pp. 639-647 ◽

Cited By ~ 4

Author(s):

Zi-Qian Zhou ◽

Qun-Xiong Zhu ◽

Yuan Xu

Keyword(s):

Time Series ◽

Finite State Machine ◽

Relevance Vector Machine ◽

State Machine ◽

Fault Prediction ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

An assessment of extended finite state machine test selection criteria

Journal of Systems and Software ◽

10.1016/j.jss.2016.09.044 ◽

2017 ◽

Vol 123 ◽

pp. 106-118 ◽

Cited By ~ 5

Author(s):

Khaled El-Fakih ◽

Adenilso Simao ◽

Noshad Jadoon ◽

Jose Carlos Maldonado

Keyword(s):

Selection Criteria ◽

Finite State Machine ◽

State Machine ◽

Test Selection ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Distinguishing extended finite state machine configurations using predicate abstraction

Journal of Software Engineering Research and Development ◽

10.1186/s40411-016-0027-4 ◽

2016 ◽

Vol 4 (1) ◽

Cited By ~ 2

Author(s):

Khaled El-Fakih ◽

Nina Yevtushenko ◽

Marius Bozga ◽

Saddek Bensalem

Keyword(s):

Finite State Machine ◽

State Machine ◽

Predicate Abstraction ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem

10.22215/etd/2016-11428 ◽

2016 ◽

Author(s):

Seyedeh Asoudeh Khalajani

Keyword(s):

Multiobjective Optimization ◽

Test Generation ◽

Finite State Machine ◽

Optimization Problem ◽

State Machine ◽

Multiobjective Optimization Problem ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

Inferring extended finite state machine models from software executions

Empirical Software Engineering ◽

10.1007/s10664-015-9367-7 ◽

2015 ◽

Vol 21 (3) ◽

pp. 811-853 ◽

Cited By ~ 45

Author(s):

Neil Walkinshaw ◽

Ramsay Taylor ◽

John Derrick

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Extended Finite State Machine

Download Full-text

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2015-27(3)-12 ◽

2015 ◽

pp. 161-182 ◽

Cited By ~ 2

Author(s):

I. Melnichenko ◽

A. Kamkin ◽

S. Smolov

Keyword(s):

Test Generation ◽

Finite State Machine ◽

State Machine ◽

Code Coverage ◽

Finite State ◽

Hardware Designs ◽

Extended Finite State Machine

Download Full-text

A novel reuse technology of extended finite state machine at the transaction level based on UVM

Advances in Electrical and Electronics Engineering ◽

10.2495/iceee140361 ◽

2014 ◽

Author(s):

Zheng Xie ◽

Xin'an Wang ◽

Zhibin Lian ◽

Shanshan Yong

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State ◽

Transaction Level ◽

Extended Finite State Machine

Download Full-text

extended finite state machine
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Test-First for Abstracted Behavior of Software Using Extended Finite State Machine

Formalising Extended Finite State Machine Transition Merging

How to Design Extended Finite State Machine Test Models in Java

Time Series Extended Finite-State Machine-Based Relevance Vector Machine Multi-Fault Prediction

An assessment of extended finite state machine test selection criteria

Distinguishing extended finite state machine configurations using predicate abstraction

Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem

Inferring extended finite state machine models from software executions

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

A novel reuse technology of extended finite state machine at the transaction level based on UVM

Export Citation Format

extended finite state machineRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Test-First for Abstracted Behavior of Software Using Extended Finite State Machine

Formalising Extended Finite State Machine Transition Merging

How to Design Extended Finite State Machine Test Models in Java

Time Series Extended Finite-State Machine-Based Relevance Vector Machine Multi-Fault Prediction

An assessment of extended finite state machine test selection criteria

Distinguishing extended finite state machine configurations using predicate abstraction

Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem

Inferring extended finite state machine models from software executions

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

A novel reuse technology of extended finite state machine at the transaction level based on UVM

extended finite state machine
Recently Published Documents