BibSonomy :: user  :: ist_spl ::

bookmarks

publications

(1)   

• Using Formal Methods to Derive Test Frames in Category-Partition Testing
  Paul Ammann and Jeff Offutt Compass'94: 9th Annual Conference on Computer Assurance, page69--80. Gaithersburg, MD, National Institute of Standards and Technology, (1994)
  to category-partition TSL testing Domain-Partitioning ADT Z by ist_spl on Jun 26, 2008, 4:27 PM
  URL | BibTeX