The foundations of program verification
The foundations of program verification
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Certifying the reliability of software
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
Lectures on statistical inference
Lectures on statistical inference
Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Information Processing Letters
Algorithmic information theory
Algorithmic information theory
Theories of computational complexity
Theories of computational complexity
Software—Practice & Experience
Evaluation of safety-critical software
Communications of the ACM
Introduction to algorithms
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Kolmogorov complexity and its applications
Handbook of theoretical computer science (vol. A)
On the Use of Transcendentals for Program Testing
Journal of the ACM (JACM)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Social processes and proofs of theorems and programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
The Art of Computer Programming Volumes 1-3 Boxed Set
The Art of Computer Programming Volumes 1-3 Boxed Set
A Discipline of Programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ICSE '81 Proceedings of the 5th international conference on Software engineering
Testing for software reliability
Proceedings of the international conference on Reliable software
Re-estimation of software reliability after maintenance
ICSE '97 Proceedings of the 19th international conference on Software engineering
Hi-index | 0.00 |