Structural Statistical Software Testing with Active Learning in a Graph
From MaRDI portal
Publication:5452080
DOI10.1007/978-3-540-78469-2_9zbMath1136.68358MaRDI 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
Disjunctive Version Space; Machine Learning Application to Computer Science; Structural Statistical Software Testing; Structured Active Learning; Structured Sampling
Uses Software
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