Structural Statistical Software Testing with Active Learning in a Graph

DOI10.1007/978-3-540-78469-2_9zbMath1136.68358OpenAlexW1507793640MaRDI QIDQ5452080

Nicolas Baskiotis, Michèle Sebag

Publication date: 28 March 2008

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00171162/file/ilpS4T.pdf

zbMATH Keywords

Disjunctive Version SpaceMachine Learning Application to Computer ScienceStructural Statistical Software TestingStructured Active LearningStructured Sampling

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of software (68N99)

Uses Software

• DART

Cites Work

• Unnamed Item
• Unnamed Item
• Languages as hyperplanes: grammatical inference with string kernels
• A calculus for the random generation of labelled combinatorial structures
• Approximate Satisfiability and Equivalence
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Automata, Languages and Programming
• Finite-time analysis of the multiarmed bandit problem

This page was built for publication: Structural Statistical Software Testing with Active Learning in a Graph