1. Ammann, P., & Black, P. E. (1999). Abstracting Formal Specifications to Generate Software Tests via Model Checking. IEEE 18th Digital Avionics Systems Conference, 2(10), 1-10.
2. Bell, K. Z. (2006). Optimizing Effectiveness and Efficiency of Software Testing: a Hybrid Approach. PhD Dissertation, North Carolina State University.
3. The density algorithm for pairwise interaction testing
4. A Density-Based Greedy Algorithm for Higher Strength Covering Arrays.;R.Bryce;Journal of Software Testing, Verification, and Reliability
5. Burr, K., & Young, W. (1998). Combinatorial test techniques: Table-based automation, test generation, and code coverage. International Conference on Software Testing Analysis and Review (pp. 503-513).