APA (7th ed.) Citation

Girgis, M. R. (1993). Using symbolic execution and data flow criteria to aid test data selection. Software testing, verification & reliability, 3(2), 101-112. https://doi.org/10.1002/stvr.4370030205

Chicago Style (17th ed.) Citation

Girgis, Moheb R. "Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection." Software Testing, Verification & Reliability 3, no. 2 (1993): 101-112. https://doi.org/10.1002/stvr.4370030205.

MLA (9th ed.) Citation

Girgis, Moheb R. "Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection." Software Testing, Verification & Reliability, vol. 3, no. 2, 1993, pp. 101-112, https://doi.org/10.1002/stvr.4370030205.