A random testing approach using pushdown automata

DOI10.1007/978-3-642-21768-5_10MaRDI QIDQ3012968zbMATH OpenOpenAlexFDO

Authors Catherine Masson, Pierre-Cyrille Héam

Publication date 7 July 2011

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01088712/file/STVR-Hal.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Communication mechanism designed for distributed intrusion detection system
• Random generation and enumeration of accessible deterministic real-time pushdown automata
• Concolic testing in logic programming
• Towards a framework for constraint-based test case generation
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

Cites work

• scientific article; zbMATH DE number 1693521 (Why is no real title available?)
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• A sentence generator for testing parsers
• Analytic combinatorics
• Controllable Combinatorial Coverage in Grammar-Based Testing
• FM 2005: Formal Methods
• Introduction to Software Testing
• Random generation of words in an algebraic language in linear binary space
• Uniform Random Generation of Strings in a Context-Free Language
• Uniform random generation of decomposable structures using floating-point arithmetic

Cited in

(1)

• Communication mechanism designed for distributed intrusion detection system

Describes a project that uses

Uses Software

• Geno
• SpecExplorer
• GenRGenS
• DART

This page was built for publication: A random testing approach using pushdown automata

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