11. RepOK‐based reduction of bounded exhaustive testing. (5th October 2014) Authors: Bengolea, Valeria; Aguirre, Nazareno; Marinov, Darko; Frias, Marcelo; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 629 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Test generation from recursive tile systems. (2nd April 2014) Authors: Chédor, Sébastien; Jéron, Thierry; Morvan, Christophe; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 7(2014) Page Start: 532 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Test generation with Satisfiability Modulo Theories solvers in model‐based testing. (29th May 2014) Authors: Cantenot, Jérôme; Ambert, Fabrice; Bouquet, Fabrice; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 7(2014) Page Start: 499 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗