Daniel Hoffman, Paul Strooper and Jayakrishnan Nair, Testing Generic Ada Packages with APE.  This paper was submitted to ACM SIGAda Annual International Conference, Washington, DC, USA, November 8 - 12, 1998. 

Hoffman, D., J. MacDonald and P. Strooper, Programmatic Testing of the Standard Template Library.  This paper was submitted to the IEEE Conference on Automated Software Engineering, October 1998, Honolulu, Hawaii. 

Ken Wong and Jeff Joyce, Refinement of Safety-Related Hazards into Verifiable Code Assertions.  This paper was presented at SAFECOMP'98 in Heidelberg, Germany, October 5-7, 1998. 

Jeff Joyce and Ken Wong, Generating Safety Verification Conditions Through Fault Tree Analysis and Rigorous Reasoning. This paper was accepted for presentation at the 16th International System Safety Conference, Seattle, Washington, USA, September 14-19.

James H. Andrews, Higher Order Logic Programming with Untyped Lambda Expressions.  This paper was submitted to Computer Science Logic '98. 

James H. Andrews, A Framework for Log File Analysis.  This paper was submitted to Foundations of Software Engineering '98. 

James H. Andrews, Higher Order Process-Algebraic Axiomatizations of Statecharts Variants.  This paper was submitted to CONCUR'98, 9th International Conference on Concurrency Theory in Nice, France, September 8-11, 1998 

Dilian Gurov and Bruce Kapron, A Note on Negative Tagging for Least Fixed-Point Formulae .  This paper was presented at FICS'98 in Brno, Czech Republic, August 27-29, 1998.  

Jeffrey J. Joyce, Nancy A. Day and Michael R. Donat, "S - A General-Purpose Specification Notation", Department of Computer Science, UBC, to appear in July 1998 

Michael R. Donat and Jeffrey J. Joyce,  Applying an Automated Test Description Tool to Testing Based on System Level Requirements. INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada  

Kendra Cooper, Advantages of Stimulus Response Requirement Specification Techniques for System Testing.  This paper will be presented at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada 

Richard Yates, James H. Andrews and Phil Gray, Practical Experience Applying Formal Methods to Air Traffic Management Software. This paper will be presented at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada 

Ken Wong, Looking at Code with Your Safety Goggles On.  This paper was presented at Ada-Europe '98, Uppsala, Sweden, in June 1998. 

Hoffman, D., P. Strooper and L. White, "Boundary Values and Automated Testing," Journal of Software Testing, Verification, and Review (to be submitted May 1998). 

Ken Wong, Jeff Joyce and Jim Ronback, "Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System", Technical Report 98-06, Department of Computer Science, UBC, May 1998. 

Paul Gilmore, An Impredicative Simple Theory of Types. This paper will be presented at the 14'th Workshop on the Mathematical Foundations for Programming Systems, London, England, May 10-13, 1998. 

Michael R. Donat, “Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region”.  Technical Report 98-04, Department of Computer Science, University of British Columbia, April 30, 1998. 

Michael R. Donat, “Automatically Generated Test Frames from a Q Specification of ICAO Flight Plan Form Instructions”.  Technical Report 98-05, Department of Computer Science, University of British Columbia, April 30, 1998. 

Kendra Cooper, Jeffrey Joyce and Mabo R. Ito, Stimulus Response Requirements Specification Technique.  CICSR Technical Report 97-001, The University of British Columbia, December 1997. 

James H. Andrews, Nancy Day and Jeff Joyce, Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. Presented at FORTE/PSTV'97 (1997 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocal Specification, Testing, and Verification), Osaka, Japan, November 18-21, 1997.  

Nancy Day, Jeff Joyce and Gerry Pelletier. Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region: Complete Specifications and Analysis Results. Technical report 97-12, Department of Computer Science, UBC, October, 1997. 

Nancy Day, Jeff Joyce and Gerry Pelletier. Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region. Presented at the 4th NASA Langley Formal Methods Workshop, Hampton Virgina, USA, September 10-12 1997.  

Paul Gilmore. Some Applications of NaDSyL.  Presented at the Kurt Goedel Colloquim '97, Lecture Notes in Computer Science, Springer-Verlag, August 1997.  

James H. Andrews. Executing Formal Specifications by Translation to Higher Order Logic Programming.  Presented at the 1997 International Conference on Theorem Proving in Higher Order Logics, Bell Labs, Murray Hill, 19-22 August 1997.  

Ken Wong and Jeff Joyce. Formal Representation of Safety Verification Conditions.  Accepted for presentation at the workshop on Making Object Oriented Methods More Rigorous, Imperial College, London, June 24, 1997.   

Michael R. Donat. Automating formal specification-based testing. In Michel Bidoit and Max Dauchet, editors, TAPSOFT '97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, volume 1214 of Lecture Notes in Computer Science, Springer-Verlag, April 1997.  

Jeff Joyce and Nancy Day and Michael R. Donat. S: A Machine Readable Specification Notation based on Higher Order Logic. In Lecture Notes in Computer Science 859, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, (T.F. Melham, J. Camilleri Eds.), Springer-Verlag, 1994.