Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Formal methods: Importance, experience, and comparative analysis
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Dependence testing: extending data flow testing with control dependence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Hi-index | 0.00 |