An Optimization of the TorX Test Generation Algorithm


Goga, Nicolae (2000) An Optimization of the TorX Test Generation Algorithm. Xootic Magazine, 8 (2). pp. 15-21.

open access
Abstract:In this paper we will discuss the process of automatic test derivation from formal specification. The process will be illustrated in the TORX algorithm. We will present an optimization of TORX. The extension of the algorithm with explicit probabilities leads to improvements in the tests generated with respect to the chances of finding errors in the implementation.
Item Type:Article
Copyright:© 2000 Xootic Alumni Association
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Organisation URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 121923