An Optimization of the TorX Test Generation Algorithm

Share/Save/Bookmark

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

open access
[img]
Preview
PDF
87kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/70500
Organisation URL:http://www.xootic.org
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 121923