202 results on '"Ural, Hasan"'
Search Results
2. Dependence Analysis for Regression Test Suite Selection and Augmentation
3. Testing in the Distributed Test Architecture
4. Recovering Repetitive Sub-functions from Observations
5. An EFSM-Based Passive Fault Detection Approach
6. Test Suite Reduction Based on Dependence Analysis
7. Minimizing Coordination Channels in Distributed Testing
8. Reducing the Lengths of Checking Sequences by Overlapping
9. Detecting Observability Problems in Distributed Testing
10. Generalizing Redundancy Elimination in Checking Sequences
11. Recovering the Lattice of Repetitive Sub-functions
12. Dependence Testing: Extending Data Flow Testing with Control Dependence
13. Eliminating Redundant Tests in a Checking Sequence
14. Using Model Checking for Reducing the Cost of Test Generation
15. Towards Design Recovery from Observations
16. Conditions for Resolving Observability Problems in Distributed Testing
17. Automatic Generation of Test Purposes for Testing Distributed Systems
18. Generating Checking Sequences for a Distributed Test Architecture
19. Concerning the Ordering of Adaptive Test Sequences
20. A Temporal Logic Based Theory of Test Coverage and Generation
21. Erratum to: Testing of Communicating Systems
22. Computer aided design of protocol converters
23. Electing a leader in a synchronous recursively scalable network
24. Lower bounds on lengths of checking sequences
25. Constructing checking sequences for distributed testing
26. Optimizing the length of checking sequences
27. Generating Preset Distinguishing Sequences Using SAT
28. Erratum to: Testing of Communicating Systems
29. Reduced length checking sequences
30. An EFSM-Based Passive Fault Detection Approach
31. Test Suite Reduction Based on Dependence Analysis
32. Recovering the Lattice of Repetitive Sub-functions
33. Using Model Checking for Reducing the Cost of Test Generation
34. Generalizing Redundancy Elimination in Checking Sequences
35. Automatic Generation of Test Purposes for Testing Distributed Systems
36. Concerning the Ordering of Adaptive Test Sequences
37. A Temporal Logic Based Theory of Test Coverage and Generation
38. On minimizing the lengths of checking sequences
39. UIO sequence based checking sequences for distributed test architectures
40. Computer aided design of protocol converters
41. Specifications of distributed systems in Prolog
42. Electing a leader in a synchronous recursively scalable network
43. Data flow oriented test selection for LOTOS
44. Synchronizable test sequence generation using UIO sequences
45. Formal methods for test sequence generation
46. On the complexity of generating optimal test sequences
47. Reduced checking sequences using unreliable reset
48. Reducing locating sequences for testing from finite state machines
49. An approach to life-cycle testing of communication protocols
50. Testing in the Distributed Test Architecture
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.