Data Flow Testing for Extended Finite State Machine

Data Flow Testing for Extended Finite State Machine

碩士 === 國立清華大學 === 資訊工程學系 === 86 ===

Bibliographic Details
Main Authors:	Tsai, Shiu-Chuan770, 蔡秀娟
Other Authors:	Chuan-Yi Tang
Format:	Others
Language:	zh-TW
Published:	1998
Online Access:	http://ndltd.ncl.edu.tw/handle/34866874357117698082

Similar Items

Slicing of extended finite state machines
by: Atchuta, Kaushik
Published: (2014)

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines
by: A. D. Ermakov, et al.
Published: (2016-12-01)

Automatic Formal Extended Finite State Machine Generation from SDL Specification
by: Hsu, Chuan-Ying, et al.
Published: (1998)

Low Power Synthesis for Extended Finite State Machines
by: 劉建志
Published: (2001)

Decomposition of Extended Finite State Machine for Low Power Design
by: Lee MingHung, et al.
Published: (2002)

ReFSM: Reverse Engineering from Protocol Traces to Test Generation by Extended Finite State Machines
by: Quan Bui Tien, et al.
Published: (2018)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
by: I. . Melnichenko, et al.
Published: (2018-10-01)

Automatic Formal Extended Finite State Machine Generation from SDL Specification
by: Xu, Quan-Ying, et al.
Published: (1998)

Fundamental results for learning deterministic extended finite state machines from queries
by: Ipate, F., et al.
Published: (2020)

Testable Synthesis and Test Development of Finite State Machines
by: 鄭信源
Published: (1998)

Employing finite-state machines in data integrity problems
by: Malikov Andrey, et al.
Published: (2016-01-01)

Analysing the Impact of Change on Finite State Machine Test Sets
by: Salahuddin, Sarah
Published: (2009)

Multiple case studies of women engaging in overseas self-service travel experiences
by: Shiu-Chuan Tsai, et al.
Published: (2019)

Analyzing Data Flows of State Machines
by: Julio Cano, et al.
Published: (2010-02-01)

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage
by: Aleksandr S. Tvardovskii, et al.
Published: (2017-08-01)

Automatic Test Pattern Generator for Fuzzing Based on Finite State Machine
by: Ming-Hung Wang, et al.
Published: (2017-01-01)

A testing metric for designs modelled as hierarchical finite-state machines.
by: Lew, Ning.
Published: (2009)

Evaluating finite state machine based testing methods on RBAC systems
by: Damasceno, Carlos Diego Nascimento
Published: (2016)

Evaluating finite state machine based testing methods on RBAC systems
by: Carlos Diego Nascimento Damasceno
Published: (2016)

The algebra of finite-state machines
by: Williams, Ouida Kathyrn
Published: (1973)

Formal refinement of extended state machines
by: Thomas Fayolle, et al.
Published: (2016-06-01)

An Algorithm for Single Fault Coverage Test Sequence Generation for Finite-State Machine
by: Huang, Wen-Hsien, et al.
Published: (1998)

Automated test sequence generation for finite state machines using genetic algorithms
by: Derderian, Karnig Agop
Published: (2006)

A finite state machine synthesizer
by: Liu, Jiuling
Published: (1989)

On the minimization of timed Finite State Machines
by: Alexandre Tvardovskiy
Published: (2018-10-01)

Collaborative Systems – Finite State Machines
by: Ion IVAN, et al.
Published: (2011-01-01)

An Extended Finite Element Model for Fluid Flow in Fractured Porous Media
by: Fei Liu, et al.
Published: (2015-01-01)

A Tool for GUI Test Case Generation Based on Hierarchical Finite State Machine
by: Hsien-Ta Wu, et al.
Published: (2007)

Design and Verification of the Built-in Self-test Circuits for the HDL-based Finite State Machines
by: Jin Kun Huang, et al.
Published: (2015)

Finite State Machine State Assignment for Low Power
by: Heng-Liang Huang, et al.
Published: (1995)

FINITE STATE MACHINE STATE ASSIGNMENT FOR LOW POWERZENG
by: Huang, Heng-Liang, et al.
Published: (1995)

FIPOC:a finite state machine synthesizer
by: WANG,ZHI-PENG, et al.
Published: (1990)

Finite Elements Static Analysis of Machines with Cables and Beams
by: SHIU,JIUN-BO, et al.
Published: (2010)

Active Learning of Nondeterministic Finite State Machines
by: Warawoot Pacharoen, et al.
Published: (2013-01-01)

Finite state machine for the implementation of digital filters
by: Proudler, I. K.
Published: (1984)

Iterative minimization of partial finite state machines
by: Alberto Alex, et al.
Published: (2013-06-01)

Loop-free synthesis of finite state machines
by: Zeiger, Howard Paul
Published: (2005)

A new approach to state minimization of finite state machines
by: Zhao, William Yue
Published: (1989)

UML-based Verification of Semantic Finite State Machine
by: Yun-Hau Yang, et al.
Published: (2004)

Context Aware Mobile Learning with Finite State Machines
by: An-Ping Chiang, et al.
Published: (2005)

Cannot write session to /tmp/vufind_sessions/sess_8c9nqblups6nqrv57s1h8fqd9a