License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.6.4.161
URN: urn:nbn:de:0030-drops-66954
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/6695/
Go back to Dagstuhl Reports


Bennaceur, Amel ; Giannakopoulou, Dimitra ; Hähnle, Reiner ; Meinke, Karl
Weitere Beteiligte (Hrsg. etc.): Amel Bennaceur and Dimitra Giannakopoulou and Reiner Hähnle and Karl Meinke

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)

pdf-format:
dagrep_v006_i004_p161_s16172.pdf (0.9 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 16172 "Machine Learning for Dynamic Software Analysis: Potentials and Limits". Machine learning is a powerful paradigm for software analysis that provides novel approaches to automating the generation of models and other essential artefacts. This Dagstuhl Seminar brought together top researchers active in the fields of machine learning and software analysis to have a better understanding of the synergies between these fields and suggest new directions and collaborations for future research.

BibTeX - Entry

@Article{bennaceur_et_al:DR:2016:6695,
  author =	{Amel Bennaceur and Dimitra Giannakopoulou and Reiner H{\"a}hnle and Karl Meinke},
  title =	{{Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)}},
  pages =	{161--173},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{4},
  editor =	{Amel Bennaceur and Dimitra Giannakopoulou and Reiner H{\"a}hnle and Karl Meinke},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6695},
  URN =		{urn:nbn:de:0030-drops-66954},
  doi =		{10.4230/DagRep.6.4.161},
  annote =	{Keywords: Machine learning, Automata learning, Software analysis, Dynamic analysis, Testing, Model extraction, Systems integration}
}

Keywords: Machine learning, Automata learning, Software analysis, Dynamic analysis, Testing, Model extraction, Systems integration
Collection: Dagstuhl Reports, Volume 6, Issue 4
Issue Date: 2016
Date of publication: 17.10.2016


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI