Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
AvAmel Bennaceur,Reiner Hähnle
Häftad, Engelska, 2018
Del 11026 i serien Lecture Notes in Computer Science
644 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. These require new software analysis techniques based on machine learning, such as learning-based software testing, invariant generation or code synthesis.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 1462
Dependable Computing - EDCC 2021 Workshops
Rasmus Adler, Amel Bennaceur, Simon Burton, Amleto Di Salle, Nicola Nostro, Rasmus Løvenstein Olsen, Selma Saidi, Philipp Schleiss, Daniel Schneider, Hans-Peter Schwefel
Häftad, 2021
556 kr
Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Häftad, 1996
556 kr
Principles of Declarative Programming
Catuscia Palamidessi, Hugh Glaser, Karl Meinke
Häftad, 1998
556 kr
Del 13361
Del 15834
Service-Oriented Computing – ICSOC 2024 Workshops
Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima
Häftad, 2025
881 kr
Del 15833
Service-Oriented Computing – ICSOC 2024 Workshops
Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima
Häftad, 2025
1 764 kr
Higher-Order Algebra, Logic, and Term Rewriting
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
Häftad, 1994
556 kr