Title :
Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering
Keywords :
program testing; program verification; programming theory; software metrics; software performance evaluation; software quality; software reliability; software tools; environments; formal software methods; modelling; program testing; software metrics; software quality; software reliability engineering; software tools;
Conference_Titel :
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on
Conference_Location :
Monterey, CA, USA
Print_ISBN :
0-8186-6665-X
DOI :
10.1109/ISSRE.1994.341331