External Links

    Journal: IEEE Trans. Software Eng.

    Volume 20, Issue 12

    885 -- 899Antonia Bertolino, Martina Marré. Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
    900 -- 913Michel Diaz, Guy Juanole, Jean-Pierre Courtiat. Observer-A Concept for Formal On-Line Validation of Distributed Systems
    914 -- 932Ying Liu, Ambuj K. Singh, Rajive Bagrodia. A Decompositional Approach to the Design of Parallel Programs
    933 -- 947Farnam Jahanian, Aloysius K. Mok. Modechart: A Specification Language for Real-Time Systems
    948 -- 976David Lorge Parnas, Jan Madey, Michal Iglewski. Precise Documentation of Well-Structured Programs
    977 -- 980Tsong Yueh Chen, Yuen-Tak Yu. On the Relationship Between Partition and Random Testing
    runs on