Structural Statistical Software Testing with Active Learning in a Graph

DOI10.1007/978-3-540-78469-2_9MaRDI QIDQ5452080zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 5734815
• 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

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 2243374 (Why is no real title available?)
• A calculus for the random generation of labelled combinatorial structures
• Approximate satisfiability and equivalence
• Automata, Languages and Programming
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Finite-time analysis of the multiarmed bandit problem
• Languages as hyperplanes: grammatical inference with string kernels

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

Describes a project that uses

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)