Strategies for scalable symbolic execution-driven test generation for programs

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

zbMATH Keywords

test generationsoftware testingconflict analysispath explosionsymbolic execution

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CUTE
• SMT-LIB
• Yices
• DART
• Eclat
• CVC Lite
• MathSAT
• CIL
• STP

Cites Work

• Demand-Driven Compositional Symbolic Execution
• Unnamed Item
• Unnamed Item