Query-Driven Program Testing

DOI10.1007/978-3-540-93900-9_15MaRDI QIDQ3600472zbMATH OpenOpenAlexFDO

Authors Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith

Publication date 10 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-93900-9_15

Mathematics Subject Classification ID

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

Recommendations

• Abstraction-driven concolic testing
• Towards a framework for constraint-based test case generation
• A contribution to the theory of program testing
• Automatic construction of test sets: theoretical approach
• Do judge a test by its cover. Combining combinatorial and property-based testing

Cited in

(10)

• Formal Methods for Components and Objects
• Qex: symbolic SQL query explorer
• Closure properties and complexity of rational sets of regular languages
• Abstraction-driven concolic testing
• A Set-Covering Approach to Customized Coverage Instrumentation
• Incremental bounded model checking for embedded software
• scientific article; zbMATH DE number 5997244 (Why is no real title available?)
• Mutation-Based Test Case Generation for Simulink Models
• Quantitative projection coverage for testing ML-enabled autonomous systems
• Maximizing branch coverage with constrained Horn clauses

Describes a project that uses

Uses Software

• BLAST

This page was built for publication: Query-Driven Program Testing

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