Searching...
Advanced Search
Table of Contents
Login to access your subscribed content
June 2004 (vol. 30 no. 6)
ISSN: 0098-5589
Subscribe to this Publication
RSS feed for this Publication
This Publication
Digital Library
Advanced Search
Special Section on the International Conference on Software Engineering
Guest Editors' Introduction: 2003 International Conference on Software Engineering
Laura K. Dillon
, IEEE
Walter F. Tichy
, IEEE Computer Society
pp. 353-354
PURCHASE ARTICLE: $0
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Scaling Step-Wise Refinement
Don Batory
, IEEE
Jacob Neal Sarvela
, IEEE
Axel Rauschmayer
, IEEE
pp. 355-371
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Fragment Class Analysis for Testing of Polymorphism in Java Software
Atanas Rountev
, IEEE Computer Society
Ana Milanova
, IEEE Computer Society
Barbara G. Ryder
, IEEE Computer Society
pp. 372-387
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Modular Verification of Software Components in C
Sagar Chaki
Edmund M. Clarke
, IEEE
Alex Groce
Somesh Jha
Helmut Veith
pp. 388-402
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Regular papers
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction
Farn Wang
, IEEE Computer Society
Karsten Schmidt
Fang Yu
Geng-Dian Huang
Bow-Yaw Wang
pp. 403-417
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Short papers
Software Fault Interactions and Implications for Software Testing
D. Richard Kuhn
, IEEE
Dolores R. Wallace
, IEEE Computer Society
Albert M. Gallo
pp. 418-421
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Sponsored Whitepaper
11 Best Practices
for Peer Code Review
