Adaptive Model Checking

DOI10.1093/JIGPAL/JZL007MaRDI QIDQ3424119zbMATH OpenOpenAlexFDO

Authors Alex Groce, Doron Peled, Mihalis Yannakakis

Publication date 15 February 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4295a6fa99d5ba48b14bc6a3d9db732a553715ad

zbMATH Keywords

model checkingblack box testinglearning regular languages

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computational learning theory (68Q32) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080060
• scientific article; zbMATH DE number 1903377
• Grey-Box Checking
• scientific article; zbMATH DE number 1916673
• CTL model update for system modifications

Cited in

(9)

• scientific article; zbMATH DE number 2080060 (Why is no real title available?)
• Incremental learning-based testing for reactive systems
• scientific article; zbMATH DE number 1903377 (Why is no real title available?)
• Grey-Box Checking
• scientific article; zbMATH DE number 1693453 (Why is no real title available?)
• Evaluation and Comparison of Inferred Regular Grammars
• Unsupervised automata learning via discrete optimization
• Learning algorithms
• Learning realtime one-counter automata

This page was built for publication: Adaptive Model Checking

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