Mohalik, S., Gadkari, A. A., Yeolekar, A., Shashidhar, K., & Ramesh, S. (2014). Automatic test case generation from Simulink/Stateflow models using model checking. Software testing, verification & reliability, 24(2), 155-180. https://doi.org/10.1002/stvr.1489
Citace podle Chicago (17th ed.)Mohalik, Swarup, Ambar A. Gadkari, Anand Yeolekar, K.C Shashidhar, a S. Ramesh. "Automatic Test Case Generation from Simulink/Stateflow Models Using Model Checking." Software Testing, Verification & Reliability 24, no. 2 (2014): 155-180. https://doi.org/10.1002/stvr.1489.
Citace podle MLA (9th ed.)Mohalik, Swarup, et al. "Automatic Test Case Generation from Simulink/Stateflow Models Using Model Checking." Software Testing, Verification & Reliability, vol. 24, no. 2, 2014, pp. 155-180, https://doi.org/10.1002/stvr.1489.