A Combined Testing and Verification Approach for Software Reliability

This publication has 8 references indexed in Scilit:

• From Play-In Scenarios to Code: An Achievable Dream
  Published by Springer Nature ,2000
• Performance Based Redundancy Resolution With Multiple Criteria
  Published by ASME International ,1998
• Aspect
  ACM Transactions on Software Engineering and Methodology, 1995
• Characterizing correctness properties of parallel programs using fixpoints
  Published by Springer Nature ,1980
• Communicating sequential processes
  Communications of the ACM, 1978
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• An axiomatic basis for computer programming
  Communications of the ACM, 1969