Testing can be formal, too

DOI10.1007/3-540-59293-8_188MaRDI QIDQ5096726zbMATH OpenOpenAlexFDO

Authors Marie-Claude Gaudel

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_188

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1706341
• A contribution to the theory of program testing
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1696911
• scientific article; zbMATH DE number 1617313

Cites work

• A contribution to the theory of program testing
• A Mathematical Framework for the Investigation of Testing
• Observational implementation of algebraic specifications
• On observational equivalence and algebraic specification
• Partial abstract types

Cited in

(39)

• A contribution to the theory of program testing
• Testing algebraic data types and processes: A unifying theory
• Passive testing with asynchronous communications and timestamps
• Test specification based on trace description
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Formalization of a test experiment. II
• Timed implementation relations for the distributed test architecture
• Introducing complexity to formal testing
• Testing against a non-controllable stream X-machine using state counting
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Removing redundant refusals: minimal complete test suites for failure trace semantics
• scientific article; zbMATH DE number 1696911 (Why is no real title available?)
• scientific article; zbMATH DE number 1706341 (Why is no real title available?)
• Generation of complete test suites from Mealy input/output transition systems
• A formal notion of program-based test data adequacy
• Mockingbird: A logical methodology for testing
• Specification directed module testing
• Theory of Program Testing-An Overview
• scientific article; zbMATH DE number 1973979 (Why is no real title available?)
• On theorem prover-based testing
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• scientific article; zbMATH DE number 2090130 (Why is no real title available?)
• Complete model-based equivalence class testing for nondeterministic systems
• Automatic Testing from Formal Specifications
• White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
• Formal Approaches to Software Testing
• Goodbye ioco
• Proof-guided test selection from first-order specifications with equality
• Applying formal verification to an open-source real-time operating system
• Integrating testing and interactive theorem proving
• The best of both worlds: model-driven engineering meets model-based testing
• Complete FSM testing using strong separability
• Reactive model-based testing of cyclic systems
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• Formalizing and testing the consistency of DSL transformations
• Formalization of test experiments
• Checking experiments for stream X-machines

This page was built for publication: Testing can be formal, too

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