A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
Optimisation of software testing using Genetic Algorithm
International Journal of Artificial Intelligence and Soft Computing
Saturation-based testing of concurrent programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Using machine learning to refine Category-Partition test specifications and test suites
Information and Software Technology
WSEAS Transactions on Information Science and Applications
Mutation-based testing of integer overflow vulnerabilities
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Combinatorial Designs for Authentication and Secrecy Codes
Foundations and Trends in Communications and Information Theory
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
An enhanced test case selection approach for model-based testing: an industrial case study
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
TeCReVis: a tool for test coverage and test redundancy visualization
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Requirements attributes to predict requirements related defects
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
A virtualized environment and orthogonal array as a method for software testing
MMACTEE'09 Proceedings of the 11th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Structured testing using ant colony optimization
Proceedings of the First International Conference on Intelligent Interactive Technologies and Multimedia
Improving test coverage using merged classification tree
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
Preset and adaptive homing experiments for nondeterministic finite state machines
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Automating image segmentation verification and validation by learning test oracles
Information and Software Technology
Symbolic verification and test generation for a network of communicating FSMs
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Software coverage: a testing approach through ant colony optimization
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part I
Mitigating program security vulnerabilities: Approaches and challenges
ACM Computing Surveys (CSUR)
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Trustworthiness testing of phishing websites: A behavior model-based approach
Future Generation Computer Systems
Information Sciences: an International Journal
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
Code coverage using intelligent water drop (IWD)
International Journal of Bio-Inspired Computation
Software Coverage Analysis: Black Box Approach Using ANT System
International Journal of Applied Evolutionary Computation
International Journal of Applied Metaheuristic Computing
A new hierarchical clustering technique for restructuring software at the function level
Proceedings of the 6th India Software Engineering Conference
Mutation operators for cognitive agent programs
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Empirical study of root cause analysis of software failure
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
Basic ApproachFoundations of Software Testing is the premiere example-based text and reference for establishing sound engineering practices in test generation, selection, minimization and enhancement, for software projects ranging from the most simple to the highly complex, to those used by government agencies such as the FAA. Foundations of Software Testing also covers data-flow based adequacy and mutation-based adequacy, which are the most powerful of the available test adequacy criteria. It distills knowledge developed by hundreds of testing researchers and practitioners from all over the world and brings it to readers in an easy to understand form.Test generation, selection, priortization and assessment lie at the foundation of all technical activities that arise in a test process. Appropriate deployment of the elements of this strong foundation enables the testing of different types of software applications, including Object Oriented systems, Web services, graphical user interfaces, embedded systems, as well as properties relating to security, performance, and reliability. With over 200 examples and exercises of mathematical, step-by-step approaches, Foundations describes a wide variety of testing techniqes, including finite state models, combinatorial designs, and minimization for regression testing.Table of ContentsPart I: PRELIMINARIES1. Basics of Software TestingPart II: TEST GENERATION2. Test Generation from Requirements3. Test Generation from Finite-State Models4. Test Generation from Combinatorial Designs5. Test Selection, Minimization and Prioritization for Regression TestingPart III: TEST ADEQUACY ASSESSMENT AND ENHANCEMENT6. Test-Adequacy: Assessment Using Control Flow and Data Flow7. Test Adequacy Assessment Using Program MutationAbout the AuthorAditya P. Mathur is Professor and Head, Department of Computer Science, at Purdue University. He is one of the founders of the department of Computer Science at BITS, Pilani, India where he designed, developed, and taught the first course on microprocessors to undergraduate students from his seminal book Introduction to Microprocessors. Dr. Mathur has been a prolific researcher with over 100 published works in international journals and conferences. His key contributions include a multilingual computer, the saturation effect in software testing, a theory of software cybernetics, and novel techniques for the estimation of software reliability.Students, practitioners, and researchers will find this book an excellent source of simple to advanced techniques to use and improve their knowledge of and expertise in software testing.Praise for Foundations of Software Testing:"The book describes techniques in a lucid manner with great clarity with the help of numerous examples. Illustration of the techniques through appropriate examples makes the book very easy to study and assimilate the deep concepts and thus a unique book in the area of software testing.", Ashish Kundu, Graduate Student, Department of Computer Science, Purdue University." As a teacher of software testing and validation, I had to search for books that can be used as references in my class and I found that "Foundations of Software Testing" is the best one for at least the following reasons:- It covers a wide range of concepts related to software testing.- It introduces the different concepts smoothly with examples illustrating them. This helps students a lot in understanding the ideas behind each concept introduced.- The exercises at the end of each chapter test if the students understood the concepts properly and as expected.- The references of the book and the discussion at the end of each chapter both give the reader an opportunity to learn more. The slides are well prepared and organized. This facilitates the task of the professor when lecturing.", Professor Abdeslam En-nouaary, Concordia University."This book teaches software testing as a science and not as an art. It not only presents an engineering approach for handling different testing tasks but, also sets up the formal framework for the presented technique. Thus when compared to other books on testing it can be readily used as a resource by both practitioners and researchers which in my view is the real strength of this book.Initially I thought that there is still much that can be added to this book, but seeing the list of chapters that would be added in subsequent volumes I believe that for the complete set of volumes it would be very difficult to suggest drastic improvements.", Ammar Masood, Graduate student, Department of Electrical and Computer Engineering, Purdue University."So far, I like your book. Plenty of definitions and terminology that is clearly presented." Christine Ayers, undergraduate student, UT Dallas.