An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator
Crossref DOI link: https://doi.org/10.1007/s10836-018-5747-4
Published Online: 2018-08-30
Published Print: 2018-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Osama, Muhammad
Gaber, Lamya
Hussein, Aziza I. http://orcid.org/0000-0002-5023-5348
Mahmoud, Hanafy
Text and Data Mining valid from 2018-08-30
Article History
Received: 26 January 2018
Accepted: 15 August 2018
First Online: 30 August 2018