-
1
المؤلفون: Tingliang Zhou, Jing Liu, Zhiwei Li, Junfeng Sun, Haiying Sun
المصدر: APSEC
مصطلحات موضوعية: Programming language, Computer science, Process (computing), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Test (assessment), Test case, 010201 computation theory & mathematics, Satisfiability modulo theories, 0202 electrical engineering, electronic engineering, information engineering, Automatic test generation, Boolean expression, computer, Automatic testing, Interlocking
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aee532046f1e9de6171feace9a132acd
https://doi.org/10.1109/apsec.2017.58