Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer
Crossref DOI link: https://doi.org/10.1007/978-3-319-71734-0_5
Published Online: 2017-12-30
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kotlyarov, Vsevolod
Drobintsev, Pavel
Voinov, Nikita
Selin, Ivan
Tolstoles, Alexey
License valid from 2017-12-30