Integration Testing of Distributed Components Based on Learning Parameterized I/O Models

DOI10.1007/11888116_31MaRDI QIDQ3613090zbMATH OpenOpenAlexFDO

Authors Keqin Li, Roland Groz, Muzammil Shahbaz

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_31

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14)

Recommendations

• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1952067
• A formal abstract framework for modelling and testing complex software systems
• A Formal Methodology to Test Complex Heterogeneous Systems
• Model-Based Testing of Environmental Conformance of Components

Cites work

• Domain-specific optimization in automata learning.
• Grey-Box Checking
• Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
• Learning regular sets from queries and counterexamples

Cited in

(2)

• Generating models of infinite-state communication protocols using regular inference with abstraction
• Integration Testing of Distributed Components Based on Learning Parameterized I/O Models

This page was built for publication: Integration Testing of Distributed Components Based on Learning Parameterized I/O Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613090)