research-article

Papers from ALENEX 2005

Authors:
Camil Demetrescu

Rome

Rome
View Profile

,
Roberto Tamassia

Providence

Providence
View Profile

Authors Info & Claims

ACM Journal of Experimental Algorithmics Volume 12Article No.: 3.1pp 1https://doi.org/10.1145/1227161.1402293

Published:29 August 2008Publication History

ACM Journal of Experimental Algorithmics

Abstract

No abstract available.

Index Terms

Papers from ALENEX 2005

Recommendations

Canonical finite state machines for distributed systems

There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multiple ports/interfaces a multi-port FSM is used and in testing, a tester is ...
Read More
Semantico-automatic Evaluation of Scientific Papers: State of the Art
BDCA'17: Proceedings of the 2nd international Conference on Big Data, Cloud and Applications

Natural Language Processing (NLP) and Automatic Language Processing (ALP) are fields that becomes more attractive for researchers in the study of potential and emerging applications. This article presents a state of the art, which aims to classify ...
Read More
Studying the separability relation between finite state machines

Several authors have studied the relationships between non-deterministic finite state machines (FSMs). These relationships can be used, for example, for deriving conformance tests from specifications represented by FSMs. In this paper, the separability ...
Read More

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Published in

ACM Journal of Experimental Algorithmics Volume 12, Issue
2008
507 pages
ISSN:1084-6654
EISSN:1084-6654
DOI:10.1145/1227161
Issue’s Table of Contents

Copyright © 2008 ACM
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 29 August 2008
Published in jea Volume 12, Issue
Qualifiers
- research-article
- Research
- Refereed
Conference
Funding Sources
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 164
  Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

PDF Format

View or Download as a PDF file.

eReader

View online with eReader.

View Issue’s Table of Contents