𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model generation for quantified formulas with application to test data generation

✍ Scribed by Christoph D. Gladisch

Book ID
113053819
Publisher
Springer
Year
2012
Tongue
English
Weight
705 KB
Volume
14
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Automated test data generation for progr
Automated test data generation for programs with procedures
✍ Korel, Bogdan πŸ“‚ Article πŸ“… 1996 πŸ› Association for Computing Machinery βš– 700 KB

Test data generation in program testing is the process of identifying a set of test data that satisfies a selected testing criterion, such as, statement coverage or branch coverage. The existing methods of test data generation are limited to unit testing and may not efficiently generate test data fo

Application of generalized linear models
Application of generalized linear models to the analysis of toxicity test data
✍ A. Maul πŸ“‚ Article πŸ“… 1992 πŸ› Springer 🌐 English βš– 454 KB

Generalized linear models give a unified approach to the performance of regression analysis of dichotomous, count or continuous data. This paper studies binomial, negative binomial and gamma regression models and gives a detailed description of inference procedures based on them. In particular, the