Steps to an Advanced Ada1Programming Environment
IEEE Transactions on Software Engineering
Towards Complexity Metrics for Ada Tasking
IEEE Transactions on Software Engineering
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Data flow analysis of concurrent systems that use the rendezvous model of synchronization
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experiments with an improved constrained expression toolset
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
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
| Hi-index | 0.00 |