Incremental Learning-Based Testing for Reactive Systems

DOI10.1007/978-3-642-21768-5_11zbMath1335.68144OpenAlexW182269909MaRDI QIDQ3012969

Muddassar Azam Sindhu, Karl Meinke

Publication date: 7 July 2011

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21768-5_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

DKL: an efficient algorithm for learning deterministic Kripke structures

Uses Software

• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Learning regular sets from queries and counterexamples
• Adaptive Model Checking
• CGE: A Sequential Learning Algorithm for Mealy Automata
• A note on the number of queries needed to identify regular languages

This page was built for publication: Incremental Learning-Based Testing for Reactive Systems