Books & papers on generative testing? Essential textbooks in software testing?

9

Books & papers on generative testing? Essential textbooks in software testing? ☶ ask testing
authored by rs86 26 days ago | 3 comments

3

Hi, I am surveying the literature on generative testing for my MSc thesis in CS.

I would be immensely grateful for anyone who shares the names of papers and books that cover this subject, plus books and papers on software testing in general.

Huge thanks to the community!

4
catwell edited 26 days ago | link
No books, but here are a few links you may find interesting as a starting point:
- Matt Might’s introduction to QuickCheck
- The documentation of Theft, and in particular this list of links
- Dan Luu’s post
- The Eiffel AutoTest project (see the list of papers at the end of the page)
- The bibliography in this paper (also Eiffel-related)
1

brendan 26 days ago | link

For Erlang there’s this E-book: http://propertesting.com/

Some good stuff on the Hypothesis docs: https://hypothesis.readthedocs.io/en/latest/
1

nickpsecurity edited 26 days ago | link

Prior discussion here. Survey paper here. Quite a few results on Lobsters with this search, too.