Two-dimensional approximation coverage

MaRDI QIDQ2702100zbMATH OpenFDO

Authors Jörg Harm, Ralf Lämmel

Publication date 12 March 2001

Published in Informatica (Ljubljana) (Search for Journal in Brave)

zbMATH Keywords

approximation coveragefirst-order declarative programs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• On testing answer-set programs
• Probabilistic testing coverage
• Controllable Combinatorial Coverage in Grammar-Based Testing
• scientific article; zbMATH DE number 1418465
• scientific article; zbMATH DE number 2080058

Cited in

(3)

• Using abstract models for the generation of test data with a complex structure
• Generation of positive and negative tests for parsers
• Automated Generation of Positive and Negative Tests for Parsers

This page was built for publication: Two-dimensional approximation coverage

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