English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

This paper presents a method for transforming an extended finite state machine (EFSM) given as an Estelle normal form module into an equivalent expanded EFSM without control variables, i.e. an Estelle normal form module free of provided-clauses. The transformed EFSM allows to apply methods based on the finite state machine (FSM) model for test case generation. Using this approach, it is possible to cope with test sequence generation for control and data flow and with test data selection. The transformation is feasible if the variables that occur in provided-clauses have finite, countable domains. For realistic protocol specifications, this condition is fulfilled most of the time.

Transformation of Estelle modules aiming at test case generation