Searching...
Advanced Search
Publication
2001
Issue No. 2 - February
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/EndNote
IEEE Transactions on Software Engineering
February 2001 (vol. 27 no. 2)
ISSN: 0098-5589
Table of Contents
SPECIAL ISSUE: 1999 INTERNATIONAL CONFERNCE ON SOFTWARE ENGINEERING
Guest Editors' Introduction: 1999 International Conference on Software Engineering
(Abstract)
Jeff Kramer
David Garlan
David S. Rosenblum
pp. 97-98
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Dynamically Discovering Likely Program Invariants to Support Program Evolution
(Abstract)
Michael D. Ernst
Jake Cockrell
William G. Griswold
David Notkin
pp. 99-123
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Avoiding Packaging Mismatch with Flexible Packaging
(Abstract)
Robert DeLine
pp. 124-143
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Hierarchical GUI Test Case Generation Using Automated Planning
(Abstract)
Atif M. Memon
Martha E. Pollack
Mary Lou Soffa
pp. 144-155
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Lightweight Extraction of Object Models from Bytecode
(Abstract)
Daniel Jackson
Allison Waingold
pp. 156-169
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Optimizing Symbolic Model Checking for Statecharts
(Abstract)
William Chan
Richard J. Anderson
Paul Beame
David H. Jones
David Notkin
William E. Warner
pp. 170-190
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
Print and Online Advertising Opportunities
