Volume 22, Number 1, January 1996
Special Section-Best Papers of the IEEE Symposium on Security and Privacy 1994
: Guest Editorial: Introduction to the Special Section.
: A General Theory of Composition for a Class of ``Possibilistic'' Properties.
Volume 22, Number 2, February 1996
: Mathematical Notation in Formal Specification: Too Difficult for the Masses?
Volume 22, Number 3, March 1996
Volume 22, Number 4, April 1996
: A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria.
Lin Lin Wang
: Thorough Investigation into ``An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''.
Volume 22, Number 5, May 1996
Volume 22, Number 6, June 1996
Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17)
, D. Ross Jeffery
: Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17).
Volume 22, Number 7, July 1996
Special Section Best Papers of the 1996 International Symposium On Software Testing and Analysis (ISSTA'96)
Volume 22, Number 8, August 1996
: Theory of Fault-Based Predicate Testing for Computer Programs.
Volume 22, Number 9, September 1996
Special Section-Best Papers of the Sixth International Workshop on Petri Nets and Performance Models (PNPM'95)
: Numerical Analysis of Superposed GSPNs.
: Efficient Discrete-Event Simulation of Colored Petri Nets.
: Approximate Mean Value Analysis for Stochastic Marked Graphs.
Martin P. Ward
: Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.
: Total Variance Approach to Software Reliability-Estimation.
Volume 22, Number 10, October 1996
Volume 22, Number 11, November 1996
Volume 22, Number 12, December 1996