State Space Explosion: The Reason We Can Never Test Software to Perfection | Concerning Quality - discu.eu

Lobsters

State Space Explosion: The Reason We Can Never Test Software to Perfection (2021) https://concerningquality.com/state-explosion/ 5 comments 23/8/2022 formalmethods , testing

Linked pages

E.W. Dijkstra Archive: On the cruelty of really teaching computing science (EWD 1036) https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1036.html 105 comments
Edmund M. Clarke - Wikipedia https://en.wikipedia.org/wiki/Edmund_M._Clarke 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:concerningquality.com

Search title: State Space Explosion: The Reason We Can Never Test Software to Perfection | Concerning Quality

See how to search.

Submit link to: