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

DOI10.1007/11888116_31zbMath1225.68044OpenAlexW1540211104MaRDI QIDQ3613090

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) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (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

Cites Work

• Learning regular sets from queries and counterexamples
• Grey-Box Checking
• Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
• Computer Aided Verification

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