Discovering specification violations in networked software systems.

Robert J. Walls, Yuriy Brun, Marc Liberatore, Brian Neil Levine

Browse the full ISSRE paper archive.