Synopsis
This collection of 25 full papers and 26 short papers from the September 2004 conference presents recent research on automatic systems that support people and models of software and software engineering activities. The contributors explore program analysis, testing, frameworks, verification of code, automated programmer assistance, and modular verification. Topics include property- oriented test generation from UML statecharts, generation of K-path tests for C functions, a system for checking dynamic specifications, understanding aspects via implicit invocation, and evaluating clone detection techniques from a refactoring perspective. Six tool demonstrations and eight doctoral works round out the volume. No subject index. Annotation 2004 Book News, Inc., Portland, OR
"synopsis" may belong to another edition of this title.
Search results for 19th International Conference on Automated Software...
Stock Image
19th International Conference on Automated Software Engineering
Published by
IEEE Computer Society Press, 2004
ISBN 10: 0769521312
ISBN 13: 9780769521312
Used
Paperback
Seller: Fine Press Bookshop, Stoney Creek, ON, Canada
Seller rating 5 out of 5 stars
Paperback. Condition: Good. 435 pp. Clean solid copy. Unmarked text. last few pages have a hint of a wrinkle. Makes an excellent sound reading copy and priced accordingly with secure boxed packaging! Good plus! o5. Book. Seller Inventory # 6094
Buy Used
US$ 89.00
US$ 25.00 shipping
Ships from Canada to U.S.A.
Ships from Canada to U.S.A.
Quantity: 1 available