University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Using Formal Specifications to Support Testing

Hierons, RM, Bogdanov, K, Bowen, JP, Cleaveland, R, Derrick, J, Dick, J, Gheorghe, M, Harman, M, Kapoor, K, Krause, P , Luettgen, G, Simons, AJH, Vilkomir, S, Woodward, MR and Zedan, H (2009) Using Formal Specifications to Support Testing ACM COMPUTING SURVEYS, 41 (2), ARTN 9.

Full text not available from this repository.
Item Type: Article
Authors :
NameEmailORCID
Hierons, RMUNSPECIFIEDUNSPECIFIED
Bogdanov, KUNSPECIFIEDUNSPECIFIED
Bowen, JPUNSPECIFIEDUNSPECIFIED
Cleaveland, RUNSPECIFIEDUNSPECIFIED
Derrick, JUNSPECIFIEDUNSPECIFIED
Dick, JUNSPECIFIEDUNSPECIFIED
Gheorghe, MUNSPECIFIEDUNSPECIFIED
Harman, MUNSPECIFIEDUNSPECIFIED
Kapoor, KUNSPECIFIEDUNSPECIFIED
Krause, Pp.krause@surrey.ac.ukUNSPECIFIED
Luettgen, GUNSPECIFIEDUNSPECIFIED
Simons, AJHUNSPECIFIEDUNSPECIFIED
Vilkomir, SUNSPECIFIEDUNSPECIFIED
Woodward, MRUNSPECIFIEDUNSPECIFIED
Zedan, HUNSPECIFIEDUNSPECIFIED
Date : 1 January 2009
Identification Number : 10.1145/1459352.1459354
Uncontrolled Keywords : 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
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 17 May 2017 10:58
Last Modified : 17 May 2017 14:53
URI: http://epubs.surrey.ac.uk/id/eprint/829516

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800