Companies Home Search Profile

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... (Lecture Notes in Computer Science, 11026)

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... (Lecture Notes in Computer Science, 11026)

Download pdf

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... (Lecture Notes in Computer Science, 11026)

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... (Lecture Notes in Computer Science, 11026)

Category

Machine Learning

Artificial Intelligence

Author

Amel Bennaceur

Reiner Hähnle

Karl Meinke

Publication

Springer

0 View

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software systems. These require new software analysis techniques based on machine learning, such as learning-based software testing, invariant generation or code synthesis. Machine learning is a powerful paradigm that provides novel approaches to automating the generation of models and other essential software artifacts. This volume originates from a Dagstuhl Seminar entitled "Machine Learning for Dynamic Software Analysis: Potentials and Limits held in April 2016. The seminar focused on fostering a spirit of collaboration in order to share insights and to expand and strengthen the cross-fertilisation between the machine learning and software analysis communities. The book provides an overview of the machine learning techniques that can be used for software analysis and presents example applications of their use. Besides an introductory chapter, the book is structured into three parts: testing and learning, extension of automata learning, and integrative approaches.

'

Download pdf

ISBN-10

3319965611

ISBN-13

978-3319965611

Publisher

Springer

Price

59.91

File Type

PDF

Page No.

266

Amel Bennaceur

Reiner Hähnle

Karl Meinke

Similar Books

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases (Studies in Computational Intelligence Book 1023)

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases (Studies in Computational Intelligence Book 1023)

Victor Chang

Machine Learning

Machine Learning and Non-volatile Memories

Machine Learning and Non-volatile Memories

Rino Micheloni

Machine Learning

Artificial Intelligence/Machine Learning in Nuclear Medicine and Hybrid Imaging

Artificial Intelligence/Machine Learning in Nuclear Medicine and Hybrid Imaging

Patrick Veit-Haibach

Machine Learning

Machine Learning for Networking: 4th International Conference, MLN 2021, Virtual Event, December 1–3, 2021, Proceedings (Lecture Notes in Computer Science Book 13175)

Machine Learning for Networking: 4th International Conference, MLN 2021, Virtual Event, December 1–3, 2021, Proceedings (Lecture Notes in Computer Science Book 13175)

Paul Mühlethaler

Machine Learning

Machine Learning for Smart Environments/Cities: An IoT Approach (Intelligent Systems Reference Library Book 121)

Machine Learning for Smart Environments/Cities: An IoT Approach (Intelligent Systems Reference Library Book 121)

Goncalo Marques

Internet Of Things

Modern Approaches in Machine Learning & Cognitive Science: A Walkthrough (Studies in Computational Intelligence Book 1027)

Modern Approaches in Machine Learning & Cognitive Science: A Walkthrough (Studies in Computational Intelligence Book 1027)

Vinit Kumar Gunjan

Machine Learning

Machine Learning for Text

Machine Learning for Text

Charu C. Aggarwal

Machine Learning

A Few Things I Know About Her: A Personally Machine Learning Inspired Approach to Understand Surrounding Nature (Intelligent Systems Reference Library, 219)

A Few Things I Know About Her: A Personally Machine Learning Inspired Approach to Understand Surrounding Nature (Intelligent Systems Reference Library, 219)

Bruno Apolloni

Machine Learning

Machine Learning for Embedded System Security

Machine Learning for Embedded System Security

Basel Halak

Machine Learning

Artificial Intelligence and Machine Learning: 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November ... Computer and Information Science Book 1530)

Artificial Intelligence and Machine Learning: 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November ... Computer and Information Science Book 1530)

Luis A. Leiva

Machine Learning

Machine Learning for Cyber Agents: Attack and Defence (Advanced Sciences and Technologies for Security Applications)

Machine Learning for Cyber Agents: Attack and Defence (Advanced Sciences and Technologies for Security Applications)

Stanislav Abaimov

Machine Learning

Advances in Neural Computation, Machine Learning, and Cognitive Research V: Selected Papers from the XXIII International Conference on Neuroinformatics, ... in Computational Intelligence Book 1008)

Advances in Neural Computation, Machine Learning, and Cognitive Research V: Selected Papers from the XXIII International Conference on Neuroinformatics, ... in Computational Intelligence Book 1008)

Boris Kryzhanovsky

Machine Learning

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases (Studies in Computational Intelligence Book 1023)

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases (Studies in Computational Intelligence Book 1023)

Victor Chang

Machine Learning

Applied Deep Learning: Tools, Techniques, and Implementation (Computational Intelligence Methods and Applications)

Applied Deep Learning: Tools, Techniques, and Implementation (Computational Intelligence Methods and Applications)

Paul Fergus

Artificial Intelligence

Intelligence - Theories and Applications

Intelligence - Theories and Applications

Rainer M. Holm-Hadulla

Artificial Intelligence

Regulation of Innovative Technologies: Blockchain, Artificial Intelligence and Quantum Computing

Regulation of Innovative Technologies: Blockchain, Artificial Intelligence and Quantum Computing

Rosario Girasa

Machine Learning and Non-volatile Memories

Machine Learning and Non-volatile Memories

Rino Micheloni

Machine Learning

Artificial Intelligence in Music, Sound, Art and Design: 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April ... Notes in Computer Science Book 13221)

Artificial Intelligence in Music, Sound, Art and Design: 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April ... Notes in Computer Science Book 13221)

Tiago Martins

Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20–22, 2022, Proceedings (Lecture Notes in Computer Science, 13205)

Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20–22, 2022, Proceedings (Lecture Notes in Computer Science, 13205)

Tassadit Bouadi

Artificial Intelligence

Artificial Intelligence/Machine Learning in Nuclear Medicine and Hybrid Imaging

Artificial Intelligence/Machine Learning in Nuclear Medicine and Hybrid Imaging

Patrick Veit-Haibach

Machine Learning

Security and Artificial Intelligence: A Crossdisciplinary Approach (Lecture Notes in Computer Science, 13049)

Security and Artificial Intelligence: A Crossdisciplinary Approach (Lecture Notes in Computer Science, 13049)

Lejla Batina

Artificial Intelligence

RoboCup 2021: Robot World Cup XXIV (Lecture Notes in Computer Science)

RoboCup 2021: Robot World Cup XXIV (Lecture Notes in Computer Science)

Oliver Obst

Artificial Intelligence

Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers (Lecture Notes in Computer Science Book 13206)

Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers (Lecture Notes in Computer Science Book 13206)

Aybüke Özgün

Artificial Intelligence

Advanced Artificial Intelligence and Robo-Justice

Advanced Artificial Intelligence and Robo-Justice

Georgios I. Zekos

Artificial Intelligence

Other Authors' Books

Other Publishing Books

Proceedings of International Conference on Sustainable Expert Systems: ICSES 2020 (Lecture Notes in Networks and Systems Book 176)

Proceedings of International Conference on Sustainable Expert Systems: ICSES 2020 (Lecture Notes in Networks and Systems Book 176)

Subarna Shakya

Coding Interview

Advances in Speech and Music Technology: Proceedings of FRSM 2020 (Advances in Intelligent Systems and Computing Book 1320)

Advances in Speech and Music Technology: Proceedings of FRSM 2020 (Advances in Intelligent Systems and Computing Book 1320)

Anupam Biswas

Emotional Intelligence

Expert Clouds and Applications: Proceedings of ICOECA 2022 (Lecture Notes in Networks and Systems, 444)

Expert Clouds and Applications: Proceedings of ICOECA 2022 (Lecture Notes in Networks and Systems, 444)

I. Jeena Jacob

Plant and Nanoparticles

Plant and Nanoparticles

Jen-Tsung Chen

Computational Intelligence for Water and Environmental Sciences (Studies in Computational Intelligence Book 1043)

Computational Intelligence for Water and Environmental Sciences (Studies in Computational Intelligence Book 1043)

Omid Bozorg-Haddad

Asiatic Water Buffalo: A Sustainable and Healthy Red Meat Source

Asiatic Water Buffalo: A Sustainable and Healthy Red Meat Source

Naveena B. Maheswarappa

Life Coach Training

Vapor Intrusion Simulations and Risk Assessments

Vapor Intrusion Simulations and Risk Assessments

Yijun Yao

Risk Management

Applied Computational Technologies: Proceedings of ICCET 2022 (Smart Innovation, Systems and Technologies Book 303)

Applied Computational Technologies: Proceedings of ICCET 2022 (Smart Innovation, Systems and Technologies Book 303)

Brijesh Iyer

Learning Technologies

Recent Advances in Civil Engineering: Select Proceedings of ERCAM 2021 (Lecture Notes in Civil Engineering Book 265)

Recent Advances in Civil Engineering: Select Proceedings of ERCAM 2021 (Lecture Notes in Civil Engineering Book 265)

G. Raghava

AutoCAD Civil 3D

AI and Blockchain Technology in 6G Wireless Network (Blockchain Technologies)

AI and Blockchain Technology in 6G Wireless Network (Blockchain Technologies)

Malaya Dutta Borah

Learning Technologies

Mathematical Models of Cell-Based Morphogenesis: Passive and Active Remodeling (Theoretical Biology)

Mathematical Models of Cell-Based Morphogenesis: Passive and Active Remodeling (Theoretical Biology)

Hisao Honda

Frontier Technologies in Bovine Reproduction

Frontier Technologies in Bovine Reproduction

A. Kumaresan

Learning Technologies

User Reviews

Log in first to post a comment

Rating

0

0

0

0

0

average 0

Total votes0