ABSTRACT: BACKGROUND: Universal HIV testing/treatment program has currently been suggested and debated as a useful strategy for elimination of HIV epidemic in Africa, although not without practical issues regarding the costs and feasibility of a fully implemented program. METHODS: A mathematical model is proposed which considers two levels of detection of HIV-infectives through contact tracing of known infectives in addition to detections through other means such as random screening. Simulations based on Cuban contact tracing data were performed to ascertain the potential impact of the different levels of contact tracing. RESULTS: Simulation studies illustrate that: (1) contact tracing is an important intervention measure which, while less effective than random screening, is perhaps less costly and hence ideal for large-scale intervention programs in developing countries with less resources; (2) the secondary level of contact tracing could significantly change the basic disease transmission dynamics, depending on the parameter values; (3) the prevalence of the epidemic at the time of implementation of contact tracing program might be a crucial factor in determining whether the measure will be effective in preventing disease infections and its eventual eradication. CONCLUSIONS: Our results indicate that contact tracing for detection of HIV infectives could be suitably used to remedy inadequacies in a universal HIV testing program when designing timely and effective intervention measures.