Ruland, S., Lochau, M., & Jakobs, M. (2020). HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). Fundamental Approaches to Software Engineering.
Chicago-стиль цитированияRuland, Sebastian, Malte Lochau, and Marie-Christine Jakobs. "HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)." Fundamental Approaches to Software Engineering 2020.
MLA-цитированиеRuland, Sebastian, Malte Lochau, and Marie-Christine Jakobs. "HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)." Fundamental Approaches to Software Engineering 2020.