Works matching IS 00985589 AND DT 2006 AND VI 32 AND IP 8
Results: 7
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 608, doi. 10.1109/TSE.2006.83
- By:
- Publication type:
- Article
Triggered Message Sequence Charts.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 587, doi. 10.1109/TSE.2006.82
- By:
- Publication type:
- Article
Design by Contract to Improve Software Vigilance.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 571, doi. 10.1109/TSE.2006.79
- By:
- Publication type:
- Article
Saturation for a General Class of Models.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 559, doi. 10.1109/TSE.2006.81
- By:
- Publication type:
- Article
Analysis of Restart Mechanisms in Software Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 547, doi. 10.1109/TSE.2006.73
- By:
- Publication type:
- Article
Backward Bisimulation in Markov Chain Model Checking.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 531, doi. 10.1109/TSE.2006.74
- By:
- Publication type:
- Article
Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of systems (QEST).
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 529, doi. 10.1109/TSE.2006.80
- By:
- Publication type:
- Article