%0 Conference Proceedings
%T Metrics-Based Incremental Determinization of Finite Automata
%+ Università degli Studi di Brescia = University of Brescia (UniBs)
%+ Politecnico di Milano [Milan] (POLIMI)
%A Balan, Sergiu, I.
%A Lamperti, Gianfranco
%A Scandale, Michele
%Z Part 1: Cross-Domain Conference and Workshop on Multidisciplinary Research and Practice for Information Systems (CD-ARES 2014): Knowledge Management
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES)
%C Fribourg, Switzerland
%Y Stephanie Teufel
%Y Tjoa A Min
%Y Ilsun You
%Y Edgar Weippl
%I Springer
%3 Availability, Reliability, and Security in Information Systems
%V LNCS-8708
%P 29-44
%8 2014-09-08
%D 2014
%R 10.1007/978-3-319-10975-6_3
%K Finite Automata
%K Incremental Determinization
%K Incremental Subset Construction
%K Model-Based Reasoning
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X Some application domains, including monitoring of active systems in artificial intelligence and model-based mutation testing in software engineering, require determinization of finite automata to be performed incrementally. To this end, an algorithm called Incremental Subset Construction (ISC) was proposed a few years ago. However, this algorithm was recently discovered to be incorrect is some instance problems. The incorrect behavior of ISC originates when the redirection of a transition causes a portion of the automaton to be disconnected from the initial state. This misbehavior is disturbing in two ways: portions of the resulting automaton are disconnected and, as such, useless; moreover, a considerable amount of computation is possibly wasted for processing these disconnected parts. To make ISC sound, a metrics-based technique is proposed in this paper, where the distance between states is exploited in order to guarantee the connection of the automaton, thereby allowing ISC to achieve soundness. Experimental results show that, besides being effective, the proposed technique is efficient too.
%G English
%Z TC 5
%Z TC 8
%Z WG 8.4
%Z WG 8.9
%2 https://inria.hal.science/hal-01403984/document
%2 https://inria.hal.science/hal-01403984/file/978-3-319-10975-6_3_Chapter.pdf
%L hal-01403984
%U https://inria.hal.science/hal-01403984
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-LNCS-8708
%~ IFIP-CD-ARES
%~ IFIP-WG8-4
%~ IFIP-WG8-9