Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Karim Hossen"'
Publikováno v:
ICST Workshops
Position Statement at SecTest2014, co-located with ICST2014
Position Statement at SecTest2014, co-located with ICST2014, 2014, Cleveland, Ohio, United States
Position Statement at SecTest2014, co-located with ICST2014
Position Statement at SecTest2014, co-located with ICST2014, 2014, Cleveland, Ohio, United States
International audience; In the Internet of services (IoS), web applications are the most common way to provide resources to the users. The complexity of these applications grew up with the number of different development techniques and technologies u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83397dfcbe39308ba6614c75c631b93e
https://doi.org/10.1109/icstw.2014.47
https://doi.org/10.1109/icstw.2014.47
Publikováno v:
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), 2014, Miami, Florida, United States. pp.249-253, ⟨10.1109/HASE.2014.46⟩
HASE
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), 2014, Miami, Florida, United States. pp.249-253, ⟨10.1109/HASE.2014.46⟩
HASE
International audience; Engineering safe and reliable systems demands rigorous approaches such as formal methods, using models. Since models are not always available, one needs to infer them from software artifacts. This paper defines a new inference
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45281dc7d89ac74bfa424429fc63d2ba
https://hal.inria.fr/hal-00976109
https://hal.inria.fr/hal-00976109
Autor:
Petru Florin Mihancea, Karim Hossen, Catherine Oriat, Roland Groz, Marius Minea, Matthias Büchler
Publikováno v:
IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014
IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, 2014, Antwerp, Belgium. pp.411-414
CSMR-WCRE
IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, 2014, Antwerp, Belgium. pp.411-414
CSMR-WCRE
International audience; The SPaCIoS project has as goal the validation and testing of security properties of services and web applications. It proposes a methodology and tool collection centered around models described in a dedicated specification la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c43f4352d3399695512bb932909b8540
https://hal.inria.fr/hal-00976110
https://hal.inria.fr/hal-00976110
Publikováno v:
ICST Workshops
SECTEST 2013-Fourth International Workshop on Security Testing (affiliated with ICST2013)
SECTEST 2013-Fourth International Workshop on Security Testing (affiliated with ICST2013), Mar 2013, Luxembourg, Luxembourg. pp.441-444, ⟨10.1109/ICSTW.2013.57⟩
SECTEST 2013-Fourth International Workshop on Security Testing (affiliated with ICST2013)
SECTEST 2013-Fourth International Workshop on Security Testing (affiliated with ICST2013), Mar 2013, Luxembourg, Luxembourg. pp.441-444, ⟨10.1109/ICSTW.2013.57⟩
International audience; In the "Internet of Services" (IoS) vision of the Internet, applications are developed as services using the web standards. Model-based testing combined with active model inference is one of the methods to test the application
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29eff76e9203c46fddc294f9aa1afbb3
https://doi.org/10.1109/icstw.2013.57
https://doi.org/10.1109/icstw.2013.57
Publikováno v:
Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
SECTEST 2011-2nd International Workshop on Security Testing (part of ICSTW)
SECTEST 2011-2nd International Workshop on Security Testing (part of ICSTW), Mar 2011, Berlin, Germany. pp.534-536, ⟨10.1109/ICSTW.2011.83⟩
ICST Workshops
SECTEST 2011-2nd International Workshop on Security Testing (part of ICSTW)
SECTEST 2011-2nd International Workshop on Security Testing (part of ICSTW), Mar 2011, Berlin, Germany. pp.534-536, ⟨10.1109/ICSTW.2011.83⟩
ICST Workshops
International audience; "Internet of Services" (IoS) is a vision of the Internet of the Future where applications are built by combining services provided by a variety of service providers over the network. They are deployed as needed and consumed at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a2ecbbd4118eb4531d6971e1bd3c25d
https://hal.science/hal-00860800
https://hal.science/hal-00860800