Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
Mutation analysis of program test data
Mutation analysis of program test data
Unconstrained duals and their use in achieving all-uses coverage
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Reducing and estimating the cost of test coverage criteria
Proceedings of the 18th international conference on Software engineering
Analyzing Regression Test Selection Techniques
IEEE Transactions on Software Engineering
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
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)
A time/structure based software reliability model
Annals of Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Improving web application testing with user session data
Proceedings of the 25th International Conference on Software Engineering
Specification-based regression test selection with risk analysis
CASCON '02 Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research
An empirical study of the correlation between code coverage and reliability estimation
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
The Impact of Software Evolution on Code Coverage Information
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Residual fault density prediction using regression methods
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A Study of Effective Regression Testing in Practice
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Using Spanning Sets for Coverage Testing
IEEE Transactions on Software Engineering
Selecting a Cost-Effective Test Case Prioritization Technique
Software Quality Control
Leveraging User-Session Data to Support Web Application Testing
IEEE Transactions on Software Engineering
An experimental comparison of four test suite reduction techniques
Proceedings of the 28th international conference on Software engineering
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
IEEE Transactions on Software Engineering
Model-based regression test suite generation using dependence analysis
Proceedings of the 3rd international workshop on Advances in model-based testing
Regression test suite reduction using extended dependence analysis
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
PHALANX: a graph-theoretic framework for test case prioritization
Proceedings of the 2008 ACM symposium on Applied computing
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysis of test suite reduction with enhanced tie-breaking techniques
Information and Software Technology
MINTS: A general framework and tool for supporting test-suite minimization
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Issues in using model checkers for test case generation
Journal of Systems and Software
Test-Suite Augmentation for Evolving Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Design and analysis of GUI test-case prioritization using weight-based methods
Journal of Systems and Software
Redundancy based test-suite reduction
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
An effective fault aware test case prioritization by incorporating a fault localization technique
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Testing techniques in software engineering
Testing techniques in software engineering
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Path exploration based on symbolic output
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Information and Software Technology
An intuitive approach to determine test adequacy in safety-critical software
ACM SIGSOFT Software Engineering Notes
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Efficient and flexible GUI test execution via test merging
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Interaction-based test-suite minimization
Proceedings of the 2013 International Conference on Software Engineering
Path exploration based on symbolic output
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Hi-index | 0.00 |