Back to University of Twente portal
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.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 85Kb |
| 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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 121923