An automatically-generated run-time instrumenter to reduce coverage testing overhead
Proceedings of the 3rd international workshop on Automation of software test
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Testing in Agent Oriented Methodologies
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Using machine learning to refine Category-Partition test specifications and test suites
Information and Software Technology
Using coverage to automate and improve test purpose based testing
Information and Software Technology
An approach for formal verification of business processes
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Information and Software Technology
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Design and analysis of GUI test-case prioritization using weight-based methods
Journal of Systems and Software
Defining and Providing Coverage for Assertion-Based Dynamic Verification
Journal of Electronic Testing: Theory and Applications
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
Teaching and training developer-testing techniques and tool support
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Speculative analysis: exploring future development states of software
Proceedings of the FSE/SDP workshop on Future of software engineering research
Future of developer testing: building quality in code
Proceedings of the FSE/SDP workshop on Future of software engineering research
Entropy and software systems: towards an information-theoretic foundation of software testing
Proceedings of the FSE/SDP workshop on Future of software engineering research
A generic approach to run mutation analysis
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
A systematic mapping study of software product lines testing
Information and Software Technology
An automated framework for software test oracle
Information and Software Technology
System testing using use cases for simulation model of an emergency room
International Journal of Advanced Intelligence Paradigms
Proceedings of the 6th International Workshop on Automation of Software Test
Towards efficient measuring of web services API coverage
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Discrepancy discovery in search-enhanced testing
Proceedings of the 3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation
Search-enhanced testing (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Testing container classes: random or systematic?
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Problems for a Philosophy of Software Engineering
Minds and Machines
Analysis of software cohesion attribute and test case development complexity
Proceedings of the 49th Annual Southeast Regional Conference
Combining specification-based and code-based coverage for model transformation chains
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
A case study on the use of genetic algorithms to generate test cases for temporal systems
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Experimental comparison of different techniques to generate adaptive sequences
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Reducing the number of unit tests with design by contract
Proceedings of the 12th International Conference on Computer Systems and Technologies
SMutant: a tool for type-sensitive mutation testing in a dynamic language
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Test suite quality for model transformation chains
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Automating image segmentation verification and validation by learning test oracles
Information and Software Technology
A heuristic test data generation approach for program fault localization
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
The Journal of Strategic Information Systems
Application development of mobile Transjakarta route map: (case study: Jakarta Indonesia)
Proceedings of the 9th International Conference on Advances in Mobile Computing and Multimedia
Test case filtering and prioritization based on coverage of combinations of program elements
WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
A history-based cost-cognizant test case prioritization technique in regression testing
Journal of Systems and Software
Applying constraint logic programming to SQL test case generation
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Optimal instrumentation of data-flow in concurrent data structures
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Accounting for defect characteristics in evaluations of testing techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated functional testing of online search services
Software Testing, Verification & Reliability
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Reduction of test suites using mutation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Automatically finding performance problems with feedback-directed learning software testing
Proceedings of the 34th International Conference on Software Engineering
Stages in teaching software testing
Proceedings of the 34th International Conference on Software Engineering
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Real-time Java API specifications for high coverage test generation
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
On the effects of pair programming on thoroughness and fault-finding effectiveness of unit tests
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Grammar-based test generation for software product line feature models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Flipping the testing classroom
Software Testing, Verification & Reliability
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Mutation at the multi-class and system levels
Science of Computer Programming
A multiple case study of design pattern decay, grime, and rot in evolving software systems
Software Quality Control
Automated test generation for multi-state systems
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Selective mutation testing for concurrent code
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Faster mutation testing inspired by test prioritization and reduction
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Comparing multi-point stride coverage and dataflow coverage
Proceedings of the 2013 International Conference on Software Engineering
POPT: a problem-oriented programming and testing approach for novice students
Proceedings of the 2013 International Conference on Software Engineering
Abstraction and Idealization in the Formal Verification of Software Systems
Minds and Machines
Journal of Systems and Software
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Accelerated model-based robustness testing of state machine implementations
ACM SIGAPP Applied Computing Review
Prevalence of coincidental correctness and mitigation of its impact on fault localization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications, and embedded software.