An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
Structured programming
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Introduction to special section on software testing
Communications of the ACM
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experimental evaluation of a fuzzy-set based measure of software correctness using program mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Coverage measurement experience during function test
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
ADTEST: A Test Data Generation Suite for Ada Software Systems
IEEE Transactions on Software Engineering
The causes and effects of infeasible paths in computer programs
ICSE '85 Proceedings of the 8th international conference on Software engineering
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Validation of Scientific Programs
ACM Computing Surveys (CSUR)
Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Local exhaustive testing: a software reliability tool
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Theoretical and empirical studies of program testing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Symbolic interpretation and tracing of PASCAL-programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Compiler testing via symbolic interpretation
ACM '76 Proceedings of the 1976 annual conference
A normal form for compiler testing
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Test procedures: A new approach to software verification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Aspects of design, test and validation of the software for a computerized reactor protection system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The application of error-sensitive testing strategies to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Pseudo-oracles for non-testable programs
ACM '81 Proceedings of the ACM '81 conference
Toward models for probabilistic program correctness
Proceedings of the software quality assurance workshop on Functional and performance issues
An application of graph theory to software test data selection
Proceedings of the software quality assurance workshop on Functional and performance issues
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Parallel test generation and execution with Korat
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
A tool-based approach for software testing and validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
An Empirical Study of Structural Constraint Solving Techniques
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Automatic test generation with AGATHA
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Coverage criteria for state based specifications
Formal methods and testing
How did you specify your test suite
Proceedings of the IEEE/ACM international conference on Automated software engineering
On Testing Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
The impact of fault models on software robustness evaluations
Proceedings of the 33rd International Conference on Software Engineering
Mining test oracles of web search engines
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Interprocedural test path evaluation
Computer Languages
Software development for reliable software systems
Journal of Systems and Software
The softest program test system
Journal of Systems and Software
Software quality assurance economics
Information and Software Technology
Test input generation using dynamic programming
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
| Hi-index | 0.03 |