The growth of software testing
Communications of the ACM
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
ACM SIGSOFT Software Engineering Notes
Validating programs without specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Cesar: a static sequencing constraint analyzer
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The coupling effect: fact or fiction
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Comments Analysis and Programming Errors
IEEE Transactions on Software Engineering
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering
Test Generation from LOTOS Specifications
IEEE Transactions on Computers - Special issue on protocol engineering
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The effects of optimizing transformations on data-flow adequate test sets
TAV4 Proceedings of the symposium on Testing, analysis, and verification
TAV4 Proceedings of the symposium on Testing, analysis, and verification
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Interprocedural static analysis of sequencing constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Evaluation of a predicate-based software testing strategy
IBM Systems Journal
Confidence oriented software dependability measurement
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A reduced test suite for protocol conformance testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Strategic directions in software quality
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Modeling software for accurate data flow representation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Specification-based testing using cause-effect graphs
Annals of Software Engineering
Automated Software Engineering
A General Model of Unit Testing Efficacy
Software Quality Control
Software requirements validation via task analysis
Journal of Systems and Software
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
A Binary Markov Process Model for Random Testing
IEEE Transactions on Software Engineering
Systems testing and statistical test data coverage
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Software Analysis and Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
On testing of classes in object-oriented programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Test case generation for specification-based software testing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Assessing Neural Networks as Guides for Testing Activities
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Algebraic Software Testing in Vector Spaces of Functions
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Encyclopedia of Computer Science
Failure management development for integrated automotive safety-critical software systems
Proceedings of the 2009 ACM symposium on Applied Computing
On reduced neighborhood mutation analysis using a single mutagenic operator
Proceedings of the 47th Annual Southeast Regional Conference
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Litmus: generation of test cases from functional requirements in natural language
NLDB'12 Proceedings of the 17th international conference on Applications of Natural Language Processing and Information Systems
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.02 |