Abstract The implementation of the INSPIRE directive requires to check the conformity of a large number of network services with the implementing rules of INSPIRE. The evaluation whether a service is fully conformant with INSPIRE is complex and requires the use of specialized testing tools that should report how verification has been made and should identify non-conformances. The use of the-se tools requires a high degree of technical knowledge. This fact makes very diffi-cult for non-technical stakeholders (end users, managers, domain experts, etc.) to participate effectively in conformance testing, hinders stakeholders understanding of the causes and consequences of non-conformant results and may cause in some stakeholders disinterest in ...
AbstractFault-based conformance testing is a conformance testing strategy that relies on specific fa...
Conformance checking is receiving increasing attention in the last years. This is due to several rea...
are getting more and more used for Internet applications or business transactions. Cur-rently, there...
International audienceWe propose a model-based black-box testing approach to test conformance of Web...
Abstract. Web Services are the basic building blocks of next generation Internet applications, based...
We present an automated approach to generate func-tional conformance tests for semantic web services...
We adapt and extend the theories used in the general framework of automated software testing in such...
Abstract. We adapt and extend the theories used in the general framework of automated software testi...
The INSPIRE infrastructure and its implementation could be considered as mainly a legal and practica...
Organisations wishing to engage in industrial collaborative networks will typically seek some guaran...
This thesis is about black-box formal conformance testing for reactive systems. A reactive system is...
We review and compare three notions of conformance testing for cyber-physical systems. We begin with...
We review and compare three notions of conformance testing for cyber-physical systems. We begin with...
A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine ...
Abstract. Content-level conformance testing is a key to achieving interoper-able data exchange among...
AbstractFault-based conformance testing is a conformance testing strategy that relies on specific fa...
Conformance checking is receiving increasing attention in the last years. This is due to several rea...
are getting more and more used for Internet applications or business transactions. Cur-rently, there...
International audienceWe propose a model-based black-box testing approach to test conformance of Web...
Abstract. Web Services are the basic building blocks of next generation Internet applications, based...
We present an automated approach to generate func-tional conformance tests for semantic web services...
We adapt and extend the theories used in the general framework of automated software testing in such...
Abstract. We adapt and extend the theories used in the general framework of automated software testi...
The INSPIRE infrastructure and its implementation could be considered as mainly a legal and practica...
Organisations wishing to engage in industrial collaborative networks will typically seek some guaran...
This thesis is about black-box formal conformance testing for reactive systems. A reactive system is...
We review and compare three notions of conformance testing for cyber-physical systems. We begin with...
We review and compare three notions of conformance testing for cyber-physical systems. We begin with...
A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine ...
Abstract. Content-level conformance testing is a key to achieving interoper-able data exchange among...
AbstractFault-based conformance testing is a conformance testing strategy that relies on specific fa...
Conformance checking is receiving increasing attention in the last years. This is due to several rea...
are getting more and more used for Internet applications or business transactions. Cur-rently, there...