Introduction to Software Testing
From MaRDI portal
Publication:3506694
DOI10.1017/CBO9780511809163zbMath1154.68042MaRDI QIDQ3506694
Publication date: 16 June 2008
Full work available at URL: https://doi.org/10.1017/cbo9780511809163
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68M15: Reliability, testing and fault tolerance of networks and computer systems
68N99: Theory of software
Related Items
Logical s-t Min-Cut Problem: An Extension to the Classic s-t Min-Cut Problem, A CLP heap solver for test case generation, An extended framework for passive asynchronous testing, Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning, Information gain of black-box testing, Formalizing and testing the consistency of DSL transformations, Design and analysis of different alternating variable searches for search-based software testing, Automating regression verification of pointer programs by predicate abstraction, Using schedulers to test probabilistic distributed systems, A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability, Condition/decision duality and the internal logic of extensive restriction categories, Timed implementation relations for the distributed test architecture, On the order of test goals in specification-based testing, Complexity of node coverage games, A model learning based testing approach for spiking neural P systems, Research on the dynamic reconfiguration of Web application using two-phase compatibility verification, A Random Testing Approach Using Pushdown Automata, Towards MC/DC Coverage of Properties Specification Patterns, Complementary Criteria for Testing Temporal Logic Properties