Cite
MLA Citation
Jérôme Cantenot et al.. “Test generation with Satisfiability Modulo Theories solvers in model‐based testing.” Software testing, verification & reliability, vol. 24, 2014, pp. 499–531. http://access.bl.uk/ark:/81055/vdc_100025052479.0x00002c