Searching...
Advanced Search
Publication
2004
Issue No. 6 - June
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
IEEE Transactions on Software Engineering
June 2004 (vol. 30 no. 6)
ISSN: 0098-5589
Table of Contents
Special Section on the International Conference on Software Engineering
Guest Editors' Introduction: 2003 International Conference on Software Engineering
(HTML)
Laura K. Dillon
, IEEE
Walter F. Tichy
, IEEE Computer Society
pp. 353-354
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Scaling Step-Wise Refinement
(Abstract)
Don Batory
, IEEE
Jacob Neal Sarvela
, IEEE
Axel Rauschmayer
, IEEE
pp. 355-371
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Modular Verification of Software Components in C
(Abstract)
Sagar Chaki
Edmund M. Clarke
, IEEE
Alex Groce
Somesh Jha
Helmut Veith
pp. 388-402
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
