Behavioral test generation using mixed integer nonlinear programming

This publication has 13 references indexed in Scilit:

• ARTEST: AN ARCHITECTURAL LEVEL TEST GENERATOR FOR DATA PATH FAULTS AND CONTROL FAULTS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Test generation for highly sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• CONTEST: a concurrent test generator for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic test knowledge extraction from VHDL (ATKET)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• HITEC: a test generation package for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Verilog® Hardware Description Language
  Published by Springer Nature ,1991
• Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
  Published by Springer Nature ,1990
• Graph Theory with Applications
  Published by Springer Nature ,1976
• Methodology for the Generation of Program Test Data
  IEEE Transactions on Computers, 1975
• A new approach to program testing
  Published by Association for Computing Machinery (ACM) ,1975