Machine Learning for Dynamic Software Analysis

Keyphrases

Publications

2018

Neil Walkinshaw
Testing Functional Black-Box Programs Without a Specification. Machine Learning for Dynamic Software Analysis (2018)
Karl Meinke
Learning-Based Testing: Recent Progress and Future Prospects. Machine Learning for Dynamic Software Analysis (2018)
Reiner Hähnle, Bernhard Steffen
Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis (2018)
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis (2018)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis (2018)
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis (2018)
Falk Howar, Bernhard Steffen
Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. Machine Learning for Dynamic Software Analysis (2018)
Amel Bennaceur, Karl Meinke
Machine Learning for Software Analysis: Models, Methods, and Applications. Machine Learning for Dynamic Software Analysis (2018)
Dalal Alrajeh, Alessandra Russo
Logic-Based Learning: Theory and Application. Machine Learning for Dynamic Software Analysis (2018)

volume 11026, 2018

Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers Machine Learning for Dynamic Software Analysis 11026 (2018)