Robert Dewar Olivier Hainque Dirk Craeynest Philippe Waroquiers Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. 193-204 2002 conf/adaEurope/2002 Ada-Europe http://link.springer.de/link/service/series/0558/bibs/2361/23610193.htm db/conf/adaEurope/adaEurope2002.html#DewarHCW02