STTE/EF-2000 typhoon new generation of automatic test bench (STTEs) for eurofighter's avionic unitsTORDESILLAS, Javier; MUNOZ, Fernando.IEEE instrumentation & measurement magazine. 2007, Vol 10, Num 4, pp 15-19, issn 1094-6969, 5 p.Conference Paper

Computing the minimum DNF representation of Boolean functions defined by intervalsSCHIEBER, Baruch; GEIST, Daniel; ZAKS, Ayal et al.Discrete applied mathematics. 2005, Vol 149, Num 1-3, pp 154-173, issn 0166-218X, 20 p.Article

Unit testing using design by contract and equivalence partitionsMADSEN, Per.Lecture notes in computer science. 2003, pp 425-426, issn 0302-9743, isbn 3-540-40215-2, 2 p.Conference Paper

A strategy for using genetic algorithms to automate branch and fault-based testingJONES, B. F; EYRES, D. E; STHAMER, H.-H et al.Computer journal (Print). 1998, Vol 41, Num 2, pp 98-107, issn 0010-4620Article

Test de spécifications de services de télécommunication = Testing formal telecommunication feature specificationsZuanon, Nicolas; Ouabdesselam, Farid.2000, 214 p.Thesis

Reducing the number of specified values per test vector by increasing the test set sizePOMERANZ, I; REDDY, S. M.IEE proceedings. Computers and digital techniques. 2006, Vol 153, Num 1, pp 39-46, issn 1350-2387, 8 p.Article

Theory and practice of automatic design constraint generationBHADRA, J.IEE proceedings. Computers and digital techniques. 2006, Vol 153, Num 1, pp 9-19, issn 1350-2387, 11 p.Article

An automatic test data generation system based on the integrated classification-tree methodologyCAIN, Andrew; TSONG YUEH CHEN; GRANT, Doug et al.Lecture notes in computer science. 2004, pp 225-238, issn 0302-9743, isbn 3-540-21975-7, 14 p.Conference Paper

Using model checking to generate tests from requirements specificationsGARGANTINI, A; HEITMEYER, C.Lecture notes in computer science. 1999, pp 146-162, issn 0302-9743, isbn 3-540-66538-2Conference Paper

A tabu search algorithm for structural software testing : Search-based software engineeringDIAZ, Eugenia; TUYA, Javier; BLANCO, Raquel et al.Computers & operations research. 2008, Vol 35, Num 10, pp 3052-3072, issn 0305-0548, 21 p.Article

Grammar-based Whitebox FuzzingGODEFROID, Patrice; KIEZUN, Adam; LEVIN, Michael Y et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 206-215, issn 1523-2867, 10 p.Conference Paper

Efficient identification of crosstalk induced slowdown targetsBREUER, Melvin A; GUPTA, Sandeep K; NAZARIAN, Shahin et al.Asian test symposium. 2004, pp 124-131, isbn 0-7695-2235-1, 1Vol, 8 p.Conference Paper

Automatic testing of real-time systemsNIELSEN, Brian.Modeling and verification of parallel processes. Summer school. 2001, pp 3-43, 41 p.Conference Paper

Development of lexico-grammar resources for natural language generation (experience from AGILE project)STAYKOVA, Kamenka; DOCHEV, Danail.Lecture notes in computer science. 2000, pp 242-251, issn 0302-9743, isbn 3-540-41044-9Conference Paper

Fast fault translationVINNAKOTA, B; ANDREWS, J.IEEE transactions on very large scale integration (VLSI) systems. 1998, Vol 6, Num 1, pp 122-133, issn 1063-8210Article

Design for hierarchical testability of RTL circuits obtained by behavioral synthesisGHOSH, I; RAGHUNATHAN, A; JHA, N. K et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1997, Vol 16, Num 9, pp 1001-1014, issn 0278-0070Article

Self-initializing memory elementsBAPIRAJU VINNAKOTA; RAMESH HARJANI.IEEE transactions on circuits and systems. 2, Analog and digital signal processing. 1995, Vol 42, Num 7, pp 461-472, issn 1057-7130Article

Application of two test generation tools to an industrial case studyCAVALLI, Ana; MAAG, Stephane; MALLOULI, Wissam et al.Lecture notes in computer science. 2006, pp 134-148, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

An optimized DFT and test pattern generation strategy for an intel high performance microprocessorWU, David M; MIKE LIN; REDDY, Madhukar et al.International Test Conference. 2004, pp 38-47, isbn 0-7803-8580-2, 1Vol, 10 p.Conference Paper

ALAPTF : A new transition fault model and the ATPG algorithmGUPTA, Puncet; HSIAO, Michael S.International Test Conference. 2004, pp 1053-1060, isbn 0-7803-8580-2, 1Vol, 8 p.Conference Paper

Mise en oeuvre du profil de test d'UML et élaboration de jeux de test exécutables = Implementation of UML test profile and generation of test setLEBLANC, Philippe; GUEVEL, Jean-Marc.Génie logiciel (1995). 2003, Num 67, pp 37-41, issn 1265-1397, 5 p.Article

Identifying invalid states for sequential circuit test generationLIANG, H.-C; CHUNG LEN LEE; CHEN, J. E et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1997, Vol 16, Num 9, pp 1025-1033, issn 0278-0070Article

Net integrity checking by optical localization techniquesHALLER, G; MACHOUAT, A; LEWIS, D et al.Microelectronics and reliability. 2009, Vol 49, Num 9-11, pp 1175-1181, issn 0026-2714, 7 p.Conference Paper

Automatic test generation for N-way combinatorial testingCHANGHAI NIE; BAOWEN XU; LIANG SHI et al.Lecture notes in computer science. 2005, pp 203-211, issn 0302-9743, isbn 3-540-29033-8, 1Vol, 9 p.Conference Paper

Knowledge assessment in intelligent e-learning environmentsCRISTEA, P. D; RODICA ILEANA TUDUCE; AURORA RODICA TUDUCE et al.International conference on signals and electronic systems. 2005, pp 573-576, isbn 83-906074-7-6, 1Vol, 4 p.Conference Paper