Published Articles >> Table of Contents
June 2004 (Vol. 30, No. 6)
ISSN: 0098-5589
| Special Section on the International Conference on Software Engineering |
Guest Editors' Introduction: 2003 International Conference on Software Engineering (PDF)
Laura K. Dillon, IEEE
Walter F. Tichy, IEEE Computer Society
pp. 353-354
   
|
Scaling Step-Wise Refinement (Abstract)
Don Batory, IEEE
Jacob Neal Sarvela, IEEE
Axel Rauschmayer, IEEE
pp. 355-371
 
|
Fragment Class Analysis for Testing of Polymorphism in Java Software (Abstract)
Atanas Rountev, IEEE Computer Society
Ana Milanova, IEEE Computer Society
Barbara G. Ryder, IEEE Computer Society
pp. 372-387
|
Modular Verification of Software Components in C (Abstract)
Sagar Chaki
Edmund M. Clarke, IEEE
Alex Groce
Somesh Jha
Helmut Veith
pp. 388-402
|
| Regular papers |
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction (Abstract)
Farn Wang, IEEE Computer Society
Karsten Schmidt
Fang Yu
Geng-Dian Huang
Bow-Yaw Wang
pp. 403-417
|
| Short papers |
Software Fault Interactions and Implications for Software Testing (Abstract)
D. Richard Kuhn, IEEE
Dolores R. Wallace, IEEE Computer Society
Albert M. Gallo
pp. 418-421
|
|
|
RSS Feed