Using Formal Specifications to Support Testing

RM Hierons; K Bogdanov; JP Bowen; R Cleaveland; J Derrick; J Dick; M Gheorghe; M Harman; K Kapoor; P Krause; G Luettgen; AJH Simons; S Vilkomir; MR Woodward; H Zedan

doi:10.1145/1459352.1459354

Back

Using Formal Specifications to Support Testing

Journal article

Peer reviewed

Using Formal Specifications to Support Testing

RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, M Harman, K Kapoor, P Krause, …

ACM COMPUTING SURVEYS, Vol.41(2), ARTN 9

01/01/2009

DOI: https://doi.org/10.1145/1459352.1459354

Abstract

Science & Technology

Technology

Computer Science

Theory & Methods

Computer Science

COMPUTER SCIENCE

THEORY & METHODS

Reliability

Verification

Software testing

formal methods

FINITE-STATE MACHINES

ERROR-DETECTION CAPABILITY

TEST SEQUENCE GENERATION

REAL-TIME SYSTEMS

MODEL CHECKING

ALGEBRAIC SPECIFICATIONS

RUNTIME VERIFICATION

HYBRID CONTROL

FAULT CLASSES

WP-METHOD

Files and links (1)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000263491800002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

28 Record Views

208 Times Cited - Web of Science

See more details

Details

Title: Using Formal Specifications to Support Testing
Creators: RM Hierons
K Bogdanov
JP Bowen
R Cleaveland
J Derrick
J Dick
M Gheorghe
M Harman
K Kapoor
P Krause
G Luettgen
AJH Simons
S Vilkomir
MR Woodward
H Zedan
Publication Details: ACM COMPUTING SURVEYS, Vol.41(2), ARTN 9
Publisher: ASSOC COMPUTING MACHINERY
Date published: 01/01/2009
Date submitted: 17/05/2017
Identifiers: 99513347702346
Academic Unit: University of Surrey
Language: English
Resource Type: Journal article

Using Formal Specifications to Support Testing

Abstract

Files and links (1)

Metrics

Details

Usage Policy