A comparison of data flow testing criteria based on a program model (Japanese)
- New search for: Hirota, T.
- New search for: Hirota, T.
In:
Transactions of the Information Processing Society of Japan
;
34
, 11
;
2233-2241
;
1993
-
ISSN:
- Article (Journal) / Print
-
Title:A comparison of data flow testing criteria based on a program model
-
Additional title:Ein Vergleich von Datenfluß-Testkriterien basierend auf einem Programm-Modell
Titel japanisch -
Contributors:Hirota, T. ( author )
-
Published in:Transactions of the Information Processing Society of Japan ; 34, 11 ; 2233-2241
-
Publisher:
-
Publication date:1993
-
Size:9 Seiten, 18 Quellen
-
ISSN:
-
Coden:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:Japanese
-
Keywords:
-
Source:
Table of contents – Volume 34, Issue 11
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 2213
-
Modeling cooperative development process and prototyping a monitor/navigation systemIida, H. / Mimura, K. / Inoue, K. / Torii, K. et al. | 1993
- 2223
-
Definition of the test-case for concurrent programs and prototype of test-case generation systemKatayama, T. / Komoda, T. / Furukawa, Z. / Ushijima, K. et al. | 1993
- 2233
-
A comparison of data flow testing criteria based on a program modelHirota, T. et al. | 1993
- 2242
-
A verification procedure for algebraic specifications by Metis-ASOhsuga, A. / Sakai, K. / Honiden, S. et al. | 1993
- 2265
-
Layout design aid system for a block copy by understanding a hand-written layout planning diagramShirasaki, A. / Minoh, M. / Ikeda, K. et al. | 1993
- 2277
-
A neural network for recognizing translated and rotated patternsSuzaki, K. / Araya, S. / Nakamura, R. et al. | 1993
- 2282
-
A handwritten compound-word string input system using a knowledge-integrated character segmentation methodOguro, M. / Mizugaki, A. / Nakamura, O. / Kitamura, T. et al. | 1993
- 2289
-
Parallelization of character extraction and recognition from Japanese printed documentsKaneda, Y. / Fujisawa, K. et al. | 1993
- 2302
-
Development of the hypermedia-based CAI system for programming education with exercise support facilityHaga, H. / Kojima, H. et al. | 1993
- 2313
-
Solid modelling education at Department of Information ScienceShimada, Shizuo / Kondo, Kunio / Sato, Hisashi / Kuroda, Akihiro et al. | 1993
- 2344
-
A scenario generator based on knowledge processingYasunobu, C. / Hashimoto, K. / Nishimatsu, M. / Yamada, H. et al. | 1993
- 2370
-
A proposal of LSI design environment based on simulator compiler and shell breadboardHirai, C. / Hayashi, S. et al. | 1993
- 2386
-
An inter-procedural unification optimization without any global program analysis in PROLOGKakizaki, K. et al. | 1993
- 2395
-
On the copying garbage collector which preserves the generated orderKoide, H. / Noshita, K. et al. | 1993
- 2401
-
Extension of critical slice and formulation of verification-by-divisionShimomuras, T. et al. | 1993
- 2421
-
A distributed simulator for distributed algorithmsHirota, N. / Umemoto, H. / Aibara, R. / Yamashita, M. / Ae, T. et al. | 1993