The following pages link to Introduction to Software Testing (Q3506694):
Displaying 21 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Information gain of black-box testing (Q640298) (← links)
- Formalizing and testing the consistency of DSL transformations (Q736456) (← links)
- Design and analysis of different alternating variable searches for search-based software testing (Q888422) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Complexity of node coverage games (Q2344734) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- Research on the dynamic reconfiguration of Web application using two-phase compatibility verification (Q2874308) (← links)
- A Random Testing Approach Using Pushdown Automata (Q3012968) (← links)
- Towards MC/DC Coverage of Properties Specification Patterns (Q3179399) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- (Q4549764) (← links)
- Logical s-t Min-Cut Problem: An Extension to the Classic s-t Min-Cut Problem (Q5056912) (← links)
- A CLP heap solver for test case generation (Q5398307) (← links)
- Towards efficient data-flow test data generation (Q6535835) (← links)
