248 results on '"CONFORMANCE testing"'
Search Results
2. Open Source versus Proprietary Software in Service-Orientation: The Case of BPEL Engines
3. Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines
4. Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
5. A Framework for Interoperability Testing in Pan-European Public Service Provision
6. hol-TestGen/fw : An Environment for Specification-Based Firewall Conformance Testing
7. Research and Implementation of 6LoWPAN Adaptation Layer Based on Electronic Technology
8. An Experimental Test System for IMT-Advanced Communication Protocols
9. Timed Conformance Testing for Orchestrated Service Discovery
10. Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations
11. A Formal Method for Testing Reactive System from Symbolic Model
12. A Formal Equivalence Classes Based Method for Security Policy Conformance Checking
13. Learn and Test for Event-B – A Rodin Plugin
14. Conformance Relations for Labeled Event Structures
15. Application of Hierarchical Classifier to Minimal Synchronizing Word Problem
16. Testing Real-Time Systems under Uncertainty
17. 9 Protocol development process
18. Conformance Testing of Soft-Core Can Controllers: A Low-Cost and Practical Approach
19. Synchronizing Asynchronous Conformance Testing
20. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
21. Adapting ACATS to the Ahven Testing Framework
22. Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
23. The Credo Methodology : (Extended Version)
24. Testing of Abstract Components
25. Fuzzy-Timed Automata
26. Qualitative Action Systems
27. Observability and Controllability Issues in Conformance Testing of Web Service Compositions
28. Testing k-Safe Petri Nets
29. Testing Real-Time Systems Using TINA
30. Conformance Testing of Distributed Concurrent Systems with Executable Designs
31. Testing Restorable Systems by Using RFD
32. Applying Model-Based Testing to HTML Rendering Engines – A Case Study
33. Model-Based Firewall Conformance Testing
34. A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
35. Controllable Test Cases for the Distributed Test Architecture
36. An Approach to Testing with Embedded Context Using Model Checker
37. Implementation of the Conformance Relation for Incremental Development of Behavioural Models
38. Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML
39. Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking
40. Measuring Web Accessibility by Estimating Severity of Barriers
41. Dynamic Testing Via Automata Learning
42. Symbolic Execution Techniques for Refinement Testing
43. A Bounded Incremental Test Generation Algorithm for Finite State Machines
44. A Framework for Testing AIS Implementations
45. Reducing Test Sequence Length Using Invertible Sequences
46. Using TTCN for Radio Conformance Test Systems
47. Conditions for Avoiding Controllability Problems in Distributed Testing
48. Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory
49. Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
50. Audition of Web Services for Testing Conformance to Open Specified Protocols
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.