Search

Your search keyword '"CONFORMANCE testing"' showing total 248 results

Search Constraints

Start Over You searched for: Descriptor "CONFORMANCE testing" Remove constraint Descriptor: "CONFORMANCE testing" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
248 results on '"CONFORMANCE testing"'

Search Results

1. Conformance for DecSerFlow Constraints

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

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

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