BibSonomy publications for /author/Howden http://www.bibsonomy.org/author/Howden BibSonomy RSS Feed for /author/Howden Superfit Combinational Elusive Bug Detection. dblp http://www.bibsonomy.org/bibtex/200c0febbef448f00a0d49e06ca6e960d/dblp dblp 2008-08-05T00:00:00+02:00 dblp
Superfit Combinational Elusive Bug Detection.
R. Barzin and S. Fukushima and William E. Howden and S. Sharifi COMPSAC 144-151 (2008)
to dblp by dblp on 2008-08-05 00:00:00
]]> Applicability of Software Validation Techniques to Scientific Programs. dblp http://www.bibsonomy.org/bibtex/210fe33fa17d231adb8a819e2c0271eb1/dblp dblp 2006-04-03T00:00:00+02:00 dblp
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
]]> An investigation of the applicability of data usage analysis. dblp http://www.bibsonomy.org/bibtex/24cb62d6bb1adfd3c62bac16d513bc5ec/dblp dblp 2006-02-01T00:00:00+01:00 dblp
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
]]> Functional testing and design abstractions. dblp http://www.bibsonomy.org/bibtex/2b6d19680790ebb8d3151fadef1d0c95b/dblp dblp 2006-02-01T00:00:00+01:00 dblp
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
]]> Software Test Selection Patterns and Elusive Bugs. dblp http://www.bibsonomy.org/bibtex/29064acd95777625bc60884a25936abb1/dblp dblp 2006-01-06T00:00:00+01:00 dblp
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
]]> Solution plans and interactive problem solving. dblp http://www.bibsonomy.org/bibtex/24276e116eebece6463c2fb8bb5d3294c/dblp dblp 2005-11-03T00:00:00+01:00 dblp
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
]]> Program Testing versus Proofs of Correctness. dblp http://www.bibsonomy.org/bibtex/2ffffe9ad108c1dab878fac849a1c43db/dblp dblp 2004-07-27T00:00:00+02:00 dblp
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
]]> Verification of complex systems using incremental operational specifications. dblp http://www.bibsonomy.org/bibtex/281d02907cd491f721451a63aaa5bc3af/dblp dblp 2004-06-02T00:00:00+02:00 dblp
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
]]> Software Trustability Analysis. dblp http://www.bibsonomy.org/bibtex/2cbea6850df86174926122e22463a951c/dblp dblp 2003-11-26T00:00:00+01:00 dblp
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
]]> An Evaluation of the Effectiveness of Symbolic Testing. dblp http://www.bibsonomy.org/bibtex/2f42ebf833bae3f08448ac6d12052008d/dblp dblp 2003-11-25T00:00:00+01:00 dblp
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
]]>