io-port.net - Advanced Search

Advanced query form:

Year:

Type:

Journal

Book

Article

Please fill in your query. A complete syntax description you will find on the General Help page.

first | previous | 1 | next | last

Result 1 to 5 from 5 total

io-port 05789184 Bessayah, Fayçal; Cavalli, Ana; Maja, Willian; Martins, Eliane; Valenti, Andre Willik

A fault injection tool for testing Web services composition. (English)

Bottaci, Leonardo (ed.) et al., Testing ‒ practice and research techniques. 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3‒5, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15584-0/pbk). Lecture Notes in Computer Science 6303, 137-146 (2010).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70556933 Bessayah, Fayçal; Cavalli, Ana R.

A formal passive testing approach for checking real time constraints (English)

QUATIC, 274-279 (2010).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70658401 Bessayah, Fayçal; Cavalli, Ana R.; Maja, Willian; Martins, Eliane; Valenti, Andre Willik

A fault injection tool for testing web services composition (English)

TAIC PART, 137-146 (2010).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70564810 Bessayah, Fayçal; Cavalli, Ana R.; Martins, Eliane

A formal approach for specification and verification of fault injection process (English)

Int. Conf. Interaction Sciences, 883-890 (2009).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70633607 Mallouli, Wissam; Bessayah, Fayçal; Cavalli, Ana R.; Benameur, Azzedine

Security rules specification and analysis based on passive testing (English)

GLOBECOM, 2078-2083 (2008).

PDF XML AMS-TeX TEXT BIBTeX DOI

first | previous | 1 | next | last

Result 1 to 5 from 5 total