Debugging "level"

This publication has 5 references indexed in Scilit:

• An Operational Approach to Requirements Specification for Embedded Systems
  IEEE Transactions on Software Engineering, 1982
• Testing incomplete specifications of distributed systems
  Published by Association for Computing Machinery (ACM) ,1982
• Communicating sequential processes
  Communications of the ACM, 1978
• Testing Programs with the Aid of a Compiler
  IEEE Transactions on Software Engineering, 1977
• The UNIX time-sharing system
  Communications of the ACM, 1974