APA (7th ed.) Citation

Filieri, A., Pasareanu, C. S., & Visser, W. (2013). Reliability Analysis in Symbolic Pathfinder. ICSE: International Conference on Software Engineering, 622.

Chicago Style (17th ed.) Citation

Filieri, Antonio, Corina S. Pasareanu, and Willem Visser. "Reliability Analysis in Symbolic Pathfinder." ICSE: International Conference on Software Engineering 2013: 622.

MLA (9th ed.) Citation

Filieri, Antonio, et al. "Reliability Analysis in Symbolic Pathfinder." ICSE: International Conference on Software Engineering, 2013, p. 622.