Remark on algorithm 408: a sparse matrix package (part 1) [F4]

An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria

TAV4 Proceedings of the symposium on Testing, analysis, and verification

Critical slicing for software fault localization

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis

Remark on “Algorithm 408: A Sparse Matrix Package (Part 1) [F4]”

ACM Transactions on Mathematical Software (TOMS)

An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing

IEEE Transactions on Software Engineering

A report on random testing

ICSE '81 Proceedings of the 5th international conference on Software engineering