The following pages link to A General Testability Theory (Q3184700):
Displaying 4 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)