Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Path analysis of distributed programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An approach to testing concurrent Ada programs
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
Generating test data for distributed software using the chaining approach
Information and Software Technology
| Hi-index | 0.00 |