A METHOD FOR TEST-CASE GENERATION.HUANG JC; YEH RT.1975; IN: U.S.A.-JAP. COMPUT. CONF. 2. PROC.; TOKYO; 1975; MONTVALE; AM. FED. INF. PROCESS. SOC.; DA. 1975; PP. 585-589; BIBL. 6 REF.Conference Paper

SPECIFYING SOFTWARE REQUIREMENTSYEH RT; ZAVE P.1980; PROC. IEEE; ISSN 0018-9219; USA; DA. 1980; VOL. 68; NO 9; PP. 1077-1085; BIBL. 37 REF.Article

STRUCTURAL LOCKING FOR CONCURRENCY CONTROL IN DATA BASE SYSTEMSSUKHO LEE; YEH RT.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 578-582; BIBL. 15 REF.Conference Paper

STRONG VERIFICATION OF PROGRAMS.BASU SK; YEH RT.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 339-346; BIBL. 13 REF.Article

ON THE DESIGN OF ELEMENTARY DISTRIBUTED SYSTEMSYEH RT; MANI CHANDY K.1979; COMPUTER NETWORKS; NLD; DA. 1979; VOL. 3; NO 1; PP. 24-35; BIBL. 13 REF.Article

A MULTI-LEVEL APPROACH TO DATA BASE DESIGNYEH RT; CHANG P; MOHAN C et al.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 370-375; BIBL. 16 REF.Conference Paper