Mutation analysis of program test data
Mutation analysis of program test data
On mutation
A measure of test case completeness (software, engineering)
A measure of test case completeness (software, engineering)
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the Conference on The Future of Software Engineering
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Structural test coverage criteria for integration testing of LUSTRE/SCADE programs
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Hi-index | 0.00 |