Back to Results
First PageMeta Content
Software engineering / Software testing / Computing / Theoretical computer science / Formal methods / Systems engineering / Logic in computer science / Formal verification / Mutation testing / Code coverage / KeY / Specification


Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2
Add to Reading List

Document Date: 2018-06-20 05:46:32

Open Document

File Size: 319,05 KB

Share Result on Facebook