Applications of symbolic evaluation
Journal of Systems and Software
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Symbolic execution systems—a review
Software Engineering Journal
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Measures of testability as a basis for quality assurance
Software Engineering Journal
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Testability of Software Components
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
Analyzing Regression Test Selection Techniques
IEEE Transactions on Software Engineering
Handbook of software reliability engineering
Handbook of software reliability engineering
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Comparing and combining software defect detection techniques: a replicated empirical study
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Modeling the Effects of Combining Diverse Software Fault Detection Techniques
IEEE Transactions on Software Engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Art of Software Testing
Proceedings of the 24th International Conference on Software Engineering
Software Component Certification
Computer
Selecting and Using Data for Integration Testing
IEEE Software
Software Testability: The New Verification
IEEE Software
Quantitative Analysis of Faults and Failures in a Complex Software System
IEEE Transactions on Software Engineering
WCT: A Wrapper for Component Testing
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
On Building Testable Software Components
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Component Metadata for Software Engineering Tasks
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
A Method for Built-in Tests in Component-based Software Maintenance
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering
Theories of Program Testing and the Application of Revealing Subdomains
IEEE Transactions on Software Engineering
Partition Analysis: A Method Combining Testing and Verification
IEEE Transactions on Software Engineering
Multithreaded java program test generation
IBM Systems Journal
Design and code inspections to reduce errors in program development
IBM Systems Journal
The (Im)maturity level of software testing
ACM SIGSOFT Software Engineering Notes
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing process automation based on UTP – a case study
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Journal of Systems and Software
| Hi-index | 0.00 |
The paper attempts to provide a comprehensive view of the field of software testing. The objective is to put all the relevant issues into a unified context, although admittedly the overview is biased towards my own research and expertise. In view of the vastness of the field, for each topic problems and approaches are only briefly tackled, with appropriate references provided to dive into them. I do not mean to give here a complete survey of software testing. Rather I intend to show how an unwieldy mix of theoretical and technical problems challenge software testers, and that a large gap exists between the state of the art and of the practice.