ON TESTING NON-TESTABLE PROGRAMSWEYUKER EJ.1982; COMPUTER JOURNAL; ISSN 0010-4620; GBR; DA. 1982; VOL. 25; NO 4; PP. 465-470; BIBL. 20 REF.Article

STRUMENTI PER IL TESTING DEI PRODOTTI SOFTWARE = OUTILS POUR LE TEST DES PRODUITS LOGICIELSTERREVOLI G.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 2; PP. 145-176; ABS. ENG; BIBL. 75 REF.Article

ON DATA FLOW GUIDED PROGRAM TESTINGLASKI J.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 9; PP. 62-71; BIBL. 22 REF.Article

TWO NOTIONS OF CORRECTNESS AND THEIR RELATION TO TESTINGBUDD TA; ANGLUIN D.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 1; PP. 31-45; BIBL. 33 REF.Article

EXPERIENCE WITH PATH ANALYSIS AND TESTING OF PROGRAMSWOODWARD MR; HEDLEY D; HENNELL MA et al.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 278-286; BIBL. 15 REF.Article

EXPERIENCE WITH AUTOMATED TESTING ANALYSISHOLTHOUSE MA; HATCH MJ.1979; COMPUTER; USA; DA. 1979; VOL. 12; NO 8; PP. 33-36; BIBL. 8 REF.Article

AN APPROACH TO SOFTWARE TESTING: METHODOLOGY AND TOOLSBATE RR; LIGLER GT.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 476-480; BIBL. 17 REF.Conference Paper

COMMUNICATION MANAGEMENT PROGRAM TEST AND EVALUATION SYSTEM FOR DCNA NETWORK TESTING (COMTES-1)MASHIO M; IDEGUCHI S; KATSUMATA M et al.1982; REVIEW OF THE ELECTRICAL COMMUNICATION LABORATORIES; ISSN 508535; JPN; DA. 1982; VOL. 30; NO 6; PP. 1055-1065; BIBL. 8 REF.Article

ERRORS, DESIGN PROPERTIES AND FUNCTIONAL PROGRAM TESTSHOWDEN WE.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 115-127; BIBL. 35 REF.Conference Paper

MUTATION ANALYSIS: IDEAS, EXAMPLES, PROBLEMS AND PROSPECTSBUDD TA.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 129-148; BIBL. 48 REF.Conference Paper

A DOMAIN STRATEGY FOR COMPUTER PROGRAM TESTINGWHITE LJ; COHEN EI; ZEIL SJ et al.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 103-113; BIBL. 8 REF.Conference Paper

FUNCTIONAL PROGRAM TESTINGHOWDEN WE.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 2; PP. 162-169; BIBL. 19 REF.Article

ON PROGRAM TESTING ISSUES IN SOFTWARE RELIABILITY: A SURVEYSOI IM.1980; MICROELECTRON. RELIAB.; ISSN 0026-2714; GBR; DA. 1980; VOL. 20; NO 4; PP. 483-488; BIBL. 30 REF.Article

THEORIES OF PROGRAM TESTING AND THE APPLICATION OF REVEALING SUBDOMAINSWEYUKER EJ; OSTRAND TJ.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 236-246; BIBL. 13 REF.Article

SIMUL 4, EIN SIMULATOR ZUM ENTWICKELN UND TESTEN VON SMS-PARALLELRECHNERPROGRAMMEN = SIMUL 4: UN SIMULATEUR POUR DEVELOPPER ET TESTER LES PROGRAMMES PARALLELES SMSHORNEBER EH.1980; SIEMENS FORSCH.- U. ENTWICKL.-BER.; DEU; DA. 1980; VOL. 9; NO 1; PP. 8-10; BIBL. 8 REF.Article

RANDOM TESTING MAY BE BETTER THAN YOU THINKDURAN JW; WIORKOWSKI JJ.1979; SYSTEM SOFTWARE AND PROGRAMMING LANGUAGES. TEXAS CONFERENCE ON COMPUTING SYSTEMS. 8/1979/DALLAS TX; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1979; PP. 6B.6-6B.7; BIBL. 3 REF.Conference Paper

JAVS: A JOVIAL AUTOMATED VERIFICATION SYSTEMGANNON C.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 539-544Conference Paper

FUNCTIONS OF MATRICES; A SET OF MATRICES FOR TESTING COMPUTER PROGRAMSFILIPPONI P.1977; RIC. DI AUTOMAT.; ITA; DA. 1977; VOL. 8; NO 2-3; PP. 210-216; BIBL. 6 REF.Article

CRITERI PER L'ORGANIZZAZIONE E GESTIONE DEL TESTING DEI PROGRAMI: UN' ESPERIENZA E UNA POSSIBLE GENERALIZZAZIONE = CRITERES POUR L'ORGANISATION ET LA GESTION DES TESTS DE PROGRAMMES: UNE EXPERIENCE ET UNE GENERALISATION POSSIBLEFOUILLOUZE O; LANZARONE GA; SCRIGNARO D et al.sdAICA '79. ASSOCIAZIONE ITALIANA PER IL CALCOLO AUTOMATICO. CONGRESSO/1979/BARI; ITA; BARI: UNIVERSITA DEGLI STUDI; DA. S.D.; VOL. 2; PP. 59-70; ABS. ENG; BIBL. 13 REF.Conference Paper

IMPLEMENTING A COMPILER-BASED TEST TOOLMCMULLIN PR; GANNON JD; WEISER MD et al.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 971-979; BIBL. 6 REF.Article

PLANNING FOR SOFTWARE VALIDATION, VERIFICATION AND TESTINGPOWELL PB ED.1982; SPECIAL PUBLICATION-NATIONAL BUREAU OF STANDARDS; ISSN 0083-1883; USA; DA. 1982; 500-98; IX-78 P.; BIBL. 2 P.Serial Issue

SOFTWARE TESTING, SEMINAR NO 308, JUNE 8-10, 1982HUANG JC ED.1982; SOFTWARE TESTING. SEMINAR/1982-06-08; DEU; BERLIN: AMK; DA. 1982; 143 P.; 30 CM; ICC BERLIN: SEMINAR; 308Conference Proceedings

HARD-TO-USE EVALUATION CRITERIA FOR SOFTWARE ENGINEERINGHAMLET R.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 89-96; BIBL. 15 REF.Article

THE USE OF SOFTWARE SIMULATORS IN THE TESTING AND DEBUGGING OF MICROPROGRAM LOGICMYERS GJ; HOCKER DG.1981; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1981; VOL. 30; NO 7; PP. 519-523; BIBL. 14 REF.Article

A METHODOLOGY FOR ACCURATE SOFTWARE TEST SPECIFICATION AND AUDITINGCERIANI M; CICU A; MAIOCCHI M et al.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 301-325; BIBL. 10 REF.Conference Paper