VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.
Sita RamakrishnanPublished in: FATES (2003)
Keyphrases
- testing process
- regression testing
- model based testing
- tool support
- software testing
- fault diagnosis
- sequence diagrams
- software engineering
- test data
- object oriented
- discrete event systems
- test cases
- database design
- formal methods
- specification language
- discrete event
- software systems
- dynamic systems
- modeling language
- conceptual modeling
- software development