72 results on '"Bertolino, Antonia"'
Search Results
2. RETORCH: Resource-Aware End-to-End Test Orchestration
3. Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
4. Addressing Security Properties in Systems of Systems: Challenges and Ideas
5. Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other
6. A Model Driven Approach to Business Process-Based Learning
7. Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)
8. Towards Business Process Execution Adequacy Criteria
9. A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report
10. Validation of Access Control Systems
11. A Toolchain for Designing and Testing Access Control Policies
12. Governance Policies for Verification and Validation of Service Choreographies
13. On-the-Fly Dependable Mediation between Heterogeneous Networked Systems
14. A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies
15. Verification and Analysis of Autonomic Systems for Networked Enterprises
16. Monitoring Service Choreographies from Multiple Sources
17. An Integrated Development and Runtime Environment for the Future Internet
18. Approaches to Functional, Structural and Security SOA Testing
19. Trends and Research Issues in SOA Validation
20. Dependability and Performance Assessment of Dynamic CONNECTed Systems
21. Towards a Model-Driven Infrastructure for Runtime Monitoring
22. On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring
23. The PLASTIC Framework and Tools for Testing Service-Oriented Applications
24. Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
25. Model-Based Generation of Testbeds for Web Services
26. Towards Automated WSDL-Based Testing of Web Services
27. A Framework for Analyzing and Testing the Performance of Software Services
28. A QoS Test-Bed Generator for Web Services
29. Modeling and Early Performance Estimation for Network Processor Applications
30. Product Line Use Cases: Scenario-Based Specification and Testing of Requirements
31. Audition of Web Services for Testing Conformance to Open Specified Protocols
32. An Architecture-Centric Approach for Producing Quality Systems
33. CB-SPE Tool: Putting Component-Based Performance Engineering into Practice
34. PLUTO: A Test Methodology for Product Families
35. Software Testing Research and Practice
36. Formal Methods in Testing Software Architectures
37. WCT: A Wrapper for Component Testing
38. The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
39. Towards Statistical Control of an Industrial Test Process
40. Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results
41. Feasible test path selection by principal slicing
42. Automated Testing of Safety Requirements with the Support of a Deductive Database
43. Software testing for dependability assessment
44. Systematic Generation of XML Instances to Test Complex Software Applications
45. A User-Oriented Framework for Component Deployment Testing
46. Software Testing Forever: Old and New Processes and Techniques for Validating Today’s Applications
47. Architectural Verification of Black-Box Component-Based Systems
48. Monitoring Architectural Properties in Dynamic Component-Based Systems
49. Towards Business Process Execution Adequacy Criteria.
50. A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.