kw.\*:("Program test")
Results 1 to 25 of 714
Selection :
Essais et programmes d'essais sur les emballages de transport = Test and testing programs on the transport packagingMARCEL, Hervé.Techniques de l'ingénieur. L'Entreprise industrielle. 2002, Vol AGL1, Num AG6290, pp AG6290.1-AG6290.16, issn 1282-9072Article
Outil de test pour microprocesseur 8085 Intel = Test tool for 8085 INTEL microprocessorDU CHAFFAUT, G; GAUDEFFROY, D; MADANI, A et al.1984, 30 p.Report
Theory of program testing ― An overviewPRATHER, R. E.The Bell System technical journal. 1983, Vol 62, Num 10, pp 3073-3105, issn 0005-8580Article
A formal notion of program-based test data adequacyDAVIS, M. D; WEYUKER, E. J.Information and control. 1983, Vol 56, Num 1-2, pp 52-71, issn 0019-9958Article
Extending testability for automated refactoringWALTER, Bartosz.Lecture notes in computer science. 2003, pp 429-430, issn 0302-9743, isbn 3-540-40215-2, 2 p.Conference Paper
An evaluation of random testingDURAN, J. W; NTAFOS, S. C.IEEE transactions on software engineering. 1984, Vol 10, Num 4, pp 438-444, issn 0098-5589Article
Some negative results concerning prime number generatorsPRITCHARD, P.Communications of the ACM. 1984, Vol 27, Num 1, pp 53-57, issn 0001-0782Article
Identifying error-perone software. An empirical studySHEN, V. Y; TZE-JIE YU; THEBAUT, S. M et al.IEEE transactions on software engineering. 1985, Vol 11, Num 4, pp 317-324, issn 0098-5589Article
Selecting software test data using data flow informationRAPPS, S; WEYUKER, E. J.IEEE transactions on software engineering. 1985, Vol 11, Num 4, pp 367-375, issn 0098-5589Article
An approach to the modeling of software testing with some applicationsDOWNS, T.IEEE transactions on software engineering. 1985, Vol 11, Num 4, pp 375-386, issn 0098-5589Article
Rapport de la mission effectuée aux USA/Canada sur la validation des protocoles et la mise au point des logiciels, mars 1983 = Protocols validation and solftware debuggingJARD, C.1983, 15 p.Report
Developement and application of a white box approach to integration testingHALEY, A; ZWEBEN, S.The Journal of systems and software. 1984, Vol 4, Num 4, pp 309-315, issn 0164-1212Article
Testing proofs by examplesHAYASHI, S; SUMITOMO, R.Lecture notes in computer science. 1998, pp 1-3, issn 0302-9743, isbn 3-540-65388-0Conference Paper
Constraints for safe partition testing strategiesTSONG YUEH CHEN; YUEN TAK YU.Computer journal (Print). 1996, Vol 39, Num 7, pp 619-625, issn 0010-4620Article
SEES. A software testing environment support systemROUSSOPOULOS, N; YEH, R. T.IEEE transactions on software engineering. 1985, Vol 11, Num 4, pp 355-366, issn 0098-5589Article
Comparison checking : An approach to avoid debugging of optimized codeJARAMILLO, C; GUPTA, R; SOFFA, M. L et al.Lecture notes in computer science. 1999, pp 268-284, issn 0302-9743, isbn 3-540-66538-2Conference Paper
Conformance testing for computer graphics standardsKIRSCH, B; PFLUÊGER, C; EGELHAAF, C et al.Computer standards & interfaces. 1991, Vol 12, Num 1, pp 35-42, issn 0920-5489, 8 p.Article
On required element testingNTAFOS, S. C.IEEE transactions on software engineering. 1984, Vol 10, Num 6, pp 795-803, issn 0098-5589Article
Evaluation of new software engineering methodologiesSCOTTO, Marco.Lecture notes in computer science. 2003, pp 447-448, issn 0302-9743, isbn 3-540-40215-2, 2 p.Conference Paper
A more general sufficient condition for partition testing to be better than random testingCHEN, T. Y; YU, Y. T.Information processing letters. 1996, Vol 57, Num 3, pp 145-149, issn 0020-0190Article
Dividing strategies for the optimization of a test suiteTSONG YUEH CHEN; MAN FAI LAU.Information processing letters. 1996, Vol 60, Num 3, pp 135-141, issn 0020-0190Article
Menuet: un atelier de production de tests de systèmes = Menuet: a production workshop of systems testsLOUDETTE, A; MARTIN, M; TAMAGNAN, P et al.Commutation & transmission. 1995, Vol 17, Num 2, pp 69-78, issn 0242-1283Article
A methodology for test selectionLE, J. A. N; XUDONG HE.The Journal of systems and software. 1990, Vol 13, Num 3, pp 177-185, issn 0164-1212, 9 p.Article
Etude et réalisation d'un testeur de logiciel pour microcontrôleur : contribution à la mise en sécurité d'un système microprogrammeMahmalgi, Ammar; Gabillard, Robert.1987, 152 p.Thesis
On legal path problems in digraphsHEUNG-SOON IHM; NTAFOS, S. C.Information processing letters. 1984, Vol 18, Num 2, pp 93-98, issn 0020-0190Article