Test-design through abstraction: A systematic approach based on the refinement calculus
type: Item
instance of: scholarly article
zbMATH Open document ID: 0988.68024
author: Bernhard K. Aichering
publication date: 2002-01-07T00:00:00Z
full work available at URL: test design through abstraction
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1668947
zbMATH Keywords: testing
zbMATH Keywords: test-case generation
zbMATH Keywords: formal methods
MaRDI profile type: Publication
Recommended article: Abstraction-driven Concolic Testing
Recommended article: Q2764003
Recommended article: A formal abstract framework for modelling and testing complex software systems
Recommended article: Q4493891
Recommended article: An approach to test synthesis from higher level
Recommended article: Q2771764
Recommended article: Abstraction and testing in CSP
title: Test-design through abstraction: A systematic approach based on the refinement calculus
published in: Journal of Universal Computer Science
description: scientific article; zbMATH DE number 1668947