Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Goal-driven combination of software comprehension approaches for component based development
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
CLPS-B - A Constraint Solver for B
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
Automatic Test Data Generation for Programs with Integer and Float Variables
Proceedings of the 16th IEEE international conference on Automated software engineering
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Data Generation for Path Testing
Software Quality Control
Symbolic Execution of Program Paths Involving Pointer and Structure Variables
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Constraint-based test data generation in the presence of stack-directed pointers
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
The class-level mutants of MuJava
Proceedings of the 2006 international workshop on Automation of software test
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Delta execution for efficient state-space exploration of object-oriented programs
Proceedings of the 2007 international symposium on Software testing and analysis
Goal-oriented test data generation for pointer programs
Information and Software Technology
Automatic mutation test input data generation via ant colony
Proceedings of the 9th annual conference on Genetic and evolutionary computation
A rigorous approach towards test case generation
Information Sciences: an International Journal
Information and Software Technology
Coverage criteria for state based specifications
Formal methods and testing
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
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
Proceedings of the 2012 International Symposium on Software Testing and Analysis
ConSMutate: SQL mutants for guiding concolic testing of database applications
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Journal of Systems and Software
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Mutation-oriented test data augmentation for GUI software fault localization
Information and Software Technology
A case study on bypass testing of web applications
Empirical Software Engineering
| Hi-index | 0.00 |