Grzegorz Anielak, Grzegorz Jakacki, Slawomir Lasota. Incremental test case generation using bounded model checking: an application to automatic rating. STTT, 17(3):339-349, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.