http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA28070
ANTONIA BERTOLINO
- Type
- Label
- ANTONIA BERTOLINO (literal)
- ANTONIA BERTOLINO (literal)
- Subject
- Gestore di
- Partecipa a commessa
- Persona in rapporto
- Autore CNR di
- Extending UML testing profile towards non-functional test modeling (Contributo in atti di convegno) (Prodotto della ricerca)
- Extending the non-functional modeling of UML-TP (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Using software architecture for code testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- An Extensible Framework for Online Testing of Choreographed Services (Articolo in rivista) (Prodotto della ricerca)
- A UML profile and a methodology for real-Time systems design (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Validation and verification policies for governance of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software architecture-based analysis and testing: a look into achievements and future challenges (Articolo in rivista) (Prodotto della ricerca)
- Decision support for personnel and resources management in multi-project environments (Articolo in rivista) (Prodotto della ricerca)
- A generative approach for the adaptive monitoring of SLA in service choreographies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A toolchain for designing and testing XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards Anti-model-based Testing (Comunicazione a convegno) (Prodotto della ricerca)
- XACMUT: XACML 2.0 Mutants generator (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling and analysis of non-functional properties in component-based systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Perspectives on Data Flow-based Validation of Web Services Compositions (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- An automated testing framework of model-driven tools for XACML policy specification (Contributo in atti di convegno) (Prodotto della ricerca)
- A framework for component deployment testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Social coverage for customized test adequacy and selection criteria. (Contributo in atti di convegno) (Prodotto della ricerca)
- EXaM: un tool per l'esecuzione e il monitoring di applicazioni a componenti distribuiti (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Monitoraggio Adattivo del livello di qualità in Architetture Orientate ai Servizi (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- A requirements-led approach for specifying QoS-aware service choreographies: An experience report (Contributo in atti di convegno) (Prodotto della ricerca)
- Apprehensive QoS monitoring of service choreographies (Contributo in atti di convegno) (Prodotto della ricerca)
- A toolchain for designing and testing access control policies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems (Contributo in atti di convegno) (Prodotto della ricerca)
- ESEC/FSE 2007 Proceedings contents (Altre pubblicazioni) (Prodotto della ricerca)
- An approach to adaptive dependability assessment in dynamic and evolving connected systems (Articolo in rivista) (Prodotto della ricerca)
- Never-stop Learning: continuous validation of learned models for evolving systems through monitoring (Articolo in rivista) (Prodotto della ricerca)
- PLASTIC Deliverable D4.3: Test Framework: Assessment and Revision (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TAS3 Deliverable D10.1: Trustworthiness - State of the Art (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Guest Editors' Introduction: 2000 International Sysmposium on Software Testing and Analysis (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Testing of PolPA-based usage control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Product Line Use Cases (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Approaches to testing service-oriented software systems (Contributo in atti di convegno) (Prodotto della ricerca)
- TELCERT - D09.v1.0 Initial recommendations on advanced testing technologies (Rapporti progetti di ricerca) (Prodotto della ricerca)
- CONNECT challenges: towards emergent connectors for eternal networked systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated testing of healthcare document transformations in the PICASSO interoperability platform (Contributo in atti di convegno) (Prodotto della ricerca)
- SOA test governance: enabling service integration testing across organization and technology borders (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Addressing testing objectives for e-learning (Contributo in atti di convegno) (Prodotto della ricerca)
- Whitening SOA testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Scaling up SLA monitoring in pervasive environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Management and planning based on queueing networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Testing of PolPA Authorization Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Pick UP Performance Evaluation Test-bed (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- A model based approach to design applications for network processor (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An architecture-centric approach for producing quality systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Audition of web services for testing conformance to open specified protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Introducing service-oriented coverage testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Automated Robustness Testing of BPEL Orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
- Sixth international workshop on automation of software test (AST 2011) (Contributo in atti di convegno) (Prodotto della ricerca)
- Use case-based testing of product lines (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards automated WSDL-based testing of Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automating the management of teams and tasks in software multiprojects using UML and queueing networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Testing software components for integration: a survey of issues and techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance measures for supporting project manager decisions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Dependability and Performance Assessment of Dynamic CONNECTed Systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Trends and Research Issues in SOA Validation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Software performance measures to assist decision makers within the rational unified process (Contributo in atti di convegno) (Prodotto della ricerca)
- Real-time UML-based performance engineering to aid manager's decisions in multi-project planning (Contributo in atti di convegno) (Prodotto della ricerca)
- Integration of components to test software components (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing a reasonably complete and coherent approach for model-based testing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Non-functional analysis of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Data Flow-based Validation of Web Services Compositions: Perspectives and Examples (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Use case description of requirements for product lines (Contributo in atti di convegno) (Prodotto della ricerca)
- Quality requirements for service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software performance engineering of component-based systems (Contributo in atti di convegno) (Prodotto della ricerca)
- On-the-fly interoperability through automated mediator synthesis and monitoring (Contributo in atti di convegno) (Prodotto della ricerca)
- Systematic XACML request generation for testing purposes (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- The audition framework for testing web services interoperability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enhancing service federation trustworthiness through online testing (Articolo in rivista) (Prodotto della ricerca)
- UML-based design of network processor applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- PLASTIC Deliverable D4.2: test framework: prototype implementation (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- ESEC/FSE 2007 Companion contents (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- NESSoS - JVRL Web Portal (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A QoS test-bed generator for Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A UML profile and a methodology for real-time systems design (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A brief essay on Software Testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Sotware Testing Research and Practice (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CoWTest: a cost weighted test strategy (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- XaCml REquests derivAtion for TEsting. (Software) (Prodotto della ricerca)
- Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE (Software) (Prodotto della ricerca)
- Validation of access control systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- PLUTO: a test methodology for product families (Articolo in rivista) (Prodotto della ricerca)
- Foreword to the AST '11: Proceedings of the 6th International Workshop on Automation of Software Test (Curatela) (Prodotto della ricerca)
- A guided tour of four decades of a software testing discipline (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Using software architecture for code testing (Articolo in rivista) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Comunicazione a convegno) (Prodotto della ricerca)
- A model based approach to design applications for network processor (Articolo in rivista) (Prodotto della ricerca)
- An approach and a tool for test generation and management from UML design (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Experience of applying statistical control techniques to a crucial software test phase of a large telecommunications system (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Modeling and early performance estimation for network processor applications (Articolo in rivista) (Prodotto della ricerca)
- Jambition (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Lightweight & Adaptable Service Technology for pervasive Infromation & Communication (PLASTIC) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Training And Research On Testing (TAROT) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Using spanning sets for coverage testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A User Oriented Framework for Component Deployment Testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Towards a model-driven infrastructure for runtime monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Toward component based software performance engineering (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards ensuring eternal connectability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Partition testing from XML schema (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Software component integration testing: a survey (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- NESSoS - Joint Virtual Research Lab (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Complex events specification for properties validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The X-CREATE framework: a comparison of XACML policy testing strategies (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic XACML requests generation for policy testing. (Contributo in atti di convegno) (Prodotto della ricerca)
- TAXI (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- PISATEL (Pisa Initiative on Software Architectures for TELecommunications) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Meta-modeling of non-functional properties (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Preface to the Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Property meta model. (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- A user oriented framework for component deployment testing (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Product line use cases: scenario-based specification and testing of requirements (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- GLIMPSE: a generic and flexible monitoring infrastructure (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- MOdel Testing by Human Interrogations & Answers (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Monitoring service choreographies from multiple sources. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A framework for analyzing and testing the performance of software services (Contributo in atti di convegno) (Prodotto della ricerca)
- PLASTIC Deliverable D4.1: test framework specification and architecture. PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication) (IST-2005-26955). Deliverable PLASTIC IST-2005-26955 - D4.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A brief essay on software testing (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Let the puppets move! Automated testbed generation for service-oriented mobile applications (Contributo in atti di convegno) (Prodotto della ricerca)
- IPERMOB: Infrastruttura Pervasiva Eterogenea Real-time per il controllo della MOBilità (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- VCR: Virtual Capture and Replay for performance testing (Contributo in atti di convegno) (Prodotto della ricerca)
- On-line validation of service oriented systems in the european project TAS3 (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a framework for proactive monitoring of service choreography (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Modelling and testing of XACML policies (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- The cow_suite approach to planning and deriving test suites in UML projects (Contributo in atti di convegno) (Prodotto della ricerca)
- GLIMPSE: a generic and flexible monitoring infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Is my model right? Let me ask the expert (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- XModel-Based Testing of XSLT Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Software testing research: achievements, challenges, dreams (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Test Data Generation for XML Schema-based Partition Testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012) (Curatela) (Prodotto della ricerca)
- An integrated development and runtime environment for the future Internet. (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- (role)CAST: a framework for on-line service testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bringing white-box testing to service oriented architectures through a service oriented approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automated refinement of dependability analysis through monitoring in dynamically connected systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Approaches to functional, structural and security SOA testing. (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Cow_Suite: a UML-based tool for test-suite planning and derivation (Articolo in rivista) (Prodotto della ricerca)
- The PLASTIC framework and tools for testing service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
- PLASTIC: Providing Lightweight & Adaptable Service Technology for Pervasive Information & Communication (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal Methods in Testing Software Architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Weighting influence of user behavior in software validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic synthesis of behavior protocols for composable Web-services (Contributo in atti di convegno) (Prodotto della ricerca)
- ART DECO (Adaptive InfRasTructures for DECentralized Organizations) - FIRB 2005 (Progetti) (Prodotto della ricerca)
- Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model-based generation of testbeds for Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- WCT: a wrapper for component testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verification and analysis of autonomic systems for networked enterprises (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Software testing forever: old and new processes and techniques for validating today's applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Audition of Web services for testing conformance to open specified protocols (Articolo in rivista) (Prodotto della ricerca)
- Automatic generation of test-beds for pre-deployment QoS evaluation of Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TAXI - A Tool for XML-Based Testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Architectural verification of black-box component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Monitoring architectural properties in dynamic component-based systems (Articolo in rivista) (Prodotto della ricerca)
- Systematic generation of XML instances to test complex software applications (Articolo in rivista) (Prodotto della ricerca)
- Using spanning sets for coverage testing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- UML-based performance analysis techniques applied to software multiprojects management (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- WS-Guard (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Technology Enhanced learning Conformance - European Requirement and Testing (TELCERT) - FP6 (Progetti) (Prodotto della ricerca)
- Introducing a UML profile for application profiling in the e-learning domain (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Software testing and/or software monitoring: differences and commonalities (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Puppet (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011 (Curatela) (Prodotto della ricerca)
- CB-SPE tool: putting component-based performance engineering into practice (Articolo in rivista) (Prodotto della ricerca)
- Adaptive SLA Monitoring of Service Choreographies Enacted on the Cloud (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- UML-based design of network processor applications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- The audition framework for testing web services interoperability (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- ISSTA 2002 Panel: is ISSTA research relevant to industrial users? (Contributo in atti di convegno) (Prodotto della ricerca)
- An architecture-centric approach for producing quality systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Re-thinking the development process of component-based software (Contributo in atti di convegno) (Prodotto della ricerca)
- On-the-fly dependable mediation between heterogeneous networked systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- WS-TAXI: a WSDL-based testing tool for Web Services (Contributo in atti di convegno) (Prodotto della ricerca)
- TELCERT - D14. v.1.0 rev2 Final recommendations on advanced testing technologies (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TELCERT - D25 V1.0 Future recommendations on advanced testing technologies (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Softure: adaptable, reliable and performing software for the future (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Learn PAd : model-based social learning for public administrations (Abstract/Poster in convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1304)
- XML every-flavor testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Test suite reduction in good order: comparing heuristics from a new viewpoint (Contributo in atti di convegno) (Prodotto della ricerca)
- An automated test strategy based on UML diagrams (Contributo in atti di convegno) (Prodotto della ricerca)
- Coverage-based test cases selection for XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Propean, a RT-UML based approach to help manager's decision-making (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- An explorative journey from architectural tests definition downto code tests execution (Contributo in atti di convegno) (Prodotto della ricerca)
- Systematic XACML request generation for testing purposes (Contributo in atti di convegno) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automated testing of eXtensible access control markup language-based access control systems (Articolo in rivista) (Prodotto della ricerca)
- Improving test coverage measurement for reused software (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Yet another metamodel to specify non-functional properties (Contributo in atti di convegno) (Prodotto della ricerca)
- An automated approach to robustness testing of BPEL orchestrations (Contributo in atti di convegno) (Prodotto della ricerca)
- More testable service compositions by test metadata (Contributo in atti di convegno) (Prodotto della ricerca)
- Coautore
- Responsabile di
- Nome
- Cognome
- Afferisce a
- Ha pubblicazioni con
Incoming links:
- Autore CNR
- Modeling and analysis of non-functional properties in component-based systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A framework for component deployment testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The cow_suite approach to planning and deriving test suites in UML projects (Contributo in atti di convegno) (Prodotto della ricerca)
- XModel-Based Testing of XSLT Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Software testing research: achievements, challenges, dreams (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Test Data Generation for XML Schema-based Partition Testing (Contributo in atti di convegno) (Prodotto della ricerca)
- A framework for analyzing and testing the performance of software services (Contributo in atti di convegno) (Prodotto della ricerca)
- Let the puppets move! Automated testbed generation for service-oriented mobile applications (Contributo in atti di convegno) (Prodotto della ricerca)
- VCR: Virtual Capture and Replay for performance testing (Contributo in atti di convegno) (Prodotto della ricerca)
- On-line validation of service oriented systems in the european project TAS3 (Contributo in atti di convegno) (Prodotto della ricerca)
- WS-TAXI: a WSDL-based testing tool for Web Services (Contributo in atti di convegno) (Prodotto della ricerca)
- Test suite reduction in good order: comparing heuristics from a new viewpoint (Contributo in atti di convegno) (Prodotto della ricerca)
- Systematic XACML request generation for testing purposes (Contributo in atti di convegno) (Prodotto della ricerca)
- Use case-based testing of product lines (Contributo in atti di convegno) (Prodotto della ricerca)
- Software performance engineering of component-based systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Contributo in atti di convegno) (Prodotto della ricerca)
- Softure: adaptable, reliable and performing software for the future (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- XML every-flavor testing (Contributo in atti di convegno) (Prodotto della ricerca)
- An automated test strategy based on UML diagrams (Contributo in atti di convegno) (Prodotto della ricerca)
- An explorative journey from architectural tests definition downto code tests execution (Contributo in atti di convegno) (Prodotto della ricerca)
- ISSTA 2002 Panel: is ISSTA research relevant to industrial users? (Contributo in atti di convegno) (Prodotto della ricerca)
- Re-thinking the development process of component-based software (Contributo in atti di convegno) (Prodotto della ricerca)
- WCT: a wrapper for component testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic generation of test-beds for pre-deployment QoS evaluation of Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TAXI - A Tool for XML-Based Testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- PLASTIC: Providing Lightweight & Adaptable Service Technology for Pervasive Information & Communication (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Weighting influence of user behavior in software validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automatic synthesis of behavior protocols for composable Web-services (Contributo in atti di convegno) (Prodotto della ricerca)
- PLUTO: a test methodology for product families (Articolo in rivista) (Prodotto della ricerca)
- Using software architecture for code testing (Articolo in rivista) (Prodotto della ricerca)
- A model based approach to design applications for network processor (Articolo in rivista) (Prodotto della ricerca)
- Modeling and early performance estimation for network processor applications (Articolo in rivista) (Prodotto della ricerca)
- A QoS test-bed generator for Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Sotware Testing Research and Practice (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards automated WSDL-based testing of Web services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On-the-fly interoperability through automated mediator synthesis and monitoring (Contributo in atti di convegno) (Prodotto della ricerca)
- Cow_Suite: a UML-based tool for test-suite planning and derivation (Articolo in rivista) (Prodotto della ricerca)
- Architectural verification of black-box component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Model-based generation of testbeds for Web services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software testing forever: old and new processes and techniques for validating today's applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The PLASTIC framework and tools for testing service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
- Performance measures for supporting project manager decisions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Testing software components for integration: a survey of issues and techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Integration of components to test software components (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing a reasonably complete and coherent approach for model-based testing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Using spanning sets for coverage testing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- UML-based performance analysis techniques applied to software multiprojects management (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CB-SPE tool: putting component-based performance engineering into practice (Articolo in rivista) (Prodotto della ricerca)
- An architecture-centric approach for producing quality systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Audition of Web services for testing conformance to open specified protocols (Articolo in rivista) (Prodotto della ricerca)
- Monitoring architectural properties in dynamic component-based systems (Articolo in rivista) (Prodotto della ricerca)
- Systematic generation of XML instances to test complex software applications (Articolo in rivista) (Prodotto della ricerca)
- Formal Methods in Testing Software Architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Decision support for personnel and resources management in multi-project environments (Articolo in rivista) (Prodotto della ricerca)
- Toward component based software performance engineering (Contributo in atti di convegno) (Prodotto della ricerca)
- The audition framework for testing web services interoperability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- UML-based design of network processor applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A UML profile and a methodology for real-time systems design (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CoWTest: a cost weighted test strategy (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automating the management of teams and tasks in software multiprojects using UML and queueing networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Real-time UML-based performance engineering to aid manager's decisions in multi-project planning (Contributo in atti di convegno) (Prodotto della ricerca)
- Software performance measures to assist decision makers within the rational unified process (Contributo in atti di convegno) (Prodotto della ricerca)
- Use case description of requirements for product lines (Contributo in atti di convegno) (Prodotto della ricerca)
- Scaling up SLA monitoring in pervasive environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Introducing service-oriented coverage testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Approaches to testing service-oriented software systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated testing of healthcare document transformations in the PICASSO interoperability platform (Contributo in atti di convegno) (Prodotto della ricerca)
- CONNECT challenges: towards emergent connectors for eternal networked systems (Contributo in atti di convegno) (Prodotto della ricerca)
- SOA test governance: enabling service integration testing across organization and technology borders (Contributo in atti di convegno) (Prodotto della ricerca)
- Whitening SOA testing (Contributo in atti di convegno) (Prodotto della ricerca)
- Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A guided tour of four decades of a software testing discipline (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Comunicazione a convegno) (Prodotto della ricerca)
- Towards Anti-model-based Testing (Comunicazione a convegno) (Prodotto della ricerca)
- Perspectives on Data Flow-based Validation of Web Services Compositions (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- A user oriented framework for component deployment testing (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- TAXI (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- PISATEL (Pisa Initiative on Software Architectures for TELecommunications) (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Using spanning sets for coverage testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Partition testing from XML schema (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Software component integration testing: a survey (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- An approach and a tool for test generation and management from UML design (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Experience of applying statistical control techniques to a crucial software test phase of a large telecommunications system (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A brief essay on Software Testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- PLASTIC Deliverable D4.1: test framework specification and architecture. PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication) (IST-2005-26955). Deliverable PLASTIC IST-2005-26955 - D4.1, 2007. (Rapporti progetti di ricerca) (Prodotto della ricerca)
- GLIMPSE: a generic and flexible monitoring infrastructure (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A brief essay on software testing (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- WS-Guard (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Puppet (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Technology Enhanced learning Conformance - European Requirement and Testing (TELCERT) - FP6 (Progetti) (Prodotto della ricerca)
- ART DECO (Adaptive InfRasTructures for DECentralized Organizations) - FIRB 2005 (Progetti) (Prodotto della ricerca)
- Using software architecture for code testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A UML profile and a methodology for real-Time systems design (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A model based approach to design applications for network processor (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An architecture-centric approach for producing quality systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Audition of web services for testing conformance to open specified protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automatic Generation of Test-beds for Pre-Deployment QoS Evaluation of Web Services (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Management and planning based on queueing networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Guest Editors' Introduction: 2000 International Sysmposium on Software Testing and Analysis (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Product Line Use Cases (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- TELCERT - D09.v1.0 Initial recommendations on advanced testing technologies (Rapporti progetti di ricerca) (Prodotto della ricerca)
- ESEC/FSE 2007 Proceedings contents (Altre pubblicazioni) (Prodotto della ricerca)
- PLASTIC Deliverable D4.3: Test Framework: Assessment and Revision (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TAS3 Deliverable D10.1: Trustworthiness - State of the Art (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Monitoraggio Adattivo del livello di qualità in Architetture Orientate ai Servizi (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- EXaM: un tool per l'esecuzione e il monitoring di applicazioni a componenti distribuiti (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Product line use cases: scenario-based specification and testing of requirements (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Jambition (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Lightweight & Adaptable Service Technology for pervasive Infromation & Communication (PLASTIC) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Training And Research On Testing (TAROT) - FP6 (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Propean, a RT-UML based approach to help manager's decision-making (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Addressing testing objectives for e-learning (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Introducing a UML profile for application profiling in the e-learning domain (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- UML-based design of network processor applications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- The audition framework for testing web services interoperability (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- TELCERT - D14. v.1.0 rev2 Final recommendations on advanced testing technologies (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- TELCERT - D25 V1.0 Future recommendations on advanced testing technologies (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A User Oriented Framework for Component Deployment Testing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- ESEC/FSE 2007 Companion contents (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- PLASTIC Deliverable D4.2: test framework: prototype implementation (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Systematic XACML request generation for testing purposes (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Data Flow-based Validation of Web Services Compositions: Perspectives and Examples (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- (role)CAST: a framework for on-line service testing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bringing white-box testing to service oriented architectures through a service oriented approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automated refinement of dependability analysis through monitoring in dynamically connected systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- GLIMPSE: a generic and flexible monitoring infrastructure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Is my model right? Let me ask the expert (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards Automated Robustness Testing of BPEL Orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
- Sixth international workshop on automation of software test (AST 2011) (Contributo in atti di convegno) (Prodotto della ricerca)
- Preface to the Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- NESSoS - Joint Virtual Research Lab (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Towards a model-driven infrastructure for runtime monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards ensuring eternal connectability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Foreword to the AST '11: Proceedings of the 6th International Workshop on Automation of Software Test (Curatela) (Prodotto della ricerca)
- NESSoS - JVRL Web Portal (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Dependability and Performance Assessment of Dynamic CONNECTed Systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Trends and Research Issues in SOA Validation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Yet another metamodel to specify non-functional properties (Contributo in atti di convegno) (Prodotto della ricerca)
- An automated approach to robustness testing of BPEL orchestrations (Contributo in atti di convegno) (Prodotto della ricerca)
- More testable service compositions by test metadata (Contributo in atti di convegno) (Prodotto della ricerca)
- XaCml REquests derivAtion for TEsting. (Software) (Prodotto della ricerca)
- Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE (Software) (Prodotto della ricerca)
- Automatic XACML requests generation for policy testing. (Contributo in atti di convegno) (Prodotto della ricerca)
- The X-CREATE framework: a comparison of XACML policy testing strategies (Contributo in atti di convegno) (Prodotto della ricerca)
- Validation and verification policies for governance of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- IPERMOB: Infrastruttura Pervasiva Eterogenea Real-time per il controllo della MOBilità (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Modelling and testing of XACML policies (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Towards a framework for proactive monitoring of service choreography (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- MOdel Testing by Human Interrogations & Answers (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- Verification and analysis of autonomic systems for networked enterprises (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Approaches to functional, structural and security SOA testing. (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Non-functional analysis of service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quality requirements for service choreographies. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Complex events specification for properties validation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Testing of PolPA Authorization Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Never-stop Learning: continuous validation of learned models for evolving systems through monitoring (Articolo in rivista) (Prodotto della ricerca)
- Automated testing of eXtensible access control markup language-based access control systems (Articolo in rivista) (Prodotto della ricerca)
- Apprehensive QoS monitoring of service choreographies (Contributo in atti di convegno) (Prodotto della ricerca)
- A generative approach for the adaptive monitoring of SLA in service choreographies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A toolchain for designing and testing XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- XACMUT: XACML 2.0 Mutants generator (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software architecture-based analysis and testing: a look into achievements and future challenges (Articolo in rivista) (Prodotto della ricerca)
- Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011 (Curatela) (Prodotto della ricerca)
- Adaptive SLA Monitoring of Service Choreographies Enacted on the Cloud (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Property meta model. (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- An integrated development and runtime environment for the future Internet. (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Monitoring service choreographies from multiple sources. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Meta-modeling of non-functional properties (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- An approach to adaptive dependability assessment in dynamic and evolving connected systems (Articolo in rivista) (Prodotto della ricerca)
- Enhancing service federation trustworthiness through online testing (Articolo in rivista) (Prodotto della ricerca)
- Extending the non-functional modeling of UML-TP (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- On-the-fly dependable mediation between heterogeneous networked systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Extending UML testing profile towards non-functional test modeling (Contributo in atti di convegno) (Prodotto della ricerca)
- Validation of access control systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Coverage-based test cases selection for XACML policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Learn PAd : model-based social learning for public administrations (Abstract/Poster in convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1304)
- Software testing and/or software monitoring: differences and commonalities (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Pick UP Performance Evaluation Test-bed (Software) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1710)
- An Extensible Framework for Online Testing of Choreographed Services (Articolo in rivista) (Prodotto della ricerca)
- Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012) (Curatela) (Prodotto della ricerca)
- Social coverage for customized test adequacy and selection criteria. (Contributo in atti di convegno) (Prodotto della ricerca)
- A requirements-led approach for specifying QoS-aware service choreographies: An experience report (Contributo in atti di convegno) (Prodotto della ricerca)
- Testing of PolPA-based usage control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A toolchain for designing and testing access control policies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- An automated testing framework of model-driven tools for XACML policy specification (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving test coverage measurement for reused software (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Coautore
- Partecipazione di
- Ha pubblicazioni con
- Ha afferente
- Responsabile
- Gestore
- Rapporto con persona
- Http://www.w3.org/2004/02/skos/core#isSubjectOf