A parallel branch and bound algorithm for test generation

This publication has 14 references indexed in Scilit:

• Test generation in a parallel processing environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Advanced automatic test pattern generation and redundancy identification techniques
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Experimental evaluation of testability measures for test generation (logic circuits)
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Restricted and-Parallel Execution of Logic Programs
  Published by Springer Nature ,1988
• Parallel depth first search. Part I. Implementation
  International Journal of Parallel Programming, 1987
• Logic verification algorithms and their parallel implementation
  Published by Association for Computing Machinery (ACM) ,1987
• A topological search algorithm for ATPG
  Published by Association for Computing Machinery (ACM) ,1987
• Effectiveness of heuristics measures for automatic test pattern generation
  Published by Association for Computing Machinery (ACM) ,1986
• Multiprocessing of Combinatorial Search Problems
  Computer, 1985
• On the Acceleration of Test Generation Algorithms
  IEEE Transactions on Computers, 1983