Gene Fisher




Home Teaching Research Publications Personal


Refereed Conferences and Journals:

G. Fisher, C. Johnson, "Specification-Based Testing in Software Engineering Courses", Proceedings of the 2018 ACM SIGCSE Technical Symposium on Computer Science Education, to appear February 2018.

Gene L. Fisher, "Rethinking ABET Accreditation of Computer Science Degree Programs", Proceedings of the ASSE National Conference, June 2017.

G. Fisher, C. Johnson, "Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation", Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, July 2016.

G. L. Fisher, "Can Students Build Production-Quality Software?", Proceedings of the American Society for Engineering Education Pacific Southwest Section Conference, April 2013.

C. Turner, G. Fisher, D. Stearns, "Learning Software Engineering by Doing: Progress Report on a Capstone Sequence Involving Student Managed Teams", Proceedings of the American Society for Engineering Education, April 2004.

S. Meldal, G. Fisher, D. Stearns, and P C. Olveczky, "Software Prototyping", in the Encyclopedia of Electrical and Electronics Engineering, J. Wiley and Sons, 1999.

M. Abu-Shakra and G. L. Fisher, "Multi-Grain Version Control in the Historian System", Proceedings of the Eighth Symposium on System Configuration Management, July 1998.

D. Lewicki and G. L. Fisher, "Visitile -- A Visual Language Development Toolkit", Proceedings of the IEEE Symposium on Visual Languages, Oct. 1996.

G. L. Fisher, H-H. Sung, S. H. Nguyen, T. D. Nguyen, "Animation in a Demonstrational Interface Builder", Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Apr. 1996.

G. L. Fisher and D. E. Busse, "Adding Rule-Based Reasoning to a Demonstrational Interface Builder", Proceedings of the Fifth Annual ACM SIGGRAPH Symposium on User Interface Software and Technology, November 1992.

G. F. Fisher, "A Wide-Spectrum Requirements Specification Language", Proceedings of the NASA Langley Formal Methods Workshop, August 1992.

D. A. Wolber and G. L Fisher, "A Demonstrational Technique For Developing Interfaces With Dynamically Created Objects", Proceedings of the Fourth Annual ACM SIGGRAPH Symposium on User Interface Software and Technology, November 1991.

D. A. Wolber and G. L. Fisher, "Developing User Interfaces By Stimulus- Response Demonstration," Proceedings of COMPSAC, July 1991.

D. A. Frincke, G. L. Fisher, M. Archer, and K Levitt" An application of template methodology: rapid prototyping of user interface management systems", Proceedings of the 1991 International Workshop on Rapid System Prototyping, June 1991.

G. L. Fisher and D. A. Frincke, "Formal Specification and Verification of Graphical User Interfaces," Proceedings of the Hawaii International Conference on System Science, January 1991. (Paper nominated for best of conference.)

G. L. Fisher and L. S. Fisher, "A Workstation-Based Course Management and Instruction System," Proceedings of the Second International Conference on Computer Assisted Learning (in Springer-Verlag Lecture Notes in Computer Science No. 360), May 1989.

G. E. Ford, G. L. Fisher, and V. R. Algazi, "Remote Image Processing in a Workstation Environment," IEEE International Conference on Acoustics, Speech, and Signal Processing, April 1988.

G. L. Fisher, "An Overview of a Graphical, Multilanguage Applications Environment," IEEE Transactions on Software Engineering, June 1988.

G. L. Fisher, F. J. Leahy, and L. L. Lasslo, "Graphical Tools in a Workstation-Based Applications Environment," Proceedings of the Second IEEE Conference on Computer Workstations, March 1988.

G. L. Fisher, "Student-Oriented Features of an Interactive Programming Environment," Proceedings of the 1987 ACM SIGCSE Technical Symposium on Computer Science Education, Feb. 1987.

G. L. Fisher and K. I. Joy, "A Control Panel Interface for Graphics and Image Processing Applications," Proceedings of the SIGCHI Conference on Human Factors in Computing Systems,, Apr. 1987.

G. L. Fisher, V. R. Algazi, G. Ford, K. Joy, T. Arons, and D. Lemke, "Computer-Aided Software Engineering for the Development of Scientific and Engineering Applications Programs," Proceedings of the 1st International Workshop on Computer-Aided Software Engineering, May 1987.

G. L. Fisher, contributing editor, Proceedings of the Irvine Workshop on Alternatives for Environment, Certification, and Control of the DOD Common High Order Language, Thomas A. Standish, Editor, UC Irvine, 1978.


In Preparation:

G. Fisher, "Automated Black-Box Test Generation with Fully Executable Test Oracles", in preparation for submission to IEEE Transactions on Software Engineering

G. Fisher, Software Engineering: Formal and Practical, textbook in preparation.


Technical Reports:

G. L. Fisher, "Reference Manual for a Requirements Specification Language (RSL), Version 2.0", NASA Contractor Report 191460, NASA Langley, September 1993.

G. L. Fisher, "Tools Manual for a Requirements Specification Language (RSL), Version 2.0", NASA Contractor Report 191461, NASA Langley, September 1993.

M. Archer, G. Fisher, K. Levitt, R. Olsson, J. Alves-Foss, J. Buffenbarger, G. Fink, D Frincke, D. Huang, P Windley, "Specification and Verification of Secure Concurrent and Distributed Software Systems", Rome Laboratory Contractor Report RL-TR-92-16, February 1992.

D. A. Frincke, D. A. Wolber, G. L. Fisher, and G. C. Cohen, "Requirements Specification Language (RSL) and Supporting Tools", NASA Contractor Report 189700, NASA Langley, July 1992.

G. L. Fisher and L. S. Fisher, "A Workstation-Based Course Management and Instruction System," U. C. Davis Division of Computer Science Tech. Report CSE-88-17, September 1988.

G. L. Fisher, F. J. Leahy, and K. I. Joy, "Daisy II Preliminary Users Manual," U. C. Davis Division of Computer Science Tech. Report CSE-86-3, January 1986.

G. L. Fisher, "Documentation and Explanation in the Arcturus Programming Environment," U. C. Davis Division of Computer Science Tech. Report CSE-85-5, May 1985.

G. L. Fisher, "Conversion of Standard Compilers to Conversational Interpreters," U. C. Davis Division of Computer Science Tech. Report CSE-85-6, May 1985.

G. L. Fisher, "Daisy II: A General-Purpose Application Executive," U. C. Davis Division of Computer Science Tech. Report CSE-84-2, Feb. 1984.

G. L. Fisher, "Attribute-Based Program Decomposition," U. C. Davis Division Computer Science Tech. Report CSE-84-3, Mar. 1984.

T. A. Standish, et al., "A Programming Environment Questionnaire", U. C. Irvine Tech. Report No. 139, Mar. 1980.

G. L. Fisher, R. L. Schwartz, and D. M. Berry, "Analysis of Preliminary DOD Higher Order Language Designs, NASA Jet Propulsion Laboratory Team Report", in "DOD Common Higher Order Language, Phase I: Reports and Analyses," AD- B950 587/6Ga, 1979.

R. L. Schwartz, G. L. Fisher, and R. C. Tausworthe, "The Deep Space Network Standard Real-Time Language", The Deep Space Network Progress Report, 42-44, NASA Jet Propulsion Laboratory, Jan. 1978.

J. C. Cleaveland, G. L. Fisher, and J. T. Williams, "A Unit Specification Package for PL/I," in "Four Languages: Experiments in Computer Language Design," R. C. Uzgalis ed., UCLA Computer Science Tech. Report No. ENG-7544, 1975.