Scenario-based testing from UML/OCL behavioral models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 431, doi. 10.1007/s10009-011-0189-7
- By:
- Publication type:
- Article
Works matching AU Castillos, Kalou
Results: 2
1
2
Scenario-based testing using symbolic animation of B models.
- Published in:
- Software Testing: Verification & Reliability, 2012, v. 22, n. 6, p. 407, doi. 10.1002/stvr.1467
- By:
- Publication type:
- Article