3 ms·
Yes, 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 pro
by aseipp 3y ago
Yes, 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.