Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Lean Software Development: Two Case Studies
Software Quality Control
Measurement: the key to application development quality
IBM Systems Journal
The software testing challenges and methods
ICCOM'05 Proceedings of the 9th WSEAS International Conference on Communications
The use of modeling & simulation-based analysis & optimization of software testing
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Hi-index | 0.00 |