SnapCheck: Automated Testing for Snap

Wengran Wang, Chenhao Zhang, Andreas Stahlbauer, Gordon Fraser, Thomas W. Price

Browse the full ITiCSE paper archive.