Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Empirical Software Engineering
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A measurement framework for evaluating model-based test generation tools
IBM Systems Journal - Model-driven software development
Model-based test prioritization heuristic methods and their evaluation
Proceedings of the 3rd international workshop on Advances in model-based testing
Efficient traces' collection mechanisms for passive testing of Web Services
Information and Software Technology
Information and Software Technology
Using model checking for reducing the cost of test generation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
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
Conformance testing to real-time communications systems
Computer Communications
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
New approach for EFSM-based passive testing of web services
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Designing fault injection experiments using state-based model to test a space software
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Hi-index | 0.00 |