Property-Based Testing of Browser Rendering Engines with a Consensus Oracle.

Joel Martin, David Levine

Browse the full COMPSAC paper archive.