io-port.net

io-port 70101739 Escobedo, Jose Pablo; Gaston, Christophe; Le Gall, Pascale; Cavalli, Ana R.

Testing web service orchestrators in context: A symbolic approach (English)

SEFM, 257-267 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05624360 Escobedo, Jose Pablo; Gaston, Christophe; Le Gall, Pascale; Cavalli, Ana

Observability and controllability issues in conformance testing of web service compositions. (English)

Núñez, Manuel (ed.) et al., Testing of software and communication systems. 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-05030-5/pbk). Lecture Notes in Computer Science 5826, 217-222 (2009).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70376469 Escobedo, Jose Pablo; Gaston, Christophe; Le Gall, Pascale; Cavalli, Ana R.

Observability and controllability issues in conformance testing of web service compositions (English)

TestCom/FATES, 217-222 (2009).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70496323 Gaston, Christophe; Aiguier, Marc; Bahrami, Diane; Lapitre, Arnault

Symbolic execution techniques extended to systems (English)

ICSEA, 78-85 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05290771 Faivre, Alain; Gaston, Christophe; Le Gall, Pascale; Touil, Assia

Test purpose concretization through symbolic action refinement. (English)

Suzuki, Kenji (ed.) et al., Testing of software and communicating systems. 20th IFIP TC 6/WG 6.1 international conference, TestCom 2008 8th international workshop, FATES 2008 Tokyo, Japan, June 10‒13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68514-2/pbk). Lecture Notes in Computer Science 5047, 184-199 (2008).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70376606 Faivre, Alain; Gaston, Christophe; Le Gall, Pascale; Touil, Assia

Test purpose concretization through symbolic action refinement (English)

TestCom/FATES, 184-199 (2008).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05335802 Schneider, Adrian; Gonnet, Gaston; Cannarozzi, Gina

Synpam-A distance measure based on synonymous codon substitutions. (English)

IEEE/ACM Transactions on Computational Biology and Bioinformatics 04, No. 04, 553-560 (2007).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05293160 Faivre, Alain; Gaston, Christophe; Le Gall, Pascale

Symbolic model based testing for component oriented systems. (English)

Petrenko, Alexandre (ed.) et al., Testing of software and communicating systems. 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26‒29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73065-1/pbk). Lecture Notes in Computer Science 4581, 90-106 (2007).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70376755 Faivre, Alain; Gaston, Christophe; Le Gall, Pascale

Symbolic model based testing for component oriented systems (English)

TestCom/FATES, 90-106 (2007).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05148682 Gaston, Christophe; Le Gall, Pascale; Rapin, Nicolas; Touil, Assia

Symbolic execution techniques for test purpose definition. (English)

Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16‒18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 1-18 (2006).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70284406 Bigot, Céline; Faivre, Alain; Gaston, Christophe; Simon, Julien

Automatic test generation on a (U)SIM smart card (English)

CARDIS, 345-358 (2006).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70376592 Gaston, Christophe; Le Gall, Pascale; Rapin, Nicolas; Touil, Assia

Symbolic execution techniques for test purpose definition (English)

TestCom, 1-18 (2006).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70185394 Baudry, Benoit; Gaston, Christophe; Ghosh, Sudipto

Report on the $2^{nd}$ workshop on model development and validation - modeva (English)

MoDELS Satellite Events, 32-38 (2005).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70516239 Gaston, Charles A.

A better way to vote (English)

HICSS (2005).

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70353849 Gaston, Christophe; Seifert, Dirk

Evaluating coverage based testing (English)

Model-Based Testing of Reactive Systems, 293-322 (2004).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70082210 Aiguier, Marc; Gaston, Christophe; Le Gall, Pascale

Feature logics and refinement (English)

APSEC, 385- (2002).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02100581 Gaston, Christophe; Aiguier, Marc; Le Gall, Pascale

Algebraic treatment of feature-oriented systems. (English)

Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15‒16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 105-124 (2001).

17

PDF XML AMS-TeX TEXT BIBTeX