Cite
APA Citation
Cantenot, J., Ambert, F., Bouquet, F., Brucker, A. D., & Julliand, J. (2014). test generation with Satisfiability Modulo Theories solvers in model‐based testing. Software testing, verification & reliability, 24, 499–531. http://access.bl.uk/ark:/81055/vdc_100025052479.0x00002c