A Formal Approach to ObjectOriented Software Testing and Complexity Measurement with Z
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 20 , 3 ; 147-158
1998-01-01
12 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
SAE Technical Papers | 2017
|British Library Conference Proceedings | 2017
|Multi-level software testing based on cyclomatic complexity
Tema Archive | 1989
|Validation of Control Software by Search-Based Testing Using Formal Methods
SAE Technical Papers | 2016
|Formal System Specification and Testing of Critical Real-time Vehicle Control Software
British Library Conference Proceedings | 1994
|