Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Patrice Laurençot"'
Publikováno v:
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015, 612, 2016, Studies in Computational Intelligence (SCI)
Studies in Computational Intelligence ISBN: 9783319235080
SNPD (revised selected papers)
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015, 612, 2016, Studies in Computational Intelligence (SCI)
Studies in Computational Intelligence ISBN: 9783319235080
SNPD (revised selected papers)
International audience; We propose an automatic testing method of mobile applications, which also learns formal models expressing navigational paths and application states. We focus on the quality of the models to later perform analysis (verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b7230f83c9ba31ad724543d3b35999c
https://hal.uca.fr/hal-02019290
https://hal.uca.fr/hal-02019290
Autor:
Wei Monin, Marcien MacKaya, Ana Cavalli, Pierre Combes, Richard Castanet, Fatiha Zaïdi, Patrice Laurençot, Amel Mederreg
Publikováno v:
Annales Des Télécommunications. 60:588-609
Cet article presente la mise en œuvre et les resultats d’experimentation d’une plate-forme de validation basee sur des methodes formelles. Cette plate-forme permet de realiser des tests de conformite et d’interoperabilite, d’analyser la QdS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::73a13bbd8a965ee1d13bba457a2d73db
https://doi.org/10.1007/bf03219938
https://doi.org/10.1007/bf03219938
Publikováno v:
ICSEA
Web Services are more and more used in designing and building systems in open and dynamic distributed environments. The security of these transactions is becoming a critical issue. This paper proposes a security testing method for stateful Web Servic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1da164455bb1db7f6a411d15247ac1c
https://doi.org/10.1109/icsea.2010.84
https://doi.org/10.1109/icsea.2010.84
Autor:
Patrice Laurençot, Sébastien Salva
Publikováno v:
ICIW
Asynchronous javascript and XML (AJAX) is a recent group of technologies used to develop dynamic web pages. Ajax applications are wisely used nowadays and need to be tested to ensure their reliability. This paper introduces a method and an architectu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd860ebba611527d53aec38b7ee78dc1
https://doi.org/10.1109/iciw.2009.40
https://doi.org/10.1109/iciw.2009.40
Autor:
Wei Monin, Marcien MacKaya, Fatiha Zaïdi, Patrice Laurençot, Pierre Combes, Ana Cavalli, Amel Mederreg, Richard Castanet
Publikováno v:
TESTCOM 2004 LNCS 2978
TESTCOM 2004 LNCS 2978, 2004, pp.17-32
Lecture Notes in Computer Science ISBN: 9783540212195
TestCom
TESTCOM 2004 LNCS 2978, 2004, pp.17-32
Lecture Notes in Computer Science ISBN: 9783540212195
TestCom
This article presents the implementation of a validation platform based on formal methods and the experimental results obtained. This platform allows performing conformance and interoperability tests, analysing the specification and constructing a pe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4785ad59aed244a937ec9608a0a9f10d
https://hal.archives-ouvertes.fr/hal-00118074
https://hal.archives-ouvertes.fr/hal-00118074
Autor:
Sébastien Salva, Patrice Laurençot
Publikováno v:
OPODIS 2004 LNCS 3544
OPODIS 2004 LNCS 3544, 2004, pp.37-51
Lecture Notes in Computer Science ISBN: 9783540273240
OPODIS
OPODIS 2004 LNCS 3544, 2004, pp.37-51
Lecture Notes in Computer Science ISBN: 9783540273240
OPODIS
Mobile and distributed systems are generally composed of components which interact together with input/output events by using a least a mobile network (GSM, wireless lan), and eventually others heterogeneous ones. Such systems are generally complex s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e37bca5f65f466399e88b4b70619fbd
https://hal.archives-ouvertes.fr/hal-00118079
https://hal.archives-ouvertes.fr/hal-00118079
Autor:
Sébastien Salva, Patrice Laurençot
Publikováno v:
International Journal of Computer Aided Engineering and Technology. 7:321
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8260f5d0d66bb872e752e1429b0c7b7b
https://doi.org/10.1504/ijcaet.2015.071295
https://doi.org/10.1504/ijcaet.2015.071295