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

A TEST DATA SYNTHESIZER FOR TELEPHONE COMPANY ACCOUNTING OFFICE PROCESSING OF CALL DATACOVINGTON WO JR; WEXELBLAT RL.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 6; PP. 505-516; BIBL. 4 REF.Article

SOFTWARE DESIGN TESTABILITY ANALYSISYIN BH.1981; HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES. 14/1981/HONOLULU HI; USA; S.L.: WESTERN PERIODICALS; DA. 1981; PP. 66-73; BIBL. 8 REF.Conference Paper

A DOMAIN STRATEGY FOR COMPUTER PROGRAM TESTINGWHITE LJ; COHEN EI.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 247-257; BIBL. 13 REF.Article

ERROR DETECTION USING PATH TESTING AND STATIC ANALYSISGANNON C.1979; COMPUTER; USA; DA. 1979; VOL. 12; NO 8; PP. 26-31; BIBL. 10 REF.Article

A CRITICAL REVIEW OF COMPARISONS OF MATHEMATICAL PROGRAMMING ALGORITHMS AND SOFTWARE (1953-1977)JACKSON RHF; MULVEY JM.1978; J. RES. NATION. BUR. STAND.; USA; DA. 1978; VOL. 83; NO 6; PP. 563-584; BIBL. 7 REF.Article

AN ANALYTICAL APPROACH TO SOFTWARE TESTINGPAIGE MR.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 527-532; BIBL. 5 REF.Conference Paper

SOFTWARE TEST MANAGEMENTMULLIN FJ.1977; COMPSAC 77. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 1/1977-11-08/CHICAGO; USA; NEW YORK: IEEE; DA. 1977; 321-326; BIBL. 7 REF.Conference Paper

PROGETTAZIONE PRODUZIONE E MANUTENZIONE DI TESTS PER IL CONTROLLO DI QUALITA' DEL SOFTWARE: UN METODO CON RELATIVI STRUMENTI = MISE EN PROJET, PRODUCTION ET MAINTENANCE DES TESTS POUR LE CONTROLE DE QUALITE DU LOGICIEL: UNE METHODE A INSTRUMENTS RELATIFSCERIANI M; CICU A; MAIOCCHI M et al.sdAICA '79. ASSOCIAZIONE ITALIANA PER IL CACOLO AUTOMATICO. CONGRESSO/1979/BARI; ITA; BARI: UNIVERSITA DEGLI STUDI; DA. S.D.; VOL. 2; PP. 26-35; ABS. ENG; BIBL. 3 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