Open AccessQuickly detecting relevant program invariants
Author(s) -
Michael D. Ernst,
Adam Czeisler,
William G. Griswold,
David Notkin
Publication year - 2002
Publication title -
proceedings of the 2000 international conference on software engineering. icse 2000 the new millennium
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.1109/icse.2000.870435
Subject(s) - invariant (physics) , limiting , computer science , code (set theory) , programming language , software , relevance (law) , theoretical computer science , program code , variable (mathematics) , detector , mathematics , set (abstract data type) , engineering , mechanical engineering , mathematical analysis , telecommunications , law , political science , mathematical physics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom