Research interests
Validation based on testing
- Problems: test data selection, stopping test criteria, test oracle
- Approaches: functional testing, conformance testing
- Techniques: random, combinatorial or statistical testing
- Domains: services applications, synchronous software
- Case studies: telephony features, home services, embedded applications,
Testability as a software quality metric
- Problems: validation of testability metrics
- Approaches: theoretical and empirical
|