3 ms·
Do you know the paper for Atlas?
by bigfish24 3y ago
Do you know the paper for Atlas?
- aseipp 3y agoYes, I managed to find it: "eXtreme Modeling in Practice" https://arxiv.org/pdf/2006.00915.pdf https://arxiv.org/pdf/2006.00915.pdf Unfortunately I got the product wrong; it was not Atlas, it was Realm Sync. All of the test-case generation stuff is in Section 5.