The complete guide to software testing
The complete guide to software testing
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
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
Handbook of software reliability engineering
Handbook of software reliability engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Proceedings of the Conference on The Future of Software Engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study
IEEE Transactions on Software Engineering
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
ISSTA 2002 panel: is ISSTA research relevant to industrial users?
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Planning and Certifying Software System Reliability
IEEE Software
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
A blueprint for introducing disruptive technology into the Internet
ACM SIGCOMM Computer Communication Review
Bug isolation via remote program sampling
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
A Theory of Behaviour Observation in Software Testing
A Theory of Behaviour Observation in Software Testing
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
Leveraging field data for impact analysis and regression testing
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
An experimental evaluation of continuous testing during development
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Observations and lessons learned from automated testing
Proceedings of the 27th international conference on Software engineering
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Profiling Deployed Software: Assessing Strategies and Testing Opportunities
IEEE Transactions on Software Engineering
Predicting the Location and Number of Faults in Large Software Systems
IEEE Transactions on Software Engineering
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Using symbolic execution to guide test generation: Research Articles
Software Testing, Verification & Reliability
A passive testing approach based on invariants: application to the WAP
Computer Networks and ISDN Systems
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Selective capture and replay of program executions
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Proceedings of the 5th ACM international conference on Embedded software
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Empirical Software Engineering
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
BPEL4WS Unit Testing: Framework and Implementation
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Value-Based Software Engineering
Value-Based Software Engineering
Automatic test factoring for java
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Testing in resource constrained execution environments
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing
Proceedings of the 2006 international symposium on Software testing and analysis
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Carving differential unit test cases from system test cases
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
Improving software practice through education: Challenges and future trends
FOSE '07 2007 Future of Software Engineering
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
New Frontiers of Reverse Engineering
FOSE '07 2007 Future of Software Engineering
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
The Future of Empirical Methods in Software Engineering Research
FOSE '07 2007 Future of Software Engineering
Dynamic Detection of COTS Component Incompatibility
IEEE Software
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Formal methods and testing: hypotheses, and correctness approximations
FM'05 Proceedings of the 2005 international conference on Formal Methods
Multi-paradigmatic model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Improving software practice through education: Challenges and future trends
FOSE '07 2007 Future of Software Engineering
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
The Future of Programming Environments: Integration, Synergy, and Assistance
FOSE '07 2007 Future of Software Engineering
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications
PROFES '08 Proceedings of the 9th international conference on Product-Focused Software Process Improvement
Invariant-based automatic testing of AJAX user interfaces
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Maintaining and evolving GUI-directed test scripts
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
On-line validation of service oriented systems in the European Project TAS3
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Science of Computer Programming
Information and Software Technology
Test case prioritization based on data reuse an experimental study
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Research Issues in the Automated Testing of Ajax Applications
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Testing to certify an embedded software system
Journal of Computing Sciences in Colleges
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Experimental study on GA-based path-oriented test data generation using branch distance
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Automating software tests with partial oracles in integrated environments
Proceedings of the 5th Workshop on Automation of Software Test
Ranking programs using black box testing
Proceedings of the 5th Workshop on Automation of Software Test
Calculating the usage probabilities of statistical usage models by constraints optimization
Proceedings of the 5th Workshop on Automation of Software Test
A study on agility and testing processes in software organizations
Proceedings of the 19th international symposium on Software testing and analysis
HotOS'09 Proceedings of the 12th conference on Hot topics in operating systems
The influence of multiple artifacts on the effectiveness of software testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
Generating integration test cases automatically
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
An analysis of a comprehensive planning framework for customizing SQA
NSEC '10 Proceedings of the 2010 National Software Engineering Conference
A framework for parallel unit testings: work in progress
Proceedings of the 48th Annual Southeast Regional Conference
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Information and Software Technology
Software test automation in practice: empirical observations
Advances in Software Engineering - Special issue on software test automation
A systematic mapping study of software product lines testing
Information and Software Technology
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
An experimental assessment of module documentation-based testing
Information and Software Technology
Using conditional mutation to increase the efficiency of mutation analysis
Proceedings of the 6th International Workshop on Automation of Software Test
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Better testing through oracle selection (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Dynamic plans for integration testing of self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Search-based software testing and test data generation for a dynamic programming language
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Utilizing user interface models for automated instantiation and execution of system tests
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Towards accurate failure prediction for the proactive adaptation of service-oriented systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Access policy compliance testing in a user centric trust service infrastructure
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Automating unit and integration testing with partial oracles
Software Quality Control
Automatic testing environment for multi-core embedded software-ATEMES
Journal of Systems and Software
Applying requirement based complexity for the estimation of software development and testing effort
ACM SIGSOFT Software Engineering Notes
Who tested my software? Testing as an organizationally cross-cutting activity
Software Quality Control
Executable interface specifications for testing asynchronous creol components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Validating model-driven performance predictions on random software systems
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Empirical evaluation of cloud-based testing techniques: a systematic review
ACM SIGSOFT Software Engineering Notes
Model-based test instantiation for applications with user interfaces
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement
Understanding user understanding: determining correctness of generated program invariants
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Using regression testing to analyze the impact of changes to variability models on products
Proceedings of the 16th International Software Product Line Conference - Volume 1
An architectural model for software testing lesson learned systems
Information and Software Technology
Automated generation of test oracles using a model-driven approach
Information and Software Technology
Code coverage using intelligent water drop (IWD)
International Journal of Bio-Inspired Computation
Journal of Systems and Software
Identification and selection of interaction test scenarios for integration testing
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
More testers - The effect of crowd size and time restriction in software testing
Information and Software Technology
Multi-objective test case prioritization for GUI applications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Towards run-time testing of dynamic adaptive systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Search based software test data generation for structural testing: a perspective
ACM SIGSOFT Software Engineering Notes
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
A novel approach to collaborative testing in a crowdsourcing environment
Journal of Systems and Software
Scheduling black-box mutational fuzzing
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information Sciences: an International Journal
GUI testing assisted by human knowledge: Random vs. functional
Journal of Systems and Software
Hi-index | 0.00 |
Software engineering comprehends several disciplines devoted to prevent and remedy malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a widespread validation approach in industry, but it is still largely ad hoc, expensive, and unpredictably effective. Indeed, software testing is a broad term encompassing a variety of activities along the development cycle and beyond, aimed at different goals. Hence, software testing research faces a collection of challenges. A consistent roadmap of the most relevant challenges to be addressed is here proposed. In it, the starting point is constituted by some important past achievements, while the destination consists of four identified goals to which research ultimately tends, but which remain as unreachable as dreams. The routes from the achievements to the dreams are paved by the outstanding research challenges, which are discussed in the paper along with interesting ongoing work.