Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
Article in Formal Aspects of Computing (March 2024)
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Machine Learning for Software Analysis: Models, Methods, and Applications
-
Altmetric BadgeChapter 2 Learning-Based Testing: Recent Progress and Future Prospects
-
Altmetric BadgeChapter 3 Model Learning and Model-Based Testing
-
Altmetric BadgeChapter 4 Testing Functional Black-Box Programs Without a Specification
-
Altmetric BadgeChapter 5 Active Automata Learning in Practice
-
Altmetric BadgeChapter 6 Extending Automata Learning to Extended Finite State Machines
-
Altmetric BadgeChapter 7 Inferring FSM Models of Systems Without Reset
-
Altmetric BadgeChapter 8 Constraint-Based Behavioral Consistency of Evolving Software Systems
-
Altmetric BadgeChapter 9 Logic-Based Learning: Theory and Application