A Formal Approach to ObjectOriented Software Testing and Complexity Measurement with Z
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 20 , 3 ; 147-158
01.01.1998
12 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2017
|SAE Technical Papers | 2017
|Multi-level software testing based on cyclomatic complexity
Tema Archiv | 1989
|Validation of Control Software by Search-Based Testing Using Formal Methods
British Library Conference Proceedings | 2016
|Validation of Control Software by Search-Based Testing Using Formal Methods
SAE Technical Papers | 2016
|