Abstract is missing.
- Machine Learning for Software Analysis: Models, Methods, and ApplicationsAmel Bennaceur, Karl Meinke. 3-49 [doi]
- Learning-Based Testing: Recent Progress and Future ProspectsKarl Meinke. 53-73 [doi]
- Model Learning and Model-Based TestingBernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad. 74-100 [doi]
- Testing Functional Black-Box Programs Without a SpecificationNeil Walkinshaw. 101-120 [doi]
- Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016Falk Howar, Bernhard Steffen. 123-148 [doi]
- Extending Automata Learning to Extended Finite State MachinesSofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen. 149-177 [doi]
- Inferring FSM Models of Systems Without ResetRoland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat. 178-201 [doi]
- Constraint-Based Behavioral Consistency of Evolving Software SystemsReiner Hähnle, Bernhard Steffen. 205-218 [doi]
- Logic-Based Learning: Theory and ApplicationDalal Alrajeh, Alessandra Russo. 219-256 [doi]