101 results on '"Schieferdecker, Ina"'
Search Results
2. How to Safeguard AI
3. Responsible Software Engineering
4. Model Transformation with Triple Graph Grammars and Non-terminal Symbols
5. Advanced Software Engineering
6. Recent Advances in Classifying Risk-Based Testing Approaches
7. From Metadata Catalogs to Distributed Data Processing for Smart City Platforms and Services: A Study on the Interplay of CKAN and Hadoop
8. Erratum to: Testing of Communicating Systems XIV
9. Risk-Based Testing
10. Security Testing Approaches – For Research, Industry and Standardization
11. Framework for Ensuring Runtime Stability of Control Loops in Multi-agent Networked Environments
12. Behavioral Fuzzing Operators for UML Sequence Diagrams
13. The Testing and Test Control Notation TTCN-3 and its Use
14. A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
15. Defamation-Free Networks through User-Centered Data Control
16. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain
17. 10 Model-Based Analysis and Development of Dependable Systems
18. Test Automation with TTCN-3 - State of the Art and a Future Perspective
19. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
20. Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking
21. Performance Test Design Process and Its Implementation Patterns for Multi-services Systems
22. Real-Time Testing with TTCN-3
23. Modeling Property Based Stream Templates with TTCN-3
24. Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems
25. Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3
26. Testing Embedded Control Systems with TTCN-3
27. Distributed Load Tests with TTCN-3
28. Test Patterns with TTCN-3
29. From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -
30. A Meta-model for TTCN-3
31. Execution of External Applications using TTCN-3
32. Automated Testing of XML/SOAP Based Web Services
33. The Graphical Format of TTCN-3 in the Context of MSC and UML
34. The UML 2.0 Testing Profile and Its Relation to TTCN-3
35. Realizing Distributed TTCN-3 Test Systems with TCI
36. Graphical Test Specification — The Graphical Format of TTCN-3
37. Incremental Testing at System Reference Points
38. Configuration and Execution Support for Distributed Tests
39. Combining Design Methods for Service Development
40. Specifying and verifying the steam boiler control system with Time Extended LOTOS
41. Performance Modeling with Structured Actions
42. Performance-oriented formal specifications — the LotoTis approach
43. Model-Based Testing
44. Test Execution with TTCN-3
45. Testing Service-Oriented Architecture Applications
46. Data-Driven Testing
47. The Test Technology TTCN-3
48. Tool Frameworks and Examples
49. Component and Integration Level Testing
50. System and Acceptance Level Testing
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.