Structural Statistical Software Testing with Active Learning in a Graph

DOI10.1007/978-3-540-78469-2_9zbMATH Open1136.68358OpenAlexW1507793640MaRDI QIDQ5452080FDOQ5452080

Authors: 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

Recommendations

• scientific article
• An efficient method to generate feasible paths for basis path testing
• A theory for control-flow graph exploration
• A structural test selection criterion
• Effective test data generation using probabilistic networks

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)

Cites Work

• Title not available (Why is that?)
• Finite-time analysis of the multiarmed bandit problem
• Approximate satisfiability and equivalence
• A calculus for the random generation of labelled combinatorial structures
• Languages as hyperplanes: grammatical inference with string kernels
• Title not available (Why is that?)
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Automata, Languages and Programming

Cited In (3)

• A theory for control-flow graph exploration
• Test data engineering. Latent rank analysis, biclustering, and Bayesian network
• The flowing nature matters: feature learning from the control flow graph of source code for bug localization

Uses Software

• DART

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452080)