What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Reliable Objects: Lightweight Testing for OO Languages
IEEE Software
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software
Building Trust into OO Components Using a Genetic Analogy
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
An experimental mutation system for Java
ACM SIGSOFT Software Engineering Notes
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
MuJava: a mutation system for java
Proceedings of the 28th international conference on Software engineering
The class-level mutants of MuJava
Proceedings of the 2006 international workshop on Automation of software test
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Automatic mutation test input data generation via ant colony
Proceedings of the 9th annual conference on Genetic and evolutionary computation
On similarity-awareness in testing-based fault localization
Automated Software Engineering
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
On guiding the augmentation of an automated test suite via mutation analysis
Empirical Software Engineering
Should software testers use mutation analysis to augment a test set?
Journal of Systems and Software
Information and Software Technology
Comparing the effectiveness of testing techniques
Formal methods and testing
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
Mutation analysis testing for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A quality checklist for technology-centred testing studies
EASE'09 Proceedings of the 13th international conference on Evaluation and Assessment in Software Engineering
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Mutation based test case generation via a path selection strategy
Information and Software Technology
On the effects of pair programming on thoroughness and fault-finding effectiveness of unit tests
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Science of Computer Programming
Linking software testing results with a machine learning approach
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |