E-LIB Suche - Ergebnisse für: Julliand, Jacques

1

How testing helps to diagnose proof failures:

Petiot, Guillaume ; Kosmatov, Nikolai ; Botella, Bernard..
Formal Aspects of Computing. 30 (2018) 6 - p. 629-657 , 2018

2

Tri-modal under-approximation for test generation:

Bride, Hadrien ; Julliand, Jacques ; Masson, Pierre-Alain
Science of Computer Programming. 132 (2016) - p. 190-208 , 2016

Link: https://doi.org/10.1016/..

3

A compositional automata-based semantics and preserving tra..:

Taha, Safouan ; Julliand, Jacques ; Dadeau, Frédéric..
Formal Aspects of Computing. 27 (2015) 4 - p. 641-664 , 2015

Link: https://doi.org/10.1007/..

4

Tri-modal under-approximation of event systems for test gen..:

, In: Proceedings of the 30th Annual ACM Symposium on Applied Computing,

Bride, Hadrien ; Julliand, Jacques ; Masson, Pierre-Alain - p. 1737-1744 , 2015

Link: https://dl.acm.org/doi/1..

5

Editorial for the special issue of STVR on tests and proofs..:

Brucker, Achim D. ; Julliand, Jacques
Software Testing, Verification and Reliability. 24 (2014) 7 - p. 497-498 , 2014

Link: https://doi.org/10.1002/..

6

Editorial for the special issue of STVR on tests and proofs..:

Brucker, Achim D. ; Julliand, Jacques
Software Testing, Verification and Reliability. 24 (2014) 8 - p. 591-592 , 2014

Link: https://doi.org/10.1002/..

7

Tests and Proofs

6th International Conference, TAP 2012, Prague, Czech Repub... Lecture Notes in Computer Science ; 7305;SpringerLink, Bücher

Brucker, Achim D. ; Julliand, Jacques , 2012

Link: https://doi.org/10.1007/..

8

Program slicing enhances a verification technique combining..:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

Chebaro, Omar ; Kosmatov, Nikolai ; Giorgetti, Alain. - p. 1284-1291 , 2012

Link: https://dl.acm.org/doi/1..

9

Generating tests from B specifications and dynamic selectio..:

Julliand, Jacques ; Masson, Pierre-Alain ; Tissot, Régis.
Formal Aspects of Computing. 23 (2011) 1 - p. 3-19 , 2011

Link: https://doi.org/10.1007/..

10

Scenario-based testing from UML/OCL behavioral models: Appl..:

Castillos, Kalou Cabrera ; Dadeau, Frédéric ; Julliand, Jacques
International Journal on Software Tools for Technology Transfer. 13 (2011) 5 - p. 431-448 , 2011

Link: https://doi.org/10.1007/..

11

Generating security tests in addition to functional tests:

, In: Proceedings of the 3rd international workshop on Automation of software test,

Julliand, Jacques ; Masson, Pierre-Alain ; Tissot, Regis - p. 41-44 , 2008

Link: https://dl.acm.org/doi/1..

12

Automatic generation of model based tests for a class of se..:

, In: Proceedings of the 3rd international workshop on Advances in model-based testing,

Masson, Pierre-Alain ; Julliand, Jacques ; Plessis, Jean-Chritophe.. - p. 12-22 , 2007

Link: https://dl.acm.org/doi/1..

13

B 2007: formal specification and development in B

7th International Conference of B Users, Besançon, France,... Lecture notes in computer science ; 4355

Julliand, Jacques ; Kouchnarenko, Olga , 2006

Link: http://dx.doi.org/10.100..

14

JML-based verification of liveness properties on a class in..:

, In: Proceedings of the 2006 conference on Specification and verification of component-based systems,

Groslambert, Julien ; Julliand, Jacques ; Kouchnarenko, Olga - p. 41-48 , 2006

Link: https://dl.acm.org/doi/1..

15

On the Contribution of a τ-simulation in the Incremental Mo..:

Bellegarde, Françoise ; Julliand, Jacques ; Mountassir, Hassan.
Electronic Notes in Theoretical Computer Science. 160 (2006) - p. 97-111 , 2006

Link: https://doi.org/10.1016/..