Bibsonomy :: author  ::

bookmarks

publications

(39)

• Applicability of Software Validation Techniques to Scientific Programs.
  William E. Howden ACM Trans. Program. Lang. Syst. 2 307-320 (1980)
  to dblp by dblp on 2006-04-03 00:00:00
  | URL | BibTeX  
• An investigation of the applicability of data usage analysis.
  Linda L. Werner and William E. Howden Journal of Systems and Software 15 205-215 (1991)
  to dblp by dblp on 2006-02-01 00:00:00
  | URL | BibTeX  
• Functional testing and design abstractions.
  William E. Howden Journal of Systems and Software 1 307-313 (1980)
  to dblp by dblp on 2006-02-01 00:00:00
  | URL | BibTeX  
• Software Test Selection Patterns and Elusive Bugs.
  William E. Howden COMPSAC (1) 25-32 (2005)
  to dblp by dblp on 2006-01-06 00:00:00
  | URL | BibTeX  
• Solution plans and interactive problem solving.
  William E. Howden Computers & Graphics 1 21-26 (1975)
  to dblp by dblp on 2005-11-03 00:00:00
  | URL | BibTeX  
• Program Testing versus Proofs of Correctness.
  William E. Howden Softw. Test., Verif. Reliab. 1 5-15 (1991)
  to dblp by dblp on 2004-07-27 00:00:00
  | URL | BibTeX  
• Verification of complex systems using incremental operational specifications.
  William E. Howden and David Nesbitt and Cheron Vail and Bruce Wieand Inf. Sci. 57-58 427-450 (1991)
  to dblp by dblp on 2004-06-02 00:00:00
  | URL | BibTeX  
• Software Trustability Analysis.
  William E. Howden and Yudong Huang ACM Trans. Softw. Eng. Methodol. 4 36-64 (1995)
  to dblp by dblp on 2003-11-26 00:00:00
  | URL | BibTeX  
• An Evaluation of the Effectiveness of Symbolic Testing.
  William E. Howden Softw., Pract. Exper. 8 381-397 (1978)
  to dblp by dblp on 2003-11-25 00:00:00
  | URL | BibTeX  
• Algebraic Program Testing.
  William E. Howden Acta Inf. 10 53-66 (1978)
  to dblp by dblp on 2003-11-25 00:00:00
  | URL | BibTeX