首页>外文会议>其他>International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis

International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Constraint-Based Behavioral Consistency of Evolving Software Systems

机译：基于约束的发展软件系统的行为一致性
- 作者：Reiner Hahnle;Bernhard Steffen
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
2.Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016

机译：实践中的主动自动机学习2011年至2016年的注释书目
- 作者：Falk Howar;Bernhard Steffen
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
3.Extending Automata Learning to Extended Finite State Machines

机译：扩展自动机学习以扩展有限状态机
- 作者：Sofia Cassel;Falk Howar;Bengt Jonsson;Bernhard Steffen
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
4.Machine Learning for Software Analysis: Models, Methods, and Applications

机译：软件分析机器学习：模型，方法和应用
- 作者：Amel Bennaceur;Karl Meinke
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
- Machine learning;
- Software engineering;
5.Logic-Based Learning: Theory and Application

机译：基于逻辑的学习：理论与应用
- 作者：Dalal Alrajeh;Alessandra Russo
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
6.Inferring FSM Models of Systems Without Reset

机译：推断系统的系统的FSM型号而无需重置
- 作者：Roland Groz;Adenilso Simao;Alexandre Petrenko;Catherine Oriat
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
7.Learning-Based Testing: Recent Progress and Future Prospects

机译：基于学习的测试：最近的进展和未来的前景
- 作者：Karl Meinke
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
8.Testing Functional Black-Box Programs Without a Specification

机译：在没有规格的情况下测试功能型黑匣子程序
- 作者：Neil Walkinshaw
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年
9.Model Learning and Model-Based Testing

机译：模型学习与基于模型的测试
- 作者：Bernhard K. Aichernig;Wojciech Mostowski;Mohammad Reza Mousavi;Martin Tappler;Masoumeh Taromirad
- 会议名称：《International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis》 | 2018年