Experimenting with the probabilistic TorX

Share/Save/Bookmark

Goga, N. (2003) Experimenting with the probabilistic TorX. In: Software Engineering for High Assurance Systems (SEHAS '03), 9-10 May 2003, Portland, Oregon, USA (pp. pp. 13-20).

[img] PDF
Restricted to UT campus only
: Request a copy
116kB
Abstract:In [4] we proposed a generalization of the TorX test derivation algorithm with probabilities. This paper extends the theoretical work from [4], by presenting experimental results obtained with the probabilistic TorX. The experiment with the Conference Protocol case study confirms that 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:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/63327
Official URL:http://www.sei.cmu.edu/community/sehas-workshop/sehas-proceedings.pdf
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page