extended finite state machines Latest Research Papers

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Software Testing Verification and Reliability ◽

10.1002/stvr.1789 ◽

2021 ◽

Author(s):

K. El‐Fakih ◽

Ayman Alzaatreh ◽

Uraz Cengiz Türker

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

Model-based test case generation from UML sequence diagrams using extended finite state machines

Software Quality Journal ◽

10.1007/s11219-020-09531-0 ◽

2021 ◽

Author(s):

Mauricio Rocha ◽

Adenilso Simão ◽

Thiago Sousa

Keyword(s):

Finite State Machines ◽

Test Case Generation ◽

Test Case ◽

State Machines ◽

Sequence Diagrams ◽

Model Based ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines

Journal of Network and Computer Applications ◽

10.1016/j.jnca.2020.102819 ◽

2020 ◽

Vol 171 ◽

pp. 102819

Author(s):

Ying-Dar Lin ◽

Yu-Kuen Lai ◽

Quan Tien Bui ◽

Yuan-Cheng Lai

Keyword(s):

Reverse Engineering ◽

Test Generation ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Fundamental results for learning deterministic extended finite state machines from queries

Theoretical Computer Science ◽

10.1016/j.tcs.2020.09.028 ◽

2020 ◽

Author(s):

Florentin Ipate ◽

Marian Gheorghe ◽

Raluca Lefticaru

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

Discrete Event Dynamic Systems ◽

10.1007/s10626-019-00302-z ◽

2020 ◽

Vol 30 (2) ◽

pp. 211-241

Author(s):

Robi Malik ◽

Marcelo Teixeira

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Correctly Slicing Extended Finite State Machines

From Lambda Calculus to Cybersecurity Through Program Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41103-9_6 ◽

2020 ◽

pp. 149-197

Author(s):

Torben Amtoft ◽

Kelly Androutsopoulos ◽

David Clark

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

On deriving the parallel composition of extended finite state machines

Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika ◽

10.17223/19988605/48/10 ◽

2019 ◽

pp. 83-91

Author(s):

Ekaterina V. Shirokova ◽

◽

Svetlana A. Prokopenko ◽

Natalia V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Testing extended finite state machines using NSGA-III

Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2019 ◽

10.1145/3340433.3342820 ◽

2019 ◽

Author(s):

Ana Ţurlea

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Extending Automata Learning to Extended Finite State Machines

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_6 ◽

2018 ◽

pp. 149-177 ◽

Cited By ~ 5

Author(s):

Sofia Cassel ◽

Falk Howar ◽

Bengt Jonsson ◽

Bernhard Steffen

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Automata Learning

Download Full-text

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Automatic Control and Computer Sciences ◽

10.3103/s0146411617070057 ◽

2017 ◽

Vol 51 (7) ◽

pp. 516-522

Author(s):

A. D. Ermakov ◽

N. V. Yevtushenko

Keyword(s):

Finite State Machines ◽

Fault Coverage ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Test Suites

Download Full-text

extended finite state machines
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Model-based test case generation from UML sequence diagrams using extended finite state machines

ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines

Fundamental results for learning deterministic extended finite state machines from queries

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

Correctly Slicing Extended Finite State Machines

On deriving the parallel composition of extended finite state machines

Testing extended finite state machines using NSGA-III

Extending Automata Learning to Extended Finite State Machines

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Export Citation Format

extended finite state machinesRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Assessing test suites of extended finite state machines against model‐ and code‐based faults

Model-based test case generation from UML sequence diagrams using extended finite state machines

ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines

Fundamental results for learning deterministic extended finite state machines from queries

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction

Correctly Slicing Extended Finite State Machines

On deriving the parallel composition of extended finite state machines

Testing extended finite state machines using NSGA-III

Extending Automata Learning to Extended Finite State Machines

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

extended finite state machines
Recently Published Documents