1. Beizer, B., Software Testing Techniques, Second Edition, Van Nostrand Reinhold, New York, 1990.
2. Bertolino, A., Unconstrained Edges and Their Application to Branch Analysis and Testing of Programs, Journal of Systems and Software, 20 (2), 125–133 (1993).
3. Bertolino, A. and Marrè, M., Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer:Programs, IEEE Trans. on Software Engineering,20(12), 885899 (1994).
4. Bertolino, A. and Marrè, M., How many paths are needed for branch testing?, to appear on The Journal of Systems and Software (1995).
5. Lavenberg, S.S., Computer Performance Modelling Handbook, Academic Press, New York, 1983.