Connecting you to content on EBSCOhost

Works matching IS 00985589 AND DT 2004 AND VI 30 AND IP 6

Results: 6

1

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 403, doi. 10.1109/TSE.2004.15

By:

Wang, Farn;
Schmidt, Karsten;
Fang Yu;
Geng-Dian Huang;
Wang, Bow-Yaw

Publication type:

Article

2

Modular Verification of Software Components in C.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 388, doi. 10.1109/TSE.2004.22

By:

Chaki, Sagar;
Clarke, Edmund M.;
Groce, Alex;
Jha, Somesh;
Veith, Helmut

Publication type:

Article

3

Fragment Class Analysis for Testing of Polymorphism in Java Software.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 372, doi. 10.1109/TSE.2004.20

By:

Rountev, Atanas;
Milariova, Ana;
Ryder, Barbara G.

Publication type:

Article

4

Scaling Step-Wise Refinement.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 355, doi. 10.1109/TSE.2004.23

By:

Batory, Don;
Sarvela, Jacob Neal;
Rauschmayer, Axel

Publication type:

Article

5

Guest Editors' Introduction: 2003 International Conference on Software Engineering.

Published in:

2004

By:

Dillon, Laura K.;
Tichy, Walter F.

Publication type:

Editorial

6

Software Fault Interactions and Implications for Software Testing.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 418, doi. 10.1109/TSE.2004.24

By:

Kuhn, D. Richard;
Wallace, Dolores R.;
Gallo Jr., Albert M.

Publication type:

Article