Comparing Partition and Random Testing via Majorization and Schur Functions.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 88, doi. 10.1109/TSE.2003.1166591
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2003 AND VI 29 AND IP 1
Results: 7
1
2
Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 77, doi. 10.1109/TSE.2003.1166590
- By:
- Publication type:
- Article
3
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 63, doi. 10.1109/TSE.2003.1166589
- By:
- Publication type:
- Article
4
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 46, doi. 10.1109/TSE.2003.1166588
- By:
- Publication type:
- Article
5
A Formal Architectural Model for Logical Agent Mobility.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 31, doi. 10.1109/TSE.2003.1166587
- By:
- Publication type:
- Article
6
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 1, doi. 10.1109/TSE.2003.1166585
- By:
- Publication type:
- Article
7
A Framework for Model-Based Design of Agent-Oriented Software.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 1, p. 15, doi. 10.1109/TSE.2003.1166586
- By:
- Publication type:
- Article