Timm:: kudos
What's new (Oct'03)

new | hot | fun | blog
2004: jun | may | mar | feb | jan
2003: dec | nov | oct | sept | aug | jul | jun | may | apr | mar
Oct 31 '03:
  • Good signs about better NASA software
  • Sent to HASE04: defect detectors stable across numerous NASA systems
  • Trips to Austin and Pittsburgh
  • Seen at Austin: a 15th century Gutenberg bible
  • Halloween is here.
    • Oct 17 '03:
  • Gary Boetticher gives me a last supper
    • Oct 14 '03:
  • Sent to Journal of Empirical SE: simple defect detectors
    • Oct 8 '03:
  • Eliza Chiang passes masters: high quality software, sooner
    • Oct 6 '03:
  • Accepted to NASA SEW'03: Dustin's Model-Based Software Testing
  • Also to SEW, the LURCH gang on random search and model checking
  • Sent to Tools with AI journal: Learning Tiny Theories
    •   See who's visiting this page. bite::src ©2003::legal 
     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     


    keyword: [TImM'sPaGES]