The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

William E. Howden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. William E. Howden
    Functional Program Testing. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1980, v:6, n:2, pp:162-169 [Journal]
  2. William E. Howden
    A Functional Approach to Program Testing and Analysis. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:10, pp:997-1005 [Journal]
  3. William E. Howden
    Keynote Address: Auditing Informal Software Testing and Analysis Processes. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:332-0 [Conf]
  4. William E. Howden, Suehee Pak
    The Derivation of Functional Specifications from Source Code. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:166-0 [Conf]
  5. William E. Howden
    Software Test Selection Patterns and Elusive Bugs. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:25-32 [Conf]
  6. William E. Howden
    Systems testing and statistical test data coverage. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:500-504 [Conf]
  7. William E. Howden, G. M. Shi
    Temporal Event Analysis and Program Understanding. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:4-11 [Conf]
  8. William E. Howden
    Good Enough versus High Assurance Software Testing and Evaluation Methods. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:166-0 [Conf]
  9. William E. Howden
    Error-Based Validation Completeness. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:357- [Conf]
  10. William E. Howden
    Theoretical and Empirical Studies of Program Testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 1978, pp:305-311 [Conf]
  11. William E. Howden
    Completeness Criteria for Testing Elementary Program Functions. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:235-243 [Conf]
  12. William E. Howden
    A Comparison of Software and Hardware Testing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:344- [Conf]
  13. William E. Howden
    Validating Programs without Specifications. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:2-9 [Conf]
  14. William E. Howden, Yudong Huang
    Confidence Oriented Software Dependability Measurement (Abstract). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:196- [Conf]
  15. William E. Howden, G. M. Shi
    Linear and Structural Event Sequence Analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:98-106 [Conf]
  16. William E. Howden
    Algebraic Program Testing. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:53-66 [Journal]
  17. William E. Howden
    Contemporary Software Development Environments. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:5, pp:318-329 [Journal]
  18. William E. Howden
    Solution plans and interactive problem solving. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1975, v:1, n:1, pp:21-26 [Journal]
  19. William E. Howden
    Life-Cycle Software Validation. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1982, v:15, n:2, pp:71-78 [Journal]
  20. William E. Howden
    Validation of Scientific Programs. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1982, v:14, n:2, pp:193-227 [Journal]
  21. William E. Howden
    Lindenmayer Grammars and Symbolic Testing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:1, pp:36-39 [Journal]
  22. William E. Howden, David Nesbitt, Cheron Vail, Bruce Wieand
    Verification of complex systems using incremental operational specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1991, v:57, n:, pp:427-450 [Journal]
  23. William E. Howden
    Functional testing and design abstractions. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1980, v:1, n:, pp:307-313 [Journal]
  24. Linda L. Werner, William E. Howden
    An investigation of the applicability of data usage analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:15, n:3, pp:205-215 [Journal]
  25. William E. Howden
    An Evaluation of the Effectiveness of Symbolic Testing. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1978, v:8, n:4, pp:381-397 [Journal]
  26. William E. Howden
    Program Testing versus Proofs of Correctness. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1991, v:1, n:1, pp:5-15 [Journal]
  27. William E. Howden
    Methodology for the Generation of Program Test Data. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1975, v:24, n:5, pp:554-560 [Journal]
  28. William E. Howden
    Applicability of Software Validation Techniques to Scientific Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:307-320 [Journal]
  29. William E. Howden, Yudong Huang
    Software Trustability Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1995, v:4, n:1, pp:36-64 [Journal]
  30. William E. Howden
    Reliability of the Path Analysis Testing Strategy. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1976, v:2, n:3, pp:208-215 [Journal]
  31. William E. Howden
    Symbolic Testing and the DISSECT Symbolic Evaluation System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:4, pp:266-278 [Journal]
  32. William E. Howden
    DISSECT-A Symbolic Evaluation and Program Testing System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:1, pp:70-73 [Journal]
  33. William E. Howden
    Theoretical and Empirical Studies of Program Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:4, pp:293-298 [Journal]
  34. William E. Howden
    Weak Mutation Testing and Completeness of Test Sets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:4, pp:371-379 [Journal]
  35. William E. Howden
    Comments Analysis and Programming Errors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:1, pp:72-81 [Journal]
  36. William E. Howden, Bruce Wieand
    QDA-A Method for Systematic Informal Program Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:6, pp:445-462 [Journal]
  37. Shmuel Rotenstreich, William E. Howden
    Two-Dimensional Program Design. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:3, pp:377-384 [Journal]

  38. Experiments with a symbolic evaluation system. [Citation Graph (, )][DBLP]


  39. An approach to transfer verification and validation technology. [Citation Graph (, )][DBLP]


  40. Superfit Combinational Elusive Bug Detection. [Citation Graph (, )][DBLP]


  41. Test Frameworks for Elusive Bug Testing. [Citation Graph (, )][DBLP]


  42. Elusive Bugs, Bounded Exhaustive Testing and Incomplete Oracles. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002