Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("PROGRAM TEST")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 714

  • Page / 29
Export

Selection :

  • and

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

TESTING FOR PERTURBATIONS OF PROGRAM STATEMENTSZEIL SJ.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 335-346; BIBL. 18 REF.Article

RELIABILITY THEORY OF PROGRAM TESTINGHAMLET R.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 1; PP. 31-43; BIBL. 9 REF.Article

SOFTWARE DEVELOPMENT AND TESTING IN AN INTEGRATED PROGRAMMING ENVIRONMENTDEGANO P; LEVI G.1981; COMPUTER PROGRAM TESTING: SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 251-263; BIBL. 36 REF.Conference Paper

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

AN ENGINEERING APPROACH TO SOFTWARE TEST DATA DESIGNREDWINE ST JR.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 2; PP. 191-200; BIBL. 27 REF.Article

DETECTING INITIALIZATION BIAS IN SIMULATION OUTPUT = DETECTION DU BIAIS D'INITIALISATION DANS LE RESULTAT DE SIMULATIONSCHRUBEN LW.1982; OPER. RES.; ISSN 0030-364X; USA; DA. 1982; VOL. 30; NO 3; PP. 569-590; BIBL. 15 REF.Article

THE SOFTEST PROGRAM TEST SYSTEMMAJOROS M; SNEED HM.1981; JOURNAL OF SYSTEMS AND SOFTWARE; ISSN 0164-1212; USA; DA. 1981 PUBL. 1982; VOL. 2; NO 4; PP. 289-296; BIBL. 25 REF.Article

PROGRAMMTESTUNG - THEORIE UND PRAXIS = TEST DE PROGRAMME. THEORIE ET PRATIQUESEELING W.1981; WISS. Z. HUMBOLDT-UNIV. BERL., MATH.; ISSN 0522-9863; DDR; DA. 1981; VOL. 30; NO 5; PP. 437-443; BIBL. 24 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

DIE WIRTSCHAFTLICHE ANWENDUNG ERFORDERT IMMER BESSERE SOFTWARE = LES BESOINS D'UNE APPLICATION ECONOMIQUE POUR UN LOGICIEL CONTINUELLEMENT AMELIOREOBELODE G; WINDFUHR M; ZIOLKOWSKI W et al.1982; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1982; VOL. 24; NO 2; PP. 90-95; ABS. ENG; BIBL. 3 REF.Article

COMPUTER PROGRAM TESTING: AN INTRODUCTIONZWEBEN SH.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 3-12; BIBL. 23 REF.Conference Paper

INTERPROCEDURAL TEST PATH EVOLUTIONCELENTANO A; DELLA VIGNA P.1981; COMPUT. LANG.; ISSN 0096-0551; USA; DA. 1981; VOL. 6; NO 3-4; PP. 115-130; BIBL. 17 REF.Article

A METHOD FOR EVALUATING SOFTWARE DEVELOPMENT TECHNIQUESPANZL DJ.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 133-137Article

A STRATEGY FOR INTEGRATING PROGRAM TESTING AND ANALYSISOSTERWEIL L.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 187-229; BIBL. 2 P.Conference Paper

INSTRUMENTING PROGRAMS FOR SYMBOLIC-TRACE GENERATIONHUANG JC.1980; COMPUTER; ISSN 0018-9162; USA; DA. 1980; VOL. 13; NO 12; PP. 17-23Article

SOFTWARE QUALITY ASSURANCE: TESTING AND VALIDATIONGOODENOUGH JB; MCGOWAN CL.1980; PROC. IEEE; ISSN 0018-9219; USA; DA. 1980; VOL. 68; NO 9; PP. 1093-1098; BIBL. 36 REF.Article

SOFTWARE TESTINGHARTWICK RD.1980; ADV. COMPUT. PROGRAM. MANAGE.; USA; DA. 1980; VOL. 1; PP. 187-205; BIBL. 10 REF.Article

VALIDATION, VERIFICATION, AND TESTING FOR THE INDIVIDUAL PROGRAMMERBRANSTAD MA; CHERNIAVSKY JC; ADRION WR et al.1980; NATION. BUR. STAND., SPEC. PUBL.; USA; DA. 1980; 500-56; 22 P.; BIBL. 11 REF.Article

AN EVALUATION OF THE EFFECTIVENESS OF SYMBOLIC TESTINGHOWDEN WE.1978; SOFTWARE-PRACT. EXPER.; GBR; DA. 1978; VOL. 8; NO 4; PP. 381-397; BIBL. 29 REF.Article

SOFTWARE TESTING IN SUPPORT OF WORLDWIDE MILITARY COMMAND AND CONTROL SYSTEM ADPPAINTER JA.1977; COMPSAC 77. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 1/1977-11-08/CHICAGO; USA; NEW YORK: IEEE; DA. 1977; 316-320Conference Paper

  • Page / 29