ESBMC 6.1: automated test case generation using bounded model checking
Crossref DOI link: https://doi.org/10.1007/s10009-020-00571-2
Published Online: 2020-05-18
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gadelha, Mikhail R.
Menezes, Rafael S.
Cordeiro, Lucas C.
Text and Data Mining valid from 2020-05-18
Version of Record valid from 2020-05-18
Article History
First Online: 18 May 2020