✦ LIBER ✦

A formal notion of program-based test data adequacy

✍ Scribed by Martin D. Davis; Elaine J. Weyuker

Book ID: 114037673
Publisher: Elsevier Science
Year: 1983
Weight: 836 KB
Volume: 56
Category: Article
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(83)80050-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Test data generation based on a formal a

Test data generation based on a formal analysis of the project configuration data

✍ A. V. Bataev; A. A. Davydov; N. Yu. Nalutin; S. V. Sinitsyn 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 291 KB

A formal analysis of the subsume relatio

A formal analysis of the subsume relation between software test adequacy criteria

✍ Hong Zhu 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 844 KB

An ASM-based Formal Model of a Java Prog

An ASM-based Formal Model of a Java Program

✍ A. Zamulin 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 86 KB

Selection and Evaluation of Test Data Ba

Selection and Evaluation of Test Data Based on Genetic Programming

✍ MariaClaudia F. P. Emer; SilviaRegina Vergilio 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 187 KB

A uniform formal description of data bas

A uniform formal description of data base management systems

✍ Frank Steyer 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 779 KB

A PROPHET-based laboratory data entry an

A PROPHET-based laboratory data entry and data-base management system for the Environmental Mutagenesis Test Development Program

✍ Richard M. Rowley; Errol Zeiger; Channing Russell 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 636 KB

Each year hundreds of compounds are tested by the Environmental Mutagenesis Test Development Program (EMTDP) of the National Institute of Environmental Health Sciences National Toxicology Program for their ability to induce mutations and other genetic effects in bacteria, cultured mammalian cells, a