Dynamic Component Substitutability Analysis (2005)
Cached
Download Links
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
Natasha Sharygina
,
Sagar Chaki
,
Edmund Clarke
,
Nishant Sinha
| Venue: | IN PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM OF FORMAL METHODS EUROPE |
| Citations: | 6 - 0 self |
BibTeX
@INPROCEEDINGS{Sharygina05dynamiccomponent,
author = {Natasha Sharygina and Sagar Chaki and Edmund Clarke and Nishant Sinha},
title = {Dynamic Component Substitutability Analysis},
booktitle = {IN PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM OF FORMAL METHODS EUROPE},
year = {2005},
pages = {512--528},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution
