Generating tests by example

DOI10.1007/978-3-319-73721-8_19zbMATH Open1446.68097OpenAlexW2776247834MaRDI QIDQ3296342FDOQ3296342

Authors: Hila Peleg, Dan Rasin, Eran Yahav 

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_19

Recommendations

• Do judge a test by its cover. Combining combinatorial and property-based testing
• Generating Unit Tests from Formal Proofs
• scientific article; zbMATH DE number 2079824
• Towards substructural property-based testing
• JMLUnit: the next generation

Mathematics Subject Classification ID

Randomized algorithms (68W20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Title not available (Why is that?)
• Do judge a test by its cover. Combining combinatorial and property-based testing
• Title not available (Why is that?)

This page was built for publication: Generating tests by example

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296342)