Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference57 articles.
1. M. Abadi and L. Lamport, ?Composing specifications.? ACM Transactions on Programming Languages and Systems, vol. 15, no. 1, pp. 73?132, January 1993.
2. E. W. Adams, Probability and the logic of conditionals. In Hintikka and Suppes, editors, Aspects of Inductive Logic, pp. 265?316. North-Holland, 1966.
3. W. R. Adrion, M.A. Branstad, and J. C. Cherniavsky, ?Validation, verification and testing of computer software.? Computing Surveys, ACM, vol. 14, no. 2, pp. 159?192, June 1982.
4. J. Alilovic-Curgus and S. T. Vuong, A metric based theory of test selection and coverage. In Proceedings of the IFIP WG 6.I Twelfth International Symposium on Protocol Specification, Testing, and Verification, 1993. North-Holland, 1993.
5. F. B. Bastani, ?On the uncertainty in the correctness of computer programs.? IEEE Transactions on Software Engineering, vol. SE-11, no. 9, pp. 857?864, September 1985.