Query-Driven Program Testing

DOI10.1007/978-3-540-93900-9_15zbMath1206.68089OpenAlexW1841818470MaRDI QIDQ3600472

Christian Schallhart, Michael Tautschnig, Helmut Veith, Andreas Holzer

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

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

Related Items (3)

Incremental bounded model checking for embedded software ⋮ Closure properties and complexity of rational sets of regular languages ⋮ Mutation-Based Test Case Generation for Simulink Models

Uses Software

• BLAST

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