Experimenting with the probabilistic TorX

N. Goga

Experimenting with the probabilistic TorX

N. Goga

Research output: Contribution to conference › Paper › peer-review

2 Downloads (Pure)

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.

Original language	Undefined
Pages	13-20
Number of pages	8
Publication status	Published - 2003
Event	Software Engineering for High Assurance Systems (SEHAS '03) - Portland, Oregon, USA Duration: 9 May 2003 → 10 May 2003

Workshop

Workshop	Software Engineering for High Assurance Systems (SEHAS '03)
Period	9/05/03 → 10/05/03
Other	9-10 May 2003

Keywords

FMT-TESTING
IR-63327
EWI-6534

Access to Document

Cite this

@conference{f3ccabae40e849db894d02b59d36e2c9,

title = "Experimenting with the probabilistic TorX",

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.",

keywords = "FMT-TESTING, IR-63327, EWI-6534",

author = "N. Goga",

year = "2003",

language = "Undefined",

pages = "13--20",

note = "Software Engineering for High Assurance Systems (SEHAS '03) ; Conference date: 09-05-2003 Through 10-05-2003",

}

TY - CONF

T1 - Experimenting with the probabilistic TorX

AU - Goga, N.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - FMT-TESTING

KW - IR-63327

KW - EWI-6534

M3 - Paper

SP - 13

EP - 20

T2 - Software Engineering for High Assurance Systems (SEHAS '03)

Y2 - 9 May 2003 through 10 May 2003

ER -