@BOOK{ Book!D - 90170761,
AUTHOR = " Mainul Islam",
TITLE = "Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool",
URL = "/book/90170761/Automatic-test-case-generation-with-dynamic-symbol/"}