APA (7th ed.) Citation

Krka, I., Brun, Y., Popescu, D., Garcia, J., & Medvidovic, N. (2010). Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference. ICSE: International Conference on Software Engineering, 179.

Chicago Style (17th ed.) Citation

Krka, Ivo, Yuriy Brun, Daniel Popescu, Joshua Garcia, and Nenad Medvidovic. "Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference." ICSE: International Conference on Software Engineering 2010: 179.

MLA (9th ed.) Citation

Krka, Ivo, et al. "Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference." ICSE: International Conference on Software Engineering, 2010, p. 179.