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

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

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

Some negative results concerning prime number generatorsPRITCHARD, P.Communications of the ACM. 1984, Vol 27, Num 1, pp 53-57, issn 0001-0782Article

Reducing the cost of object boxingOWEN, Tim; WATSON, Des.Lecture notes in computer science. 2004, pp 202-216, issn 0302-9743, isbn 3-540-21297-3, 15 p.Conference Paper

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

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

Radio frequency compatibility design & testing on the polar platform spacecraftMILLER, J. A; HORNE, A. R.IEE conference publication. 1997, pp 35-40, issn 0537-9989, isbn 0-85296-695-4Conference Paper

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

Das AGFW-Wärmezähler-Prüfprogramm = The AGFW-heat-meter-test-programKRÖHNER, P.Euroheat & power. 1998, pp 38-49, issn 0949-166X, 9 p., Y.BOOKArticle

Systèmes à base de règles pour la génération assistée de programme de test de cartes = Rule-based systems for assisted production of board test programsCRASTES DE PAULET, M; KARAM, M; SAUCIER, G et al.Onde électrique. 1988, Vol 68, Num 6, pp 67-74, issn 0030-2430Article

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

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

Software-based diagnosis for processorsLI CHEN; DEY, Sujit.Design automation conference. 2002, pp 259-262, isbn 1-58113-461-4, 4 p.Conference Paper

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

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

PROGRAMS THAT TEST THEMSELVESMEYER, Bertrand; FIVA, Arno; CIUPA, Ilinca et al.Computer (Long Beach, CA). 2009, Vol 42, Num 9, pp 46-55, issn 0018-9162, 10 p.Article

Functions that have read-twice constant width branching programs are not necessarily testableFISCHER, Eldar; NEWMAN, Ilan.Proceedings - IEEE Conference on Computational Complexity. 2002, pp 73-79, issn 1093-0159, isbn 0-7695-1468-5, 7 p.Conference Paper