System-level fault modeling and test pattern generation with process algebras

This publication has 19 references indexed in Scilit:

• Synthesis and simulation of digital systems containing interacting hardware and software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Increasing fault coverage for synchronous sequential circuits by the multiple observation time test strategy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient implementation of a BDD package
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An approach to sequential circuit diagnosis based on formal verification techniques
  Journal of Electronic Testing, 1993
• Translating system specifications to VHDL
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1991
• A unified high-level Petri net formalism for time-critical systems
  IEEE Transactions on Software Engineering, 1991
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Test Generation for Microprocessors
  IEEE Transactions on Computers, 1980