Combining Model Checking and Symbolic Execution for Software Testing [chapter]

Corina S. Păsăreanu
2012 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-30473-6_2 fatcat:l4hkrwpqgja4xmab6cya2ex4nu