A methodology for test selection
- 30 November 1990
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 13 (3) , 177-185
- https://doi.org/10.1016/0164-1212(90)90093-2
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A functional approach to program testing and analysisIEEE Transactions on Software Engineering, 1986
- Orthogonal Latin squares: an application of experiment design to compiler testingCommunications of the ACM, 1985
- Theory of Program Testing-An OverviewBell System Technical Journal, 1983
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Testing large software with automated software evaluation systemsIEEE Transactions on Software Engineering, 1975
- Set Covering by Single-Branch Enumeration with Linear-Programming SubproblemsOperations Research, 1971
- An Additive Algorithm for Solving Linear Programs with Zero-One VariablesOperations Research, 1965
- An Automatic Method of Solving Discrete Programming ProblemsEconometrica, 1960
- Outline of an algorithm for integer solutions to linear programsBulletin of the American Mathematical Society, 1958