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