Chantal Robach

Proceedings of the IFIP VLSI-SoC 2007, 2007

Qualification of behavioral level design validation for AMS & RF SoCs.

[BibT_eX]

[DOI]

Proceedings of the IFIP VLSI-SoC 2007, 2007

Implementation of a Design-for-Test Architecture for Asynchronous Networks-on-Chip.

[BibT_eX]

[DOI]

Proceedings of the First International Symposium on Networks-on-Chips, 2007

Functional Verification of RTL Designs driven by Mutation Testing metrics.

[BibT_eX]

[DOI]

Youssef Serrestou

Vincent Beroulle

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

2006

A DFT Architecture for Asynchronous Networks-on-Chip.

[BibT_eX]

[DOI]

Proceedings of the 11th European Test Symposium, 2006

Design-for-Test of Asynchronous Networks-on-Chip.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

How to Improve a Set of Design Validation Data by Using Mutation-based Test.

[BibT_eX]

[DOI]

Youssef Serrestou

Vincent Beroulle

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

Behavioral Modeling of WCDMA Transceiver with VHDL-AMS Language.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005

Mutation Sampling Technique for the Generation of Structural Test Data.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

2004

Testability Analysis of Data-Flow Software.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

A testability analysis for data-flow designs of reactive real-time systems.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003

From diagnosis to diagnosability: axiomatization, measurement and application.

[BibT_eX]

[DOI]

J. Syst. Softw., 2003

Analyse de la Testabilité des Logiciels Flots de Données Synchrones.

[BibT_eX]

[DOI]

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

Testability Analysis Applied to Embedded Data-flow Software.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Testing Criteria for Data Flow Software.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Diagnosis Strategies for Hardware or Software Systems.

[BibT_eX]

[DOI]

Franc Novak

J. Electron. Test., 2002

Testability Analysis for Software Components.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

System level diagnosis - a comparison of two alternative approaches.

[BibT_eX]

[DOI]

Proceedings of the 6th European Test Workshop, 2001

2000

Inserting Scan at the Behavioral Level.

[BibT_eX]

[DOI]

Hérvé Fleury

IEEE Des. Test Comput., 2000

Analyzing Testability on Data Flow Designs.

[BibT_eX]

[DOI]

Farid Ouabdesselam

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

A methodology for validating digital circuits with mutation testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

1999

From Design Validation to Hardware Testing: A Unified Approach.

[BibT_eX]

[DOI]

J. Electron. Test., 1999

An Experimental Comparison of Software Diagnosis Methods.

[BibT_eX]

[DOI]

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Performance Evaluation of Distributed Diagnosis Algorithms in Parallel Systems.

[BibT_eX]

[DOI]

Parallel Comput., 1998

An Implementation Approach of the IEEE 1149.1 for the Routing Test of a VLSI Massively Parallel Architecture.

[BibT_eX]

[DOI]

J. Electron. Test., 1998

Off-Line Diagnosis of Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Towards an automatic diagnosis for high-level design validation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1998, 1998

On-line testing of scalable signal processing architectures using a software test method.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1998, 1998

Software diagnosability.

[BibT_eX]

[DOI]

Farid Ouabdesselam

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1997

Impact of System Partitioning on Test Cost.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1997

Hardware Test: Can We Learn from Software Testing?

[BibT_eX]

[DOI]

Pascale Thévenod-Fosse

Proceedings of the 15th IEEE VLSI Test Symposium (VTS'97), 1997

Testability Measurements for Data Flow Designs.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997

Self-Healing Mechanisms in ATM Networks: The Role of Virtual Path Management Functions.

[BibT_eX]

[DOI]

Saloua Ben Yahia

Proceedings of the 1997 IEEE International Conference on Communications: Towards the Knowledge Millennium, 1997

Diagnosis and time-out based escalation strategies for ATM networks.

[BibT_eX]

[DOI]

Saloua Ben Yahia

Proceedings of the 23rd EUROMICRO Conference '97, 1997

Concurrent testing of VLSI digital signal processors using mutation based testing.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 1997

1996

System-Diagnosis of Cluster-Based Parallel Architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Testability-Oriented Hardware/Software Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

From Specification Validation to Hardware Testing: A Unified Method.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Considering Test Economics in the Process of Hardware/Software Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 22rd EUROMICRO Conference '96, 1996

On the Adequacy of Deriving Hardware Test Data from the Behavioral Specification.

[BibT_eX]

[DOI]

Proceedings of the 22rd EUROMICRO Conference '96, 1996

Performance Evaluation of Testing Strategies in Parallel Systems.

[BibT_eX]

[DOI]

F. Chevassu

B. Remy

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

Host-Diagnosis of Parallel Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

A Diagnosis Strategy for Cluster-Based Parallel Architectures.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

From Hardware to Software Testability.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1995, 1995

A Routing Testing of a VLSI Massively Parallel Machine Based on IEEE 1149.1.

[BibT_eX]

[DOI]

A. Marinescu

Proceedings of the Proceedings IEEE International Test Conference 1995, 1995

Towards a unified approach to the testability of co-designed systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Testability analysis of co-designed systems.

[BibT_eX]

[DOI]

Proceedings of the 4th Asian Test Symposium (ATS '95), 1995

Distributed off-line testing of parallel systems.

[BibT_eX]

[DOI]

Proceedings of the 4th Asian Test Symposium (ATS '95), 1995

1994

Distributed validation of massively parallel machines.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Parallel Architectures, 1994

Fault-Tolerant Routing Algorithms for a Massively Parallel Machine.

[BibT_eX]

[DOI]

Guy Mazaré

Proceedings of the 1994 International Conference on Parallel Processing, 1994

Design and Test of a Massively Parallel Architecture.

[BibT_eX]

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

1993

Memory testing in a massively parallel machine.

[BibT_eX]

[DOI]

Guy Mazaré

Microprocess. Microprogramming, 1993

Functional Testing and Reconfiguration of MIMD Machines.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993

1989

Knowledge-based functional specification of test and maintenance programs.

[BibT_eX]

[DOI]

Daniel Lutoff

Nouar Garcia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

1988

Testability measures: A Review.

[BibT_eX]

S. Guibert

Comput. Syst. Sci. Eng., 1988

1984

CATA: A Computer-Aided Test Analysis System.

[BibT_eX]

[DOI]

Philippe Malecha

Gilles Michel

IEEE Des. Test, 1984

1983

Computer Aided Testability Evaluation and Test Generation.

[BibT_eX]

Ch. Malecha

Gilles Michel

Proceedings of the Proceedings International Test Conference 1983, 1983

1979

Test et testabilité de systèmes informatiques.

[BibT_eX]

[DOI]

, 1979

1978

Dynamic Testing of Control Units.

[BibT_eX]

[DOI]

Gabriele Saucier

IEEE Trans. Computers, 1978

1976

Processor Testability and Design Consequences.

[BibT_eX]

[DOI]

Gabriele Saucier

J. Lebrun

IEEE Trans. Computers, 1976

1975

Méthodologie de test de processeurs : impacts sur la conception.

[BibT_eX]

[DOI]

PhD thesis, 1975

Diversified Test Methods for Local Control Units.

[BibT_eX]

[DOI]