APA (7th ed.) Citation

Griesmayer, A., Staber, S., & Bloem, R. (2010). Fault localization using a model checker. Software Testing: Verification & Reliability, 20(2), 149. https://doi.org/10.1002/stvr.421

Chicago Style (17th ed.) Citation

Griesmayer, Andreas, Stefan Staber, and Roderick Bloem. "Fault Localization Using a Model Checker." Software Testing: Verification & Reliability 20, no. 2 (2010): 149. https://doi.org/10.1002/stvr.421.

MLA (9th ed.) Citation

Griesmayer, Andreas, et al. "Fault Localization Using a Model Checker." Software Testing: Verification & Reliability, vol. 20, no. 2, 2010, p. 149, https://doi.org/10.1002/stvr.421.