Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319965611, 9783319965628

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constraint-Based Behavioral Consistency of Evolving Software Systems

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_8 ◽

2018 ◽

pp. 205-218 ◽

Author(s):

Reiner Hähnle ◽

Bernhard Steffen

Keyword(s):

Software Systems ◽

Behavioral Consistency

Download Full-text

Learning-Based Testing: Recent Progress and Future Prospects

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_2 ◽

2018 ◽

pp. 53-73 ◽

Author(s):

Karl Meinke

Keyword(s):

Recent Progress ◽

Future Prospects

Download Full-text

Testing Functional Black-Box Programs Without a Specification

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_4 ◽

2018 ◽

pp. 101-120 ◽

Author(s):

Neil Walkinshaw

Keyword(s):

Download Full-text

Extending Automata Learning to Extended Finite State Machines

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_6 ◽

2018 ◽

pp. 149-177 ◽

Author(s):

Sofia Cassel ◽

Falk Howar ◽

Bengt Jonsson ◽

Bernhard Steffen

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Automata Learning

Download Full-text

Inferring FSM Models of Systems Without Reset

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_7 ◽

2018 ◽

pp. 178-201 ◽

Author(s):

Roland Groz ◽

Adenilso Simao ◽

Alexandre Petrenko ◽

Catherine Oriat

Download Full-text

Model Learning and Model-Based Testing

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_3 ◽

2018 ◽

pp. 74-100 ◽

Author(s):

Bernhard K. Aichernig ◽

Wojciech Mostowski ◽

Mohammad Reza Mousavi ◽

Martin Tappler ◽

Masoumeh Taromirad

Keyword(s):

Model Learning ◽

Model Based ◽

Model Based Testing

Download Full-text

Machine Learning for Software Analysis: Models, Methods, and Applications

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_1 ◽

2018 ◽

pp. 3-49 ◽

Author(s):

Amel Bennaceur ◽

Karl Meinke

Keyword(s):

Machine Learning ◽

Software Analysis ◽

Analysis Models

Download Full-text

Active Automata Learning in Practice

Lecture Notes in Computer Science - Machine Learning for Dynamic Software Analysis: Potentials and Limits ◽

10.1007/978-3-319-96562-8_5 ◽

2018 ◽

pp. 123-148 ◽

Author(s):

Falk Howar ◽

Bernhard Steffen

Keyword(s):

Automata Learning

Download Full-text