COMBINING TESTING WITH FORMAL SPECIFICATIONS - A CASE-STUDY

被引：7

作者：

MCMULLIN, PR ^{[1
]}

GANNON, JD ^{[1
]}

机构：

[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1983年 / 9卷 / 03期

关键词：

D O I：

10.1109/TSE.1983.236869

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：328 / 335

页数：8

共 50 条

[21] Verification criterion directed testing for formal specifications
Zeng, XM
Tsai, JJP
Weigert, TJ
SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 393 - 399
[22] TESTING AGAINST FORMAL SPECIFICATIONS - A THEORETICAL VIEW
BERNOT, G
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 99 - 119
[23] Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques
van der Meer, A. P.
Kherrazi, R.
Hamilton, M.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (141): : 1 - 13
[24] INTEGRATING A FORMAL SPECIFICATION METHOD WITH PML - A CASE-STUDY
SA, J
WARBOYS, B
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 635 : 106 - 122
[25] TESTING FOR HIGH RELIABILITY - CASE-STUDY
MCDONALD, JC
COMPUTER, 1976, 9 (02) : 18 - 21
[26] Formal theory and case-study methods in EU studies
Pahre, R
EUROPEAN UNION POLITICS, 2005, 6 (01) : 113 - 145
[27] WRITING AND FORMAL OPERATIONS - CASE-STUDY AMONG VAI
GOODY, J
COLE, M
SCRIBNER, S
AFRICA, 1977, 47 (03): : 289 - 304
[28] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
LAI, R
SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
[29] Combining formal and machine learning techniques for the generation of JML specifications
2021, Association for Computing Machinery, Inc
[30] Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Puccetti, Armand
de Chalendar, Gael
Gibello, Pierre-Yves
PROCEEDINGS OF THE 23RD ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP '21), 2021, : 59 - 64

← 1 2 3 4 5 →