Model Checking Markov Chains with Actions and State Labels.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 209, doi. 10.1109/TSE.2007.36
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2007 AND VI 33 AND IP 4
Results: 4
1
2
Test Synthesis from UML Models of Distributed Software.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 252, doi. 10.1109/TSE.2007.39
- By:
- Publication type:
- Article
3
On the Semantics of Associations and Association Ends in UML.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 238, doi. 10.1109/TSE.2007.37
- By:
- Publication type:
- Article
4
Search Algorithms for Regression Test Case Prioritization.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 225, doi. 10.1109/TSE.2007.38
- By:
- Publication type:
- Article