KEITH W.  MILLER

Department of Computer Science, UHB 3100; University of Illinois at Springfield
One University Plaza; Springfield, Illinois 62703

Phone: (217) 206-7327; Homepage: http://people.uis.edu/kmill2

Email withheld due to the inconvenience of spam; available on written request.

EDUCATION

·         Ph.D., Dept. of Computer Science, The University of Iowa (1983).

·         M.S., Dept. of Mathematics, The College of William & Mary (1976).

·         B.S., School of Education, Concordia Teachers College (1973).

PROFESSIONAL EXPERIENCES

·         Professor, Computer Science, University of Illinois at Springfield (1993-present, Professor since 2000).

·         Expert witness: intellectual property and software quality. 3 cases. (1999-present).

·         Associate Professor, Computer Science, The College of William and Mary in Virginia (1983-1985, 1987-1993).

·         Assistant Professor, Mathematical Sciences, Virginia Commonwealth University, Richmond (1985-1987).

·         Software Engineering Consultant, RST (now Cigital) Corp., Reston, Virginia (1992-1999); Computer Sciences Corp., Hampton, Virginia (1983-1991); C & P Telephone Co., Norfolk, Virginia (1988-1992); Williamsburg Community Hospital, Radiology Dept., Williamsburg, Virginia (1984-1989).

·         Image Processing Lab Head, Biomedical Engineering, The University of Iowa, Iowa City, Iowa (1982-1983).

·         Instructor, Dept. of Computer Science, The University of Iowa, Iowa City, Iowa (1979-1981).

·         Assistant Professor, Dept. of Mathematics, Concordia College, Edmonton, Alberta (1973-1975, 1976-1978)

GRANTS AND AWARDS

·         UIS Collaborative Seed Funding Award. Impacts on ecosystem carbon storage after wetland restoration from croplands in Illinois. H. Chen, M. Lemke, and K. Miller (2007), $5000.

·         UIS Collaborative Seed Funding Award. Preliminary protist surveys in floodplain lakes of the Illinois and Parana Rivers. M. Lemke, K. Miller, M. Purnell, J. Bonacum, J. Manthei,  and J. GoldbergBelle (2006), $5000.

·         Outstanding Service Award. ACM Special Interest Group on Computers and Society. K. Miller (2006).

·         Lumpkin Family Foundation. Exploring land-use practices for river floodplains. M. Lemke, K. Miller, and S. Jennings (2006-2007), $15,000.

·         Comparative Societies Course Development Fund, University of Illinois at Springfield. Habits of the electronic heart: cyber-community and cyber-cultures. K. Miller and D. Marshall (2005), $2100.

·         CGS / Sloan Foundation, Professional Science Master's Initiative in Science and Mathematics. Researching a Bioinformatics Masters at UIS. M. Lemke, H. Berman, B. Ferrara, E. Fisher, D. Jenkins, D. Koua, K . Miller, L. Newman, and D. Schuldt. (2002), $8000.

·         University of Illinois, University Scholar (2000-2003), $30,000.

·         Illinois Board of Higher Education. Encouraging responsible computer use in Illinois. K. Miller, F. Appel, and B. Coup  (2001-2002), $75,000.

·         National Science Foundation. Teaching computer ethics with workshops and the Web . K. Miller, T. Camp, D. Johnson, and L. Smith King (2000-2003), $417,422.

·         University of Illinois at Springfield Online Course Faculty Stipend. Computer Ethics Online. K. Miller (Summer 1998), $5,000.

·         Certificate of Appreciation from the IEEE Computer Society for contributions to the development of the draft code of ethics for software engineering. K. Miller (1997).

·         University of Illinois Intercampus Collaboration Award. Interactive television and the Web: Synergy and security. K. Miller, M. Woodbury, and L. Dale. (1997-1998), $8,000.

·         National Educational Computing Conference 97: NSF Special Sessions. National Science Foundation. K. Miller (1997-1998), $4,100.

·         University of Illinois at Springfield, Summer Research Grant. Automatic identification of error-prone modules. K. Miller (1997), $1,500.

·         Electronic Learning about Software Testing, University of Illinois, Vice President's Application of Learning Technologies in Higher Education Program. K. Miller (1995-1996), $16,600.

·         NECC '95 Special Session for NSF DUE Projects, National Science Foundation. K. Miller (1995-1996), $21,376.

·         Alumni Fellow Teaching Award from the Society of the Alumni, The College of William and Mary, Williamsburg, Virginia. K. Miller (1989).

·         Toward a Practical Theory of Ultra-Reliable Software, NASA Langley Research Center, Hampton, Virginia. K. Miller, R. Noonan, and S. Park  (1988-1995), $400,000.

·         Parallel Processing, Software Engineering, and Scientific Computing, NASA Langley Research Center, Hampton, Virginia. D. Nicol and K. Miller  (1989-1992), $102,000.

·         Managing and Visualizing Scientific Data, NASA Langley Research Center, Hampton, Virginia. K. Miller and J. Long (1988-1989), $18,000.

·         Technical Brief Award for image processing software development, NASA Langley Research Center, Hampton, Virginia. N. Faulcon, K. Miller and J. Monteith  (1987).

·         Graduate Student Support, Army Engineer Topographic Labs, Fort Belvoir, Virginia. K. Miller, R. Alanso, M. Turner, and P. Wu  (1987),  $4929.

·         Specifying and Developing Image Processing Software Using Abstract Data Types, NASA Langley Research Center, Hampton, Virginia. K. Miller  (1984-1986), $29,632.

·         ASEE Research Fellowship for image processing research at NASA Langley Research Center, Hampton, Virginia. K. Miller (1984).

·         Teacher of the Year at Concordia College, Edmonton Alberta. K. Miller (1977).

JOURNAL PUBLICATIONS

1.       K. Miller. Critiquing a Critique: A Comment on “A Critique of Positive Responsibility in Computing.” Science and Engineering Ethics. Forthcoming.

2.       K. Miller. Open source software and consequential responsibility: GPU, GPL, and the no military use clause. APA Newsletter of Philosophy and Computers, Vol. 6, No. 2, P. Boltuc, ed. (Spring, 2007), 17-22.

3.       J. Voas and K. Miller. Software certification services: Encouraging trust and reasonable expectations. IT Professional, Vol. 8, No. 5 (Sept/Oct 2006), 39-46.

4.       F. Grodzinsky, K. Miller  and M. Wolf. Influences on and incentives for increasing software reliability, Journal of Information, Communication and Ethics in Society, Vol. 4, No. 2 (2006), 103-113.

5.       K. Miller and J. Voas. Software test cases: the power of one. IT Professional, Vol. 8, No. 1 (Jan/Feb 2006), 44-48.

6.       K. Miller and D. Larson. Agile methods and computer ethics: raising the level of discourse about technological choices. IEEE Technology and Society, Vol. 24, No.4 (Winter 2005), 36-43.

7.       K. Miller. Web standards: Why so many stray from the narrow path. Science and Engineering Ethics, Vol. 11, No. 3 (July, 2005), 477-479.

8.       K. Miller and D. Larson. Angels and artifacts: Moral agents in the age of computers and networks. Journal of Information, Communication & Ethics in Society, Vol. 3, No. 3 (July, 2005), 151-157.

9.       D. Larson and K. Miller. Silver bullets for little monsters: incremental progress in making software more trustworthy. IT Professional, Vol. 7, No. 2 (March/April 2005), 9-13.

10.    D. Gotterbarn and K. Miller. Computer ethics in the undergraduate curriculum: case studies and the joint software engineer's code. Journal of Computing Sciences in Colleges, Vol. 20, No. 2 (December 2004), 156-167.

11.    K. Miller. Test driven development on the cheap: text files and explicit scaffolding. Journal of Computing Sciences in Colleges, Vol. 20, No. 2 (December 2004), 181-189.

12.    C. Huff, R. Anderson, J. Currie Little, D. Johnson, R. Kling, C. D. Martin, K. Miller. Integrating the Ethical and Social Context of Computing into the CS Curriculum: An Interim Report from the Content Subcommittee of the ImpactCS Steering Committee. The Ethicomp Journal (online) Vol. 1,  No. 2 (June 2004),  http://www.ccsr.cse.dmu.ac.uk/journal/ (accessed June 8, 2004),  (reprint of conference paper).

13.    K. Miller. The future looks dim: building the information society with shoddy materials. The Ethicomp Journal (online) Vol. 1,  No. 1 (January 2004),  http://www.ccsr.cse.dmu.ac.uk/journal/ (accessed Feb. 4, 2004),  (reprint of conference paper).

14.     F. Grodzinsky, K. Miller and M.  Wolfe.  Ethical Issues in open source software. Journal of Information, Communication and Ethics in Society, Vol. 1, Issue 4 (Oct. 2003), 193-205. (reprint of conference paper)

15.    C. Huff, D. Johnson and K. Miller. Virtual harms and real responsibility. IEEE Technology and Society Magazine Vol. 22, No. 2 (Summer, 2003), 12-19. (revision of conference paper)

16.    D. Jenkins, S. Grissom and K. Miller. Consequences of prairie wetland drainage for crustacean biodiversity and metapopulations. Conservation Biology Vol. 17, No. 1 (February 2003), 158-167.

17.    D. Johnson and K. Miller. Is diversity in computing a moral matter? Inroads, Vol. 33, No. 2 (June, 2002), 9-10.

18.    K. Miller. A modest proposal for software testing. IEEE Software, Vol. 18, No. 2 (March/April 2001), 96-98.

19.    D. Johnson and K. Miller. The ties that bind: connections, Comet Cursors, and consent. Computers and Society, Vol. 31, No. 1 (March 2001), 12-16.

20.    D. Gotterbarn, K. Miller and S. Rogerson. Code reuse: a response. Software Engineering Notes, Vol. 24, No. 3 (May 1999), 4-6.

21.    D. Gotterbarn, K. Miller, and S. Rogerson. Software engineering code of ethics is approved. Communications of the ACM, Vol. 42, No. 10 (October 1999), 102-107 and IEEE Computer, Vol. 32, No. 10 (October 1999), 84-88.

22.    K. Miller and J. Voas. An ethical can of worms for software certifiers. IT Professional, Vol. 1, No. 5, (Sept./Oct. 1999), 18-20.

23.    S. Grissom and K. Miller. N version testing in the undergraduate curriculum. Computer Science Education, Vol. 9, No. 1 (April, 1999), 1-7.

24.    K. Miller. Software informed consent: docete emptorem, not caveat emptor. Science and Engineering Ethics, Vol. 4, No. 3 (July 1998), 357-362.

25.    T. Jewett and K. Miller, eds. Proceedings of the Conference on Ethics and Social Impact Component (POLICY-98) in Computers and Society, Vol. 28, No. 2 (May 10, 1998).

26.    D. Gotterbarn, K. Miller, and S. Rogerson. Software engineering code of ethics: IEEE-CS/ACM Joint Task Force on Software Engineering and Professional Practices. Appearing both in IEEE Computer (October 1997), 88-92; and in Communications of the ACM (November 1997), 110-118.

27.    J. Voas, F. Charron, G. McGraw, K. Miller, and M. Friedman. Predicting how badly 'good' software can behave. IEEE Software, Vol. 14, No. 4 (July/August, 1997), 73-83.

28.    D. Gotterbarn, K. Miller, and S. Rogerson. Software engineering ethics code. Computers and Society (June, 1997), 42-45.

29.    C. D. Martin, C. Huff, D. Gotterbarn, and K. Miller. Implementing a tenth strand in the CS curriculum. Communications of the ACM, Vol. 39, No. 12 (December, 1996), 75-84.

30.    C. D. Martin, C. Huff, D. Gotterbarn, and K. Miller. A framework for implementing and teaching the social and ethical impact of computing. Education and Information Technologies. Vol. 1, No. 1 (1996).

31.    J. Voas and K. Miller. Software testability: the new verification. IEEE Software, Vol. 12, No. 3 (May, 1995), 17-28.

32.    J. Voas, C. Michael, and K. Miller. Confidently assessing a zero probability of software failure. High Integrity Systems Journal, Vol. 1, No. 3 (1995), 269-275.

33.    J. Voas and K. Miller. Dynamic testability analysis for assessing fault tolerance. High Integrity Systems Journal, Vol. 1, No. 2 (1994), 171-178.

34.    W. R. Collins, K. Miller, B. Spielman, and P. Wherry. How good is good enough? An ethical analysis of software construction and use. Communications of the ACM, Vol. 37, No. 1 (January 1994), 81-91.

35.    S. Park, K. Miller, and P. Stockmeyer. Response to a series of technical correspondence. Communications of the ACM. Vol. 36, No. 7 (July 1993), 108-110.

36.    J. Voas and K. Miller. Semantic metrics for software testability. Journal of Systems and Software. Vol. 20, No. 3 (March 1993), 207-216.

37.    J. Voas and K. Miller. Applying a dynamic testability technique to debugging certain classes of software faults. Software Quality Journal (March 1993), 61-75.

38.    J. Voas and K. Miller. The revealing power of a test case. Journal of Software Testing, Verification, and Reliability. Vol. 2, No. 1 (January 1993), 25-42.

39.    J. Voas, K. Miller, and J. Payne. Designing programs that are less likely to hide faults. Journal of Systems and Software. Vol. 20 (January, 1993), 93-100.

40.    K. Miller, L. Morell, R. Noonan, S. Park, D. Nicol, B. Murrill, and J. Voas. Estimating the probability of failure when testing reveals no errors. IEEE Trans. on Software Engineering, Vol. 18, No. 1 (January, 1992), 33-43.

41.    R. Kincaid, K. Miller, and S. Park. Simulation analysis of mobile servers on a congested network. American Journal of Mathematical and Management Sciences. Vol. 12, No. 1 (1992), 43-64.

42.    W. R. Collins and K. Miller. A paramedic method for computing professionals. Journal of Systems and Software (January, 1992), 47-84.

43.    J. Burton, K. Miller, and S. Park. Hexagonally sampled digital image system fidelity analysis. Journal of Imaging Technology, Vol. 17, No. 6 (December 1991), 279-283.

44.    J. Voas, L. Morell, and K. Miller. Predicting where faults can hide from testing. IEEE Software, Vol. 8, No. 2 (March 1991), 34-48.

45.    W. R. Collins and K. Miller. Defining and implementing FORTRAN generic abstract data types. Information and Software Technology, Vol. 33, No. 4 (March, 1991), 281-291.

46.    W. R. Collins and K. Miller. Programming and the public trust. National Forum, Vol. 29 (Summer, 1991), 28-29.

47.    S. Reichenbach, J. Burton, and K. Miller. A comparison of algorithms for computing the discrete Hartley transform. Journal of the Optical Society of America A, Vol. 6, No. 6 (June 1989), 818-822.

48.    K. Miller, L. Morell, and F. Stevens. Enforcing data abstraction to enhance the reuse of FORTRAN software. IEEE Software, Vol. 5, No. 6 (November, 1988), 50-58.

49.    S. Park and K. Miller. Random number generators: good ones are hard to find. Communications of the ACM, Vol. 31, No. 10 (October, 1988), 1192-1201.

50.    A. Zuckerwar and K. Miller. Vibrational-vibrational coupling in air at low humidities. Journal of the Acoustical Society of America, Vol.84, No. 3 (September, 1988), 970-977.

51.    K. Miller. Integrating ethics into the computer science curriculum. Computer Science Education, Vol.1, No.1 (August, 1988), 37-52.

52.    R. Ford and K. Miller. Abstract data type development and implementation: an example. IEEE Trans. on Software Engineering, Vol.SE-11, No.10 (Oct. 1985) 1033-1037.

BOOK CONTRIBUTIONS and WEB COLLECTIONS

1.       K. Miller and J. Moor. The ethics of spam. Handbook of Information and Computer Ethics. K. Himma and H. Tavani, eds. John Wiley and Sons, Inc. forthcoming.

2.       M. Loui and K. Miller. Professional ethics for computing professionals. Encyclopedia of Software Engineering, P. LaPlante, ed. Taylor and Francis Group, (2007).

3.       F. Grodzinsky, K. Miller and M.  Wolf. The ethical implications of the messenger's haircut: steganography in the digital age. In  Internet Security:  Hacking, Counterhacking, and Society, K. Himma ed., Jones and Bartlett (2006).

4.       K. Miller. Computer hardware and software, and the ethical implications of that distinction. In The Encyclopedia of Science, Technology, and Ethics, C. Mitchum, ed. Macmillan Reference (2005).

5.       K. Miller. Computer virus and infection. In The Encyclopedia of Science, Technology, and Ethics, C. Mitchum, ed. Macmillan Reference (2005).

6.       D. Johnson and K. Miller. Ethical issues for computer scientists. The Computer Science and Engineering Handbook 2nd Ed, A. Tucker, ed. Springer-Verlag (2004), 2.1-2.12.

7.       F. Grodzinsky, K. Miller and M.  Wolf. Ethical Issues in Open Source Software. Readings  in Cyberethics 2nd edition, R. Spinello and H. Tavani, eds.  Jones and Bartlett, 2004. 351-366. (reprinted conference paper),

8.       K. Miller, Making Decisions About Computers, Information and Society, in An Invitation to Computer Science, 3rd Ed., by G. Michael Schneider and Judith L. Gersting. Brooks/Cole, (2004), 659-684.

9.       C. Huff, D. Johnson, and K. Miller. Virtual Harms and Real Responsibility, in Social, Ethical, and Policy Implications of Information Technology, L. Brennan and V. Johnson, eds. Information Science Publishing (2004), 98-116. (Revision of conference paper.)

10.    D. Gotterbarn, K. Miller, and S. Rogerson. Software Engineering Code of Ethics is approved, in Readings in CyberEthics, R. Spinello and H. Tavani, eds. Jones & Bartlett (2001), 535-544. (Reprinted journal article)

11.    K. Miller. Ethical Considerations. Handbook on Information Technologies for Education and Training, H. Adelsberger, B. Collis, J. Pawlowski, eds. Springer-Verlag (2001), 355-363.

12.    D. Gotterbarn and K. Miller. Maturing standards and the current software engineering code of ethics, in Privacy and the Constitution, M. Placencia, ed. (part of the series Controversies in Constitutional Law, P. Finkelman, ed.), Garland Publishing (1999).

13.    K. Miller. Web sites you don't like. Virginia Tech / NSF Infrastructure Project, J.A.N. Lee, editor, http://ei.cs.vt.edu/~cs3604/lib/Freedom.of.Speech/Objectionable.html (April 1, 1999).

14.    D. Johnson and K. Miller. Ethical issues for computer scientists and engineers. The Computer Science and Engineering Handbook, A. Tucker, ed. Springer-Verlag (1997).

15.    W. R. Collins and K. Miller. Programming and the public trust. In Computers, Ethics & Social Values. D. Johnson and H. Nissenbaum, eds. Prentice Hall, Englewood Cliffs, NJ (1995). (Reprinted journal article)

16.    W. R. Collins and K. Miller. Paramedic ethics for computer professionals. In Computers, Ethics & Social Values. D. Johnson and H. Nissenbaum, eds. Prentice Hall, Englewood Cliffs, NJ (1995). (Revised version of journal article)

17.    S. Park, S. Harvey, R. Kincaid, and K. Miller. Alternate server disciplines for mobile-servers on a congested network. In Computer Science and Operations Research: New Developments in Their Interfaces. O. Balci, R. Sharda, and S. Zenios, eds. Pergamon Press, Oxford (1992), 105-116. (Revised version of conference paper)

18.    R. Kincaid, K. Miller, and S. Park. Locating P mobile servers on a congested network: a simulation analysis. In Impacts of Recent Computer Advances on Operations Research. R. Sharda, B. Golden, E. Wasil, O. Balci, and W. Stewart, eds. North Holland: New York (1989), 396-406. (Revised version of conference paper)

CONFERENCES with an Article in Refereed Proceedings

1.       M. Wolf, K. Miller and F. Grodzinsky. Free Software, Proprietary Software, and the Value of Software Context in Ethical Analysis. ETHICOMP (Sept. 24-26, 2008), Mantua, Italy.

2.       J. Voas and K.Miller. One in a baker's dozen: debugging debugging. IEEE High Assurance Systems Engineering Symposium (Nov. 14-16, 2007), Dallas, TX.

3.       F. Grodzinsky, K. Miller, and M. Wolf. The ethics of designing artificial agents. CEPE 2007 (July 12-14, 2007), San Diego, CA.

4.       D. Gotterbarn, K. Miller, and J. Impagliazzo. Plagiarism and Scholarly Publications: An Ethical Analysis. Frontiers in Education (October 28-31, 2006), San Diego, CA.

5.       D. Johnson and K. Miller. A dialogue on responsibility, moral agency, and IT Systems. ACM Symposium on Applied Computing (April 23-27, 2006), Dijon, France.

6.       F. Grodzinsky, K. Miller, and M. Wolf. The ethical implications of the messenger’s haircut: Steganography in the digital age. EthiComp 2005 (Sept. 12-15, 2005),  Linkoping, Sweden.

7.       K. Miller and D. Larson. Angels and artifacts: Moral agents in the age of computers and networks. Ethics & Technology Conference (June 24-25, 2005), St. Louis, MO.

8.       F. Appel, K. Miller, and M. Quinn. Techniques for Teaching Computer Ethics. Midwest Instruction and Computing Symposium (April 8-9, 2005), Eau Claire, WI.

9.       D. Thayer and K. Miller. Four UNIX programs in four UNIX collections: seeking consistency in an Open Source icon. 37th Midwest Instruction and Computing Symposium (April 16-17, 2004), Morris, MN.

10.    B. Moskal, L. King, K. Miller, and T. Camp. Preparing to teach computer ethics: results from the DOLCE project ASEE Annual Conference (June 22-25, 2003), Nashville, TN.

11.    F. Grodzinsky, K. Miller, and M. Wolf. Ethical issues in open source software. Ethics and Technology Conference (June 27-28, 2003), Boston College, MA.

12.    B. Moskal, K. Miller, and L. Smith King. Grading essays in computer ethics: rubrics considered helpful. ACM SIGCSE Technical Symposium (February 26- March 2, 2002), Cincinnati, OH.

13.    D. Johnson and K. Miller. The ties that bind: connections, Comet Cursors, and consent. CEPE 2000 (July 14-16, 2000), Dartmouth, New Hampshire.

14.    K. Miller. Teaching computer ethics using the World Wide Web. Frontiers in Education 1999 (November 10-13, 1999), San Juan, Puerto Rico.

15.    K. Miller. The Future looks dim: building the information society with shoddy materials. ETHICOMP International Conference on the Social and Ethical Impacts of Information and Communication Technologies (October 6-8, 1999), Rome, Italy.

16.    D. Gotterbarn and K. Miller. Maturing standards and the current software engineering code of ethics. Fourth Annual Ethics and Technology Conference, Boston, MA (June 5-6, 1999).

17.    K. Miller. Dramatics and dialectics: bar stools and computer ethics in the classroom. Integrating Ethics into Technical Education, Somerville, NJ (June 3-4, 1999).

18.    K. Werries, D. Dufner, O. Kwon, and K. Miller. Development of the CyberCollaboratory testing methodology. Thirtieth Annual Meeting of the Midwest Decision Sciences Institute, (April 22-24, 1999), Springfield, IL.

19.    K. Miller. Computer security and human values interact. 1997 Frontiers in Education Conference (November 5-8, 1997), Pittsburgh, Pennsylvania.

20.    K. Miller. Good enough for whom?: Informed consent for computer software. Interface '97 (October 15-17, 1997), Atlanta, Georgia.

21.    K. Miller. Ethical standards in software engineering: a proposed informed consent standard. Ethics and Technology Conference 1997 (June 6-7, 1997), Chicago, Illinois.

22.    S. Limbach and K. Miller. Neural nets and computer security. Midwest Computer Conference. Springfield, IL (March 21, 1997), http://www.uis.edu/~mcc97/html/mcc_menu.html

23.    J. Voas and K. Miller. Software testability: investing in testing. EuroStar '96 (December 1996), Amsterdam.

24.    J. Voas, F. Charron, and K. Miller. Investigating rare-event failure tolerance: reductions in uncertainty. IEEE High-Assurance Systems Engineering Workshop (HASE '96) (October 1996), Niagara-on-the-Lake, Canada.

25.    J. Voas and K. Miller. Defining an adaptive software security metric from dynamic software. COMPASS '96: Conference on Computer Assurance (June 17-21, 1996), Gaithersburg, MD.

26.    J. Voas and K. Miller. Assessing the quality of large-scale systems composed of commercial-off-the-shelf software components by studying interface failure-tolerance. 2nd Annual ENCRESS Conference (June 13-14, 1996), Paris.

27.    K. Miller and J. Voas. How faults cause failures. Software Testing Analysis & Review (May 15-17, 1996), Orlando, Florida.

28.    C. D. Martin, C. Huff, D. Gotterbarn and K. Miller. Curriculum guidelines for teaching the consequences of computing. ACM SIGCAS Symposium on Computers and the Quality of Life (Feb. 14-15, 1996), Philadelphia.

29.    J. Voas and K. Miller. Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events. International Symposium on Software Reliability Engineering (October 24-27, 1995), Toulouse, France.

30.    J. Voas, C. Michael, and K. Miller. Using fault injection to assess software engineering standards. Pacific Northwest Software Quality Conference (September 27-29, 1995), Portland, Oregon.

31.    J. Voas and K. Miller. A statistical and automated code-based fault-tree mitigation framework for C++. Conference on the Safety and Reliability of Software Based Systems (September 12-15, 1995), Bruges, Belgium.

32.    J. Voas and K. Miller. Using fault injection to assess software engineering standards. International Software Engineering Standards Symposium (August, 1995), Montreal, Canada.

33.    J. Voas and K. Miller. Examining software quality (fault-tolerance) using unlikely inputs: turning the test distribution upside down. 10th Annual Conference on Computer Assurance (June, 1995), Gaithersburg, Maryland.

34.    J. Voas and K. Miller. Putting assertions in their place. International Symposium on Software Reliability Engineering (November 6-9, 1994), Monterey, CA.

35.    J. Voas, K. Miller and J. Payne. A comparison of a dynamic software testability metric to static cyclometric complexity. Second International Conference on Software Quality Management (July 1994), Edinburgh, Scotland.

36.    K. Miller and J. Voas. Classifying methods to assess software quality. Eleventh Annual Conference on Testing Computer Software (June 1994), Washington, D.C.

37.    J. Voas and K. Miller. Enhanced software testing, testability, and fault-tolerance through output space redefinition. Eleventh Annual Conference on Testing Computer Software (June 1994), Washington, D.C.

38.    J. Voas, K. Miller and J. Payne. An empirical comparison of a dynamic software testability metric to static cyclomatic complexity. 18th Annual Software Engineering Workshop. NASA Goddard (Dec. 1-2, 1993).

39.    J. Voas, C. Michael, and K. Miller. Confidently assessing a zero probability of software failure. 12th International Conference on Computer Safety, Reliability, and Security (October 27-29, 1993), Poznan, Poland.

40.    J. Voas, K. Miller and J. Payne. Software testability and its application to avionic software. Computers in Aerospace, Vol. 9 (October, 1993), San Diego, California.

41.    J. Voas, K. Miller and J. Payne. Automating test case generation for coverages required by FAA standard DO-178B. Computers in Aerospace, Vol. 9 (October, 1993), San Diego, California.

42.    J. Voas, K. Miller, and J. Payne. Dynamic testability analysis for software safety. 2nd IASTED Inter. Conference on Reliability, Quality Control and Risk Assessment, (Oct. 13-15, 1993), Cambridge, Mass.

43.    J. Voas, J. Payne, C. Michael and K. Miller. Experimental evidence of sensitivity analysis predicting minimum failure probabilities. 8th Annual Conf. on Computer Assurance (COMPASS 93), (June, 1993), Gaithersburg, Maryland, 123-133.

44.    J. Voas, K. Miller, and J. Payne. A software analysis technique for quantifying reliability in high-risk medical devices. 6th IEEE Symposium on Computer-Based Medical Systems (June 1993), Ann Arbor, Michigan.

45.    J. Voas, J. Payne, C. Michael and K. Miller. Data state capture. 5th Annual Oregon Workshop on Software Metrics (March 21-23, 1993), Silverton, Oregon.

46.    J. Burton, K. Miller, and S. Park. Rectangularly and Hexagonally Sampled Digital Imaging System Fidelity Analysis. Conference on Visual Information Processing II. (1993).

47.