Strategies for scalable symbolic execution-driven test generation for programs
From MaRDI portal
Publication:350939
DOI10.1007/s11432-011-4368-7zbMath1267.68094OpenAlexW2075944923MaRDI QIDQ350939
Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan
Publication date: 3 July 2013
Published in: Science China. Information Sciences (Search for Journal in Brave)
Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4368-7
Uses Software
Cites Work