Author of the publication

Generating Tests by Example.

, , and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 406-429. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generating Modulo-2 Linear Invariants for Hardware Model Checking., , , and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 54-67. Springer, (2014)Modular Verification of Concurrent Programs via Sequential Model Checking., , and . CoRR, (2021)Modular Verification of Concurrent Programs via Sequential Model Checking., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 228-247. Springer, (2018)Generating Tests by Example., , and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 406-429. Springer, (2018)