Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Introduction to special section on software testing
Communications of the ACM
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Comments on 'Axiomatizing Software Test Data Adequacy' by E.J. Weyuker
IEEE Transactions on Software Engineering
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
The effects of optimizing transformations on data-flow adequate test sets
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Testability of Software Components
IEEE Transactions on Software Engineering
Analysis and Refinement of Software Test Data Adequacy Properties
IEEE Transactions on Software Engineering
Ensuring semantic integrity of reusable objects (panel)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
High-pressure steam engines and computer software
ICSE '92 Proceedings of the 14th international conference on Software engineering
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
Proceedings of the Conference on The Future of Software Engineering
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Change impact analysis for object-oriented programs
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
The ability of directed tests to predict software quality
Annals of Software Engineering
Systems integration throughout the early life cycle
BT Technology Journal
Software requirements validation via task analysis
Journal of Systems and Software
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
Clarifying Some Fundamental Concepts in Software Testing
IEEE Transactions on Software Engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
UML-Based Integration Testing for Component-Based Software
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Assessing Neural Networks as Guides for Testing Activities
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Testing Strategies for Form-Based Visual Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Testing Object-Oriented Programs An Integrated Approach
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Proceedings of the 16th IEEE international conference on Automated software engineering
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Model-Driven Reverse Engineering
IEEE Software
Test Criteria for Context-Free Grammars
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Differential testing: a new approach to change detection
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Differential testing: a new approach to change detection
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Development of an Automatic Testing Environment for Mercury
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Improving Software Test Processes
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Adequacy of empirical performance assessment for multiobjective evolutionary optimizer
EMO'07 Proceedings of the 4th international conference on Evolutionary multi-criterion optimization
Comparing the effectiveness of testing techniques
Formal methods and testing
The influence of multiple artifacts on the effectiveness of software testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Enabling automated integration testing of cloud application services in virtualized environments
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Optimal algorithmic debugging and reduced coverage using search in structured domains
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Taming the raven --- testing the random access, visualization and exploration network RAVEN
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Semi-valid input coverage for fuzz testing
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.03 |