Petrov, M., Gagarski, K., Belyaev, M., & Itsykson, V. Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver. Yaroslavl State University.
Chicago Style (17th ed.) CitationPetrov, Maxim, Kirill Gagarski, Mikhail Belyaev, and Vladimir Itsykson. Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver. Yaroslavl State University.
MLA (9th ed.) CitationPetrov, Maxim, et al. Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver. Yaroslavl State University.
Warning: These citations may not always be 100% accurate.