Edward Miller -- Long Resume

EDWARD F. MILLER
(Long Resume)

Education

1968 Ph. D. University of Maryland (Electrical Engineering)
1964 M. S. University of Colorado (Applied Mathematics)
1962 B. S. Iowa State University (Electrical Engineering)

Professional & Business Experience

Digital computer systems analysis and design; software systems analysis and development; simulation; numerical analysis; information storage and retrieval systems; program validation techniques; computer performance measurement; computer architecture; computer networking; automata theory; program testing theory; automated tool development; structured programming techniques; software engineering.

1977 - : Software Research, Inc., San Francisco, California.

Software Research, Inc., Chairman

Phase I — Consulting (1977-1979). Consulting services in Software Engineering, Program Testing, Programming Technology, and Computer Architecture. Development of automated tool families using advanced concepts of software production and design. Design and evaluation of advanced programming languages. Evaluation of microprocessor-based production systems and software engineering. Technical management consulting.
Phase II — Seminars (1978-1989). Seminars in software testing, automated tools, and software engineering presented worldwide on behalf of various vendors/sponsors, and by Software Research, Inc. directly. Organization of multi-speaker seminar series. This work led, beginning in 1988, to creation of the Software Quality Week (SQW) conference series.
Phase III — Software Test Services (1982-1989). Contracted 3rd party test services with emphasis on test automation to a wide variety of software companies, including IBM, Zilog, Apple, etc. Technology development for ad hoc automation. Beginning development of automated regression and test coverage tool suites.
Phase IV — TestWorks™ Client/Server Software Testing Product Suite (1988-2000). Conversion of in-house prototype tools into packaged test products. Product sales. Creation of SMARTS, CAPBAK/DOS CAPBAK/Windows, CAPBAK/Unix, CAPBAK/X, EXDIFF, TCAT, S-TCAT, T-SCOPE, TCAT-PATH, STATIC, METRIC, TDGEN, Xvirtual, Xflight, and Xdemo. Development of internal record keeping, documentation, sales procedures. Recruitment and development of technical, sales, production teams. General company management and financial control.
Phase V -- eValid™ WebSite Testing Product (1999-2022). Development of the eValid website testing tool suite, including functional testing, server loading, site analysis, timing/tuning, test management, and essential QA functionality in an integrated suite for Windows platforms. This technology development effort also resulted in the grant of a portfolio of US Patents: USPTO #7,231,606 (12 June 2007); USPTO #7,757,175 (13 July 2010); USPTO #8,327,271 (4 December 2012); USPTO #8,392,890 (5 March 2013); USPTO #8,494,585 (23 July 2013); USPTO #8,650,493 (11 February 2014); USPTO #8,683,447 (25 March 2014) USPTO #8,984,491 (17 March 2015); and, USPTO #10,489,286 (26 November 2019). Other patent applications surrounding this technology are pending.
Phase VI -- Technology Licensing (2011-2022). Identification and negotiation of licensing agreements for patented eValid™ technology with domestic and foreign organizations.

Software Research Institute: Chairman, Annual International Software Quality Week, 1988 - 2002 (15 Conferences); Annual International Software Quality Week/Europe, 1998 - 2002 (5 Conferences). Recruitment of Conference Advisory Board (10-30 members), development of Technical Program (30-60 speakers per conference), operational supervision of 4-5 day multi-track conferences.
Board of Directors, Center for National Software Studies, (previously the National Software Council), 1996-2006.
Member, External Advisory Committee, Department of Electrical and Computer Engineering, Iowa State University, 1997-2004.

1975 - 1977: Science Applications, Inc., San Francisco, California.

Director, Software Technology Center. Theory and practice of software production, design and implementation of advanced software tools and associated methodologies, studies of advanced computer hardware and software architectures.

1972 - 1975: General Research Corporation, Santa Barbara, California.

Director, Program Validation Project. Basic research on issues in software quality, identification of technical requirements for Automated Verification Systems and Structured Programming preprocessors. Development of Proprietary and non-Proprietary software systems: SOFTOOL, RSVP, IFTRAN-1, RXVP-1, IFTRAN-2.

1971 - 1974: General Research Corporation, Santa Barbara, California.

Director, Performance Measurement Research Project. Studies of theory and practice of computer selection. Design of hardware monitor experiments on CDC 6400.

1972 - 1974: University of California, Santa Barbara, Lecturer,

Department of Electrical Engineering and Computer Science. Graduate courses in Information Structures, Computer Performance Measurement. Member, Interim Advisory Committee, Computer Systems Laboratory.

1970: University of California Extension, Santa Barbara,

California, Lecturer (part-time). Course in principles of computer operating systems proto-typical of OS/360 MVT.

1969 - 1971: General Research Corporation, Santa Barbara, California.

Member of the Technical Staff, Data Processing Systems Department. Systems analysis for real-time testing of Ballistic Missile Defense software; design of real-time software; design of Simulation for the Analysis of Computer Systems; development of simulation data specification automation techniques. Research Board Member (1970-1971): Studies in Computer Assisted Instruction. CDC 6400, GOLETA operating system.

1968 - 1969: General Research Corporation, Denville, New Jersey.

Member of Technical Staff. Sentinel/Safeguard hardware and software systems analysis; instrumentation, data collection, and data reduction for system simulations; theory of interactive real-time testing. GE 635, GECOS operating system.

1968 Summer: ASEE Summer Faculty Fellowshop Program, Instructor.

Short course in FORTRAN for scientists with emphasis on scientific applications.

1967 - 1968: General Research Corporation, Washington, D.C.

Member of the Technical Staff. Computer systems analysis; exterior ballistics simulations; time-sharing system evaluation. CDC 1604, TRIAD applications.

1966: University of Maryland, College Park, Maryland.

Principal Investigator, R&D contract to Litton Systems, Inc. Project Apollo S-band antenna data analysis and reduction. Computer generation of iso-gain power plots; average power computations (IBM 7094, IBSYS/MAMOS).

1965 - 1968: University of Maryland, College Park, Maryland.

Instructor of Electrical Engineering, Department of Electrical Engineering. Courses in basic electrical engineering, algorithmic methods and computer programming, electro-magnetic theory, network analysis, probability theory, switching theory, and technology and functional organization of digital computers. Responsible for departmental computing facility. Experience with IBM 7094 I system and the MAD language under MAMOS.

1962 - 1964: E. I. DuPont De Nemours and Company, Inc., Buffalo, New York; Wilmington, Delaware; Deepwater, New Jersey. Engineer.

Thermoelectric device technology; lead-acid storage cell testing; ionic diffusion in polymetric films, infrared spectrophotometer data reduction and smoothing, IBM 7074 and IBM 1410 computer systems with FORTRAN.

Honors & Awards

Sigma Xi (University of Colorado), 1964.
Eta Kappa Nu (University of Maryland), 1967.
Who's Who in Computer Research, 1971-1991.
Iowa State University, Commendation for Professional Achievement (PACE), 1994.
Award Citation by SSQA, "Accomplishments in Quality Improvement Efforts," 1994.

Professional Affiliations

Member, IEEE Computer Society (1962 - ): (Reviewer, Referee); Information Theory Group; Systems, Man and Cybernetics Group; Biomedical Engineering Group.
Member, Society for Industrial and Applied Mathematics (1963 -1990).
Member, Association for Computing Machinery (ACM) (1964 - ): (Reviewer, Referee); SIGARCH: Editor, Computer Architecture News [CAN] (1976 - 1980), Member, Board of Directors (1979 - 1983); SIGPLAN; SIGMETRICS; SIGMICRO; SIGSOFT.
Member, Admissions Committee, University of California, Santa Barbara Chapter of Sigma Xi (1974 - 1975).
Member, Board of Directors, Santa Barbara Science Fair, Inc. (1972 - 1973).

Professional Conference Organization, Management

General Chairman, International Software Quality Week (QW), San Francisco Bay Area, 1988-2002 (15 Conferences).
General Chairman, International Software Quality Week/Europe (QWE), Brussels, Belgium, EU 1997-2002 (5 Conferences).
General Chairman, 1st International Computer Workstations Conference, IEEE Computer Society, San Jose, California, 11-14 November 1985.
Co-Chairman, Testing and Validation Workshop (TAV1), Catalina Island, California, December 1982.
Chairman, First International Workshop on Software Testing, NIST/IEEE, Ft. Lauderdale, Florida, December 1979.

Expert Witness Activities

Expert Witness for Engle Grange, LLC (Wichita Falls, TX) Preparation of Declaration of Technical Expert, in re Reexamination of US Patent 8,438,645 June 2021.
Expert Witness for Chargerback LLC (Carson City, Nevada), Preparation of Declaration of Technical Expert, in re Reexamination of US Patent 9,367,727, June 2018.
Expert Witness for Wilson Sonsini Goodrich & Rosati (Palo Alto, California) in re Parasoft v. Agitar CV05-4465PA (C.D.Ca). 2005. Disposition: Settled before trial.
Expert Witness for Weisbrod & Dankov, Attorneys (Dayton, Ohio), in re Ladd Industries v. Accunet. 2004. Disposition: Settled before trial.
Expert Witness for Haight Brown & Bonesteel, Santa Ana, California, in re Aurora Merchant Services L.L.C. v. Solomon Software, Inc. (Case CV 01-4166 RSWL (AJWx). 2002-2003. Disposition: Settled before trial.
Deposition as a witness for the Plaintiff, for Fenwick & West (Palo Alto, California & San Jose, California), in re Performix vs. Mercury Interactive. 1997. Disposition: Settled before trial.

Professional Activities

Co-Chair, Achieving Quality in Software (AQuIS'96), Florence, Italy, 1996.
Member, Program Committee: IEEE Symposium on Software Tools, New York, April 1985.
Member, Program Committee: CompCon '85 Spring, San Francisco, California, February 1985.
Member, National Academy of Sciences, National Research Council, Commission on Engineering and Technical Systems, U. S. Air Force Studies Board: Chairman, Tools Subcommittee. "Methods for Improving Software Quality and Life Cycle Cost," July 1983.
Member: U.S. Air Force Studies Board, Committee on Methods for Improving Software Quality, 1983-84.
Member, Program Committee: Software Maintenance Workshop, December 1983.
Member, Program Committee: Symposium on Automated Tools for Software Development, November 1983.
Member, Program Committee: CompCon '83 Spring.
Program Chairman [Software Technology]: NSIA National Conference on Software Technology and Management, Washington, D.C., 14-16 October 1981.
Member Program Committee: CompCon '82 Spring.
Member Program Committee: Safe-Comp '82 Workshop, Second International Workshop on Achieving Safe Real Time Computer Systems, Purdue University, October 1982.
Member Technical Program Committee: Software Engineering Standards Application Workshop (SESAW-I), San Francisco, California, August 1981.
Distinguished Visiting Lecturer: IEEE Computer Society (1980 - 1983).
Editor: InfoTech State of the Art Book on Software Testing, 1978.
Program Chairman: IEEE/NBS Workshop on Software Testing and Test Documentation, 18 - 20 December 1978.
Member Program Committee: Seventh Texas Conference on Computing System, November 1978.
Guest Editor, Special Issue of Computer, "Software Quality Assurance," August 1979.
Program Chairman: InfoTech Conference on Software Testing, London, September 1978.
Member Editorial Board: IEEE SOFTWARE Magazine, (1984 - 1992).
Associate Technical Editor: IEEE Computer Magazine (1979 - 1984).
Guest Editor: Special Issue of Computer, "Program Testing," April 1978.

Publications

"What Happened to Software Metrics?", IEEE Software Magazine, May 2017 (Virtual Panelist) [Link to Article]
"Le Test Automatise des Applications Web Modernes," Genie Logiel No. 99, December 2011 (French),
"Testing Tools," Encyclopedia Of Software Engineering, Wiley, 1994.
"Software Testing -- The State of the Practice," International Test Conference (ITC), 1991.
"Exploitation of Software Test Technology", ISSTA 1993.
Invited Paper, "Automating Software Testing: Directions for the 1990's," AQuIS'91, Florence, Italy, 1991.
"Methods for Improving Software Quality and Life Cycle Cost," 1983 Summer Study, (with others), National Academy Press, 1985.
"Expert System Validation: Issues and Approaches," 7th International Expert Systems Conference, Avignon, France, 1987.
"De Testtechniek van Kwaliteitsbeheer," (translation into Dutch) Computable, Software Engineering Supplement, 19 May 1985.
"Quality Management Technology: Practical Applications" Symposium on Software Validation, Quality Assurance and Control of Software, (Gesellschaft Fur Mathematik Und Datenverarbeitung) Darmstadt, West Germany, September 1983.
"Software Testing Technology: An Overview," In... Handbook of Software Engineering, C. R. Vick & C. V. Ramamoorthy (Editors), Van Nostrand Reinhold, 1984.
"Software Test Technology Research Needs," International Testing and Evaluation Association, Symposium, June 1983.
"The Meaning of a 'Guarantee'," (Guest Editorial), Software News, March 1983.
"Software Testing," IEEE Computer Society, CompCon '83 Spring, San Francisco, California, February-March 1983.
"An Integrated Software Test Technology Research Plan," National Conference on Software Test and Evaluation, NSIA, Software Group, Washington, D. C., February 1983.
"The Intersection of VLSI and Software Engineering for Testing and Verification, (with others), IEEE Computer Society, VLSI and Software Engineering Workshop, October 1982.
"Testing Software Systems," 1982 Vail Circuits and Elements Workshop, Vail, Colorado, June 1982.
"Application of Structural Quality Standards to Software," (with J. B. Henderson, T. E. Mapp), IEEE Workshop on Software Engineering Standards, San Francisco, California, August 1981.
"Experience with Industrial Software Quality Testing," in...Computer Program Testing, B. Chandrasekaran and S. Radicchi, Editors, North-Holland Publishing Company, 1981.
"A Software Test Bed: Philosophy, Implementation and Application," (with J. B. Henderson, T. E. Mapp), in... Computer Program Testing, B. Chandrasekaran and S. Radicchi, Editors, North-Holland Publishing Company, 1981.
"Survey of Verification and Validation Technology," IEEE/NRC Working Conference on Advanced Electrotechnology Applications to Nuclear Power Plants, Washington, D. C., January 1980.
"A Semantic Update System for Repairing Software," (with M. Hirschberg), 1978 Army Numerical Analysis and Computers Conference, Location, State, March 1978.
Automated Tools for Software Engineering, IEEE Computer Society Tutorial Text, 1979.
"Some Statistics from the Software Testing Service,", ACM SIGSOFT Software Engineering Notest, Vol. 1, No. 1, January 1979.
"Interactive Semantic Update System (ISUS), " 1979 ISUS Product Documentation.
"Software Engineering: The Turning Point," (with others), IEEE Computer Magazine, September 1978.
"Problems of the 1980s in Software Engineering: An Overview," (with others) in Research Directions Software Technology, (Editor, P. Wegner) MIT Press, 1979.
"SMOTL -- A System to Construct Samples for Data Processing Program Debugging," (with others), IEEE Transactions on Software Engineering, Vol. 5, No. 1, January 1979.
"Program Testing Tools -- A Survey," MIDCON, Chicago, Illinois, November 1978.
"Software Engineering: Problems of the 1980s," (with others), Computer, September 1978.
"Program Testing in the 1980s," Oregon Report on Computing, Portland, Oregon, March 1978.
"Automated Support for Software Engineering -- A Long Range Too-Family Plan," Proceedings of the 1978 ONR Software Specification and Testing Technology Transfer Conference, April 1978.
Program Testing Techniques, IEEE Computer Society Tutorial Text, October 1977.
"Automated Tools for Software Quality Control," (with Vance Norum), Proceedings of SOFTWARE-77, Montreal, Quebec, Canada, October 1977.
"Program Testing Technology -- An Introduction," Proceedings of the 1977 Texas Conference on Computing Systems, Austin, Texas, November 1977.
"Program Testing Techniques," IEEE Computer Society Tutorial Publication, November 1977.
"Generation, Processing and Application of Program Test Patterns," Proceedings of the AIAA Conference on Computers in Aerospace, Los Angeles, California, November 1977.
"Testing for Software Reliability," Infotech State-of-the-art Report, 1977.
"Program Testing Tools and Their Use," Infotech State-of-the-art Report, 1977.
"Microprocessor Software Reliability," Proceedings of the EASCON-77, Washington, D.C., September 1977.
"Modern Program Verification Technology," Proceedings of the 1977 Summer Computer Simulation Conference, Chicago, Illinois, July 1977.
"Program Testing: Art Meets Theory," IEEE Computer, pp 42-51, July 1977.
"Advanced Technologies for Verification and Validation," Proceedings of the DoD/Industry Conference on Software Verification and Validation, Syracuse, New York, August 1976.
"A Service Concept for Software Auditing," Proceedings of the Workshop on Computer Auditing, San Francisco, California, January 1976.
"The Art and Theory of Program Testing," Proceedings of the Conference on Computing Systems, Austin, Texas, November 1975.
"Read All About It," Computer Decisions, Volume 7, No. 9, September 1975.
"Automated Generation of Testcase Datasets," 1975 International Conference on Reliable Software, Los Angeles, April 1975.
"Engineering Software for Testability," IEEE COMPCON-75 Spring, San Francisco, California, February 1975.
"Toward Automated Software Testing: Problems and Payoffs," Proceedings of the Eighth Annual Symposium on Computer Science and Statistics, UCLA, February 1975.
"Structurally Based Automatic Program Testing," EASCON-74, Washington, D.C., October 1974.
"Automatic Generation of Software Testcases," EUROCOMP, Uxbridge, Middlesex, England, May 1974.
"Technology for Automated Verification Systems," Aeronautical Systems Software Workshop, Dayton, Ohio, April 1974.
"Structural Techniques of Program Validation," IEEE COMPCON-74, San Francisco, California, pp 161-164, February 1974.
"A Multiple Stream, Registerless, Shared Resource Computer," IEEE Transactions on Computers, 23(3), pp 277 - 285, March 1974. [See also US Patent 6,738,895 (18 May 2004)]
"Structured Programming: Top-Down Approach" Datamation, Volume 19, No. 12, pp. 55-58, December 1973. Reprint in "Classics in Software Engineering", Edward Yourdon, Editor, Yourdon Press, 1979.
"Theoretical Approaches to Problem Independent Software Validation," Summer Computer Simulation Conference, Montreal, Canada, July 1973.
"Process Control and File Management Problems in Large Minicomputer Networks," IEEE Computer Society Conference, COMPCON-73, San Francisco, California, February 1973.
"Bibliography on Techniques of Computer Performance Analysis," Computer, IEEE Computer Society, September/October 1972.
"A Method for Ranking Priorities in Testing Computer Programs," (with M. R. Paige), Proceedings of the Computer Systems Design Conference, Anaheim, California, February 1972.
"Interactive Real-Time Testing and Performance Analysis," presented at Workshop on system Performance Analysis, Argonne, Illinois, October 1971. IEEE Computer Society Repository, Paper No. R73-20, January 1972.
"Bibliography on Sequential Machines," (with J.H. Pugsley), Computing Reviews, Volume 11, No. 5, pp. 303-325, May 1970.

Professional Conference Activities and Presentations

Paper: "Web Testing: A Practical Approach," QW2002
Paper: "InBrowser WebSite Testing: The Client-Side Approach," QW2002
Paper: "Innovative WebSite Mapping Tool," QW2002
Paper: "An Innovative WebSite Mapping Tool," QWE2002
Paper: "Web Testing: A Practical Approach," QWE2002
Paper: "InBrowser WebSite Testing: The Client-Side Approach," QWE2002

Paper: "A Universal Client-Side Web Test Engine," QW2001
Paper: "Client-Side WebSite Testing," QW2001
Paper: "The Argument for Client-Side Testing," QWE2000
Invited Keynote: "Website Testing Challenges in the Current Dynamic Business Environment," E-Business & Telecommunications Quality and Testing Conference, QAI, May 2001.

Panelist: "Why Don't We Get More (Self?) Respect: The Positive Impact of Software Engineering Research Upon Practice," ICSE 2000, Galway, Ireland, June 2000.
Paper: "Achieving WebSite Quality Management," QW2000
Paper: "WebSite Testing," QWE2000
Paper: "Website Validation Technology," QW1999
Paper: "E-Commerce Reliability and Web Testing," QWE1999

Paper: "Remote Testing Technology (RTT)," QWE1998
Paper: "WebSite Validation Technology: Assuring E-Commerce Quality," QWE1998
Panelist: "The Most Influential Papers from the ISSTA Research Community," ISSTA, 1998.
Paper: "Advanced Software Test Methods," QW1988
Paper: "The WebSite Quality Challenge," QW1998
Paper: "Starting a Q.A. Testing Group from Scratch," QW1988
Panel Chair: "Directions for Software Quality Control in the 1990's," QW1988

Invited Keynote:: "Quality for the Millennium," TRI-Ada '97, St Louis, Missouri, November 1997.
Paper: "Dynamic WebSite Testing and Analysis," QWE1997
Invited Speaker: "Why is Software Quality So Elusive?," BART/IRUS Roundtable, Palo Alto, California, August 1997.
Paper (with R. Poston): "End-to-End Testing Specifications to Validation with stp/T/TestWorks," QW1997
Panelist: "How Does Java Address Software Quality QW1997

Guest Editor: "System Test and Reliability: Techniques for Avoiding Failure," IEEE Computer, Vol. 29, No. 11, 1996.
Paper: "The TestWorks Quality Index QW1996
Special Keynote:: "Buy It or Fly It -- Two Worlds of Software Testing," Automated Software Test and Evaluation (ASTE'96), Washington, DC, March 1996.

Paper: "GUI Testing Technology: State of the Art -- State of the Practice," AT&T STC Testing Symposium, Holmdel, NJ September 1994.
Session Leader: "Societal Issues," NSC Workshop, University of Maryland, October 1994.
Invited Presentation: "Challenges in Software Testing: The Future of STW,", Siemens Test Workshop, Princeton, NJ, June 1994.
Invited Keynote: "Challenges in Software Testing: Perspectives for the Future,", USPDI Testing Conference, Washington, D.C., June 1994
Paper: "Technology & Tools: White-Box and Black-Box Testing:", SQA Milano Testing Congress, Milano, Italy, May 1994.

Paper: "Automated Testing," SSQA Conference, June 1993.
Tutorial: "Automated Testing: Experience from the Field," QW1993
Invited Keynote: "Automating Software Testing: Achieving Functional Integration," AQuIS'93, Venice, Italy, 1993.

Paper: "CASE Testing: Integration & Consolidation Issues," QW1992
Paper: "Applying Automated Test Methods," QW1992
Paper: "Automated Software Testing," QW1991
Paper: "CASE in the 1990s: A survey of Coming Technology," QW1991
Panel Session Organizer: "What Does Industry Need?", TAV #4, Victoria, British Columbia, October 1991.

Paper: "CASE For Commercial QC: The Economics Explored," QW1990
Paper: "Advanced Automated Software Testing," QW1990
Invited Keynote: "Better Software Testing," Software For Strategic Systems Conference, Huntsville, Alabama, February 1990.

Paper: "Advanced Automated Software Testing," QW1989
Paper: "Industrial Software Quality Practice -- An Assessment," QW1989
Panel Chair: "Software Quality Initiatives -- Foreign and Domestic," QW1989
Panel Chair: "Directions in Software Testing," QW1989

Paper: "Automated Software Testing: The Integrated Solution," QAI National Conference on Software Testing, October 1988.
Invited Tutorial: "Advances in Automating Software Testing," 5th International Conference on Testing Computer Software, June 1988.
Seminar: "Managing Software Quality in the 1990's," First Software 80/90 Workshop, Rome, Italy 1988.
Seminar: "Advanced in Automating Software Testing," FIrst Software 80/90 Workshop, Rome, Italy 1988.

Paper: "Automated Software Testing -- A Case Study," (with W. Bently), HIMA Conference on Regulation of Medical Software, October 1987.
Paper: "Role of Testing as a Measure of Quality & Reliability," NSIA Conference on Software Quality and Productivity, March 1987.
Invited Keynote: "Testing -- The Last Great Source of Measurement Data," QAI National Conference on Software Testing, March 1987.

Tutorial Presenter: ACM Tutorial Week West, Los Angeles, California, May 1985.
Invited Presentation: "Software Verification and Validation," ASQC, Santa Clara Valley Section, February 1985

Tutorial Presenter:IEEE Tutorial Week West, San Francisco, California, October 1984.
Tutorial Presenter:IEEE Tutorial Week East, Orlando, Florida, March 1984.

Tutorial Presenter: IEEE Tutorial Week West, San Francisco, California, December 1983.
Paper: "Measuring Software Quality and Test Thoroughness for IBM PC Applications Software," (with others), IBM PC-Faire, San Francisco, California, August 1983
Tutorial Presenter:IEEE Tutorial Week East, Orlando, Florida, April 1983.

Panelist: "Future Software Environment," National Computer Conference 1982.
Tutorial Presenter: IEEE Hanover Week, Hanover, West Germany, April 1982.

Tutorial Presenter: December 1981 IEEE Tutorial Week - West, San Diego, California, December 1981.
Tutorial Presenter: IEEE Tutorial Week East, Orlando, Florida, April 1981

Session Chairman: "Software Testing," 1980 NCC, Anaheim, California, May 1980.
Tutorial Presentation: IEEE Tutorial Week, San Diego, California, December 1980.

Session Chairman: "Software Quality Assurance," USA/Japan Conference, San Francisco, October 1979.
Paper: "Software Testing Technology," TIM/ORSA New Orleans Meeting, New Orleans, Louisiana, April 1979.

Tutorial Presentation: "Program Testing," 3rd ICSE, Atlanta, Georgia, May 1978.
Panelist: "Software Engineering," Oregon Conference on Computer Engineering in the 1980s, Portland, Oregon, March 1978.

Session Chairman: "Verification through Testing," 1978 Summer Computer Simulation Conference, July 1978.
Session Chairman: "Verification, Validation & Testing," 1978 NCC, June 1978.

Tutorial Presenter: "Program Testing," 1979 CompSAC, Chicago, Illinois, November 1977.
Session Discussion: "Some Examples of Simulation Validation," 1977 Summer Computer Simulation Conference, Chicago, Illinois, July 1977.
Speaker: "Modern Program Testing Methods," ACM Local Chapter Presentation, San Francisco, California, July 1977.
Session Chairman: "Verification Technology," 1977 Summer Computer Simulation Conference, Chicago, Illinois, July 1977.
Session Chairman: "Symbolic Evaluation," 1977 National Computer Conference, Dallas, Texas, May 1977.

Tutorial Presenter: "Software Testing: Theory and Practice," 2nd International Conference on Software Engineering, San Francisco, California, October 1976.
Panelist: "Are Simulations Becoming More Credible," 1976 Summer Computer Simulation Conference, Washington, D.C., July 1976.
Session Chairman: "Simulation Model Verification," 1976 Summer Computer Simulation Conference, Washington, D.C., July 1976.

Session Chairman: "Automated Software Testing," 1975 Summer Computer Simulation Conference, New York, New York, June 1975.
Session Chairman: "Automated Software Testing," 1975 Summer Computer Simulation Conference, New York, New York, June 1975.
Speaker: "Automated Testing Verification System," General Electric Company Software Engineering Workshop, Schenectady, New York, May 1975.
Speaker: "Software Reliability and Validation for Microprocessors," Asilomar Workshop on Advanced Architecture and Applications of Microcomputers, Pacific Grove, California, April 1975.
Speaker: "Language Aspects of Program Validation," UCLA Short Course (Programming Language Concepts and Issues), March 1975.
Paper: "RXVP -- An Automated Verification System for FORTRAN," Eighth Annual Symposium on Computer Science and Statistics, UCLA, February 1975. [CR 31091].

Speaker: "Structured Programming Preprocessor for FORTRAN," summer Institute for Structured Programming, Estes Park, Colorado, August 1974.
Speaker: "Problems in Program Testing," Summer Institute for Structured Programming, Estes Park, Colorado, August 1974.
Speaker: "IFTRAN -- A Structured Language Preprocessor," Twentieth Semi-Annual VIM Conference, Portland, Oregon, April 1974.
Speaker: "Structured Programming Concepts," Twentieth Semi-Annual VIM Conference, Portland, Oregon, April 1974.

Paper: "Development of an Automated Verification System," IEEE Workshop on Diagnosis and Reliability of Digital Systems, Pasadena, California, December 1973.
Speaker: "Language Aspects of Program Validation," UCLA Short Course on Concepts of Programming Languages, Los Angeles, July 1973.
Panel Session Chairman: "Low-level Computer System Monitoring," IEEE Workshop on Operating Systems and Computer Architecture, Austin, Texas, January 1973.

Paper: "Program Validation," IBM Programming Technology Symposium, New York, New York, September 1972.
Panelist: "Hardware/Software Design Tradeoffs," Computer Systems Design Conference, Anaheim, California, February 1972.

Science Applications, Inc., Reports

High-Order Language Evaluation Study, Interim Technical Report, RP-24, December 1976.
Techniques of Symbolic Evaluation of Software, RP-23, November 1976.
Software Evaluation Study Final Report, RP-22, October 1976.
On Testing Programs, (with others), RP-19, July 1976.
Methods of Analyzing Software Error Data, (with others), RP-18, May 1976.
ATA/COBOL: User Guide, (with J. Freedman), RP-14, April 1976.
ATA/CMS-2Y Reference Manual, (with others), RP-10, March 1976.
ATA/CMS-2Y Integration Plan, (with J. Freedman), RP-12, March 1976.
ATA/CMS-2Y Technical/Functional Specification: Detailed Software Design, (with others), RP-11, March 1976.
ATA/CMS-2Y User Guide (with J. Freedman), RP-9, February 1976.
Categories of Experiments for Evaluating Modern Programming Practices, RP-7, December 1975.
ATA Instrumentation Templates for CDC FORTRAN Extended, RP-5, October 1975.
Automated Testing Analyzer Instrumentation Templates for ANSI x-3.9 FORTRAN, (with M. R. Paige), RP-4, October 1975.
A Synopsis of Four Approaches to Evaluation of Modern Programming Practices, RP-6 October 1975.
Concepts of Automated Testing Analysis (with M. R. Paige), RP-1, August 1975.

General Research Corporation Reports

JOVIAL Automated Verification System (JAVS), (with others), CR-4-465, RADC-TR-76-20, (AD-A022-056/6WC), February 1976.
Software Verification: A State Of the Art Report, (with others), CR-1-638, March 1975.
Methodology for Comprehensive Software Testing, CR-1-465, (AD-A013-111/OWC), September 1974.
NASA/EOS Data Processing System Considerations, (with T. C. Honikman), IM-1862, November 1973.
NASA/EOS Data Processing System Definition Study, (with others), WGRC-73-3279, October 1973.
Estimates of Data Processing Requirements for NASA/ERS All-Digital Image Processing, (with T. C. Honikman), IM-1823, August 1973.
Special Purpose Hardware for All-Digital Image Processing, IM-1822, July 1973.
Bibliography and KWIC Index on Computer Performance Measurement, RM-1809, May 1973.
SOFTOOL: A Software Validation Tool. System Documentation, RM-1720, January 1973.
Requirements for HAPDAR Experiment 1: Single 12-Inch Sphere Drop in Clutter-Free Region, CR-1-341, December 1972.
A Survey of Major Techniques of Program Validation, RM-1731, October 1972.
Compilation of the Preliminary Hardsite Demonstration Analyses, (with others), CR-16-197, March 1972.
Priorities for Testing Computer Programs, (with M. R. Paige), IM-1629, March 1972.
Analysis of CDC 7600 Preliminary Hardsite Demonstration, (with others), CR-15-197, March 1972.
Extensions to FORTRAN and Structured Programming -- An Experiment, RM-1608, February 1972.
Real-Time BMD Computer Systems -- Serial Architecture Candidates, (with E. Balkovich) RM-1422, November 1971.
Analysis of Zero Order Demonstrations, (with others), CR-10-197, November 1971.
Software Testing and Validation, (with T. Sullivan), RM-1548, September 1971.
Analysis of PEPE Zero Order Demonstration (with others), CR-9-197, August 1971.
Analysis of CDC 7600 Zero Order Demonstration, (with others), CR-9-197, August 1971.
Preliminary Hardsite Demonstration Plan, (with others), CR-11-197, August 1971.
An Experiment in Hardware Monitoring, RM-1517, July 1971.
Preliminary Hardsite Demonstration Data Link Specification, (with others), IM-1531, June 1971.
Analysis of IBM Zero Order Demonstration, (with others), CR-5-197, May 1971.
Preliminary Hardsite Demonstration Software Specification (with others), CR-1-197, January 1971.
Zero Order Demonstration Data Link Specification (with others), IMR-1415, October 1970.
A Discussion of Data Processing System Analysis for Ballistic Missile Defense, (with others) IMR-1386, DRC 70-20358, September 1970 (SECRET).
Volume II, Program Listings, (with others), TM-1301, July 1970.
Testbed Demonstration Simulation System, Volume I, July 1970, Second Printing November 1970.
Benchmark Threat Tape Manual -- Volume II, Attack Generator Program (AGP) and Trajectory Program (TRAJ), with J. Bardens), CR-3-156, July 1970.
Preliminary Data Processing Test Bed Design Study -- Volume II, Detailed Test Bed Functional Design, CR-2-156, DRC 70-18494, January 1970 (SECRET).
DIARY/POST Data Recording and Retrieval System, IMR-1223, November 1969.
Sentinal Systems Evaluation Tests of the Tactical Software, (with others) Case 27703-1600, BTL Memorandum, January 1969.

University of Maryland Reports

Programs for the Analysis of Sequential Machines, Report No. R-69-05, Department of Electrical Engineering, University of Maryland, College Park, Maryland, November 1968.
Delayed Initiation Realizations of Sequential Machines, (Ph.D. Thesis), Report D-68-02, Department of Electrical Engineering, University of Maryland, College Park, Maryland, August 1968.
State Assignment for Sequential Machines, A State-of-the-Art Paper, Department of Electrical Engineering, University of Maryland, College Park, Maryland, May 1967.

EDWARD F. MILLER (Long Resume)

Education

Professional & Business Experience

Honors & Awards

Professional Affiliations

Professional Conference Organization, Management

Expert Witness Activities

Professional Activities

Publications

Professional Conference Activities and Presentations

Science Applications, Inc., Reports

General Research Corporation Reports

University of Maryland Reports

EDWARD F. MILLER
(Long Resume)