From Rule-Based to Automata-Based Testing

Kousha Etessami; Mihalis Yannakakis

doi:10.1007/978-0-387-35533-7

From Rule-Based to Automata-Based Testing

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

Rule based languages have been used extensively to provide a declarative description of causal relationships between events and conditions in a wide variety of systems. On the other hand, automata (finite state machine) based models provide a detailed operational specification of how the system state evolves over time. While rules are a convenient declarative mechanism, a finite automaton is more flexible and far more easily analyzed than a collection of rules with potentially complicated

Original language	English
Title of host publication	Formal Methods for Distributed System Development
Subtitle of host publication	FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Publisher	Springer US
Pages	53-68
Number of pages	16
ISBN (Electronic)	978-0-387-35533-7
ISBN (Print)	978-0-7923-7968-3, 978-1-4757-5264-9
DOIs	https://doi.org/10.1007/978-0-387-35533-7
Publication status	Published - 2000

Publication series

Name	IFIP Advances in Information and Communication Technology
Publisher	Springer US
Volume	55
ISSN (Print)	1868-4238

Access to Document

10.1007/978-0-387-35533-7

Cite this

Etessami, K., & Yannakakis, M. (2000). From Rule-Based to Automata-Based Testing. In Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy (pp. 53-68). (IFIP Advances in Information and Communication Technology; Vol. 55). Springer US. https://doi.org/10.1007/978-0-387-35533-7

Etessami, Kousha ; Yannakakis, Mihalis. / From Rule-Based to Automata-Based Testing. Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy. Springer US, 2000. pp. 53-68 (IFIP Advances in Information and Communication Technology).

@inbook{09c4442416194395a7cc4bd426c03821,

title = "From Rule-Based to Automata-Based Testing",

abstract = "Rule based languages have been used extensively to provide a declarative description of causal relationships between events and conditions in a wide variety of systems. On the other hand, automata (finite state machine) based models provide a detailed operational specification of how the system state evolves over time. While rules are a convenient declarative mechanism, a finite automaton is more flexible and far more easily analyzed than a collection of rules with potentially complicated",

author = "Kousha Etessami and Mihalis Yannakakis",

year = "2000",

doi = "10.1007/978-0-387-35533-7",

language = "English",

isbn = "978-0-7923-7968-3",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Springer US",

pages = "53--68",

booktitle = "Formal Methods for Distributed System Development",

address = "United States",

}

Etessami, K & Yannakakis, M 2000, From Rule-Based to Automata-Based Testing. in Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy. IFIP Advances in Information and Communication Technology, vol. 55, Springer US, pp. 53-68. https://doi.org/10.1007/978-0-387-35533-7

From Rule-Based to Automata-Based Testing. / Etessami, Kousha; Yannakakis, Mihalis.

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy. Springer US, 2000. p. 53-68 (IFIP Advances in Information and Communication Technology; Vol. 55).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - From Rule-Based to Automata-Based Testing

AU - Etessami, Kousha

AU - Yannakakis, Mihalis

PY - 2000

Y1 - 2000

N2 - Rule based languages have been used extensively to provide a declarative description of causal relationships between events and conditions in a wide variety of systems. On the other hand, automata (finite state machine) based models provide a detailed operational specification of how the system state evolves over time. While rules are a convenient declarative mechanism, a finite automaton is more flexible and far more easily analyzed than a collection of rules with potentially complicated

AB - Rule based languages have been used extensively to provide a declarative description of causal relationships between events and conditions in a wide variety of systems. On the other hand, automata (finite state machine) based models provide a detailed operational specification of how the system state evolves over time. While rules are a convenient declarative mechanism, a finite automaton is more flexible and far more easily analyzed than a collection of rules with potentially complicated

U2 - 10.1007/978-0-387-35533-7

DO - 10.1007/978-0-387-35533-7

M3 - Chapter

SN - 978-0-7923-7968-3

SN - 978-1-4757-5264-9

T3 - IFIP Advances in Information and Communication Technology

SP - 53

EP - 68

BT - Formal Methods for Distributed System Development

PB - Springer US

ER -

Etessami K, Yannakakis M. From Rule-Based to Automata-Based Testing. In Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy. Springer US. 2000. p. 53-68. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-0-387-35533-7

From Rule-Based to Automata-Based Testing

Abstract

Publication series

Access to Document

Fingerprint

Cite this