H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system speci cations in SDL. Computer Communications, 23:609-627, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Generating Executable Tests for Timed and Untimed EFSM Models - Duale, Fecko (Correct)
.... state space minimization [4, 16] applying state verification techniques for an EFSM such as context independent [24] or extended [19] UIO sequences, generating test cases using the transition executability analysis (TEA) 12] and confirming configurations in the EFSM model [23] Ural et al. [28, 29] presented a methodology for deriving test cases for communications protocols specified in Estelle [14] and SDL [13] both these languages are based on Communicating EFSMs) The method generates tests for both control and data flow aspects of a protocol implementation. This approach, which ....
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun., 23(7):609--627, Mar. 2000.
Checking States and Transitions of a set of Communicating Finite.. - Hierons (2000) (1 citation) (Correct)
....to form CFSMs, the tests generated from these CFSMs checking the control structure of the system. Such tests should be complemented by tests that check the data elements of the system, possibly produced using methods similar to those used for checking data flow with extended finite state machines ([21]) ....
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system specifications in SDL. Computer Communications, 23:609--627, 2000. 17
Test generation based on control and data dependencies within .. - Henniger, Ural Self-citation (Ural) (Correct)
....sequences for testing the control flow aspects. These methods abstract the control dependencies in the EFSM representation of a process as an FSM and apply FSM based test generation methods [Dah90, Sid89] Other methods focus on the construction of test sequences for testing the data flow aspects [Sar87, Chun90, Ural91, Hen95, Ural00]. These methods identify the data dependencies in the EFSM representation of a process by applying principles of functional program testing [How87] or data flow analysis [Fos76] Since these methods consider only a single EFSM and a limited SDL syntax for the EFSM representation, their ....
H. Ural, K. Saleh, A. Williams, "Test generation based on control and data dependencies within system specifications in SDL", Computer Communications, 23, 2000, pp. 609-627.
Testing Conformance of a Deterministic - Implementation Against.. (Correct)
No context found.
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system speci cations in SDL. Computer Communications, 23:609-627, 2000.
A Technique to Generate Feasible Tests for - Communications Systems With (Correct)
No context found.
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system specifications in SDL. [Elsevier] Comput. Commun., 23(7):609--627, 2000.
Towards Testing SDL Specifications: Models and Fault.. - Mariusz Fecko Umit (Correct)
No context found.
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system specifications in SDL. Elsevier J. Comput. Commun., 23(7):609--627, 2000.
Testing Conformance of a Deterministic Implementation against .. - Hierons, Harman (2001) (2 citations) (Correct)
No context found.
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system speci cations in SDL. Computer Communications, 23:609-627, 2000.
Generating Candidates when testing a deterministic implementation .. - Hierons (2002) (Correct)
No context found.
H. Ural, K. Saleh, and A. Williams. Test generation based on control and data dependencies within system speci cations in SDL. Computer Communications, 23:609-627, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC