Lobsters
- Controlling Nondeterminism in Model-Based Tests with Prophecy Variables https://concerningquality.com/prophecy-variables/ 4 comments databases , formalmethods , testing
Linked pages
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: Controlling Nondeterminism in Model-Based Tests with Prophecy Variables | Concerning Quality
See how to search.