S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In proc. of 9th European software engineering conf. and 10th ACM SIGSOFT int. symp. on Foundations of software engineering, pages 287--296, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formalizing Lightweight Verification of Software Component.. - McCamant, Ernst (2004) Self-citation (Mccamant Ernst) (Correct)
No context found.
S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In ESEC/FSE, pages 287--296, Sept. 2003.
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) Self-citation (Ernst) (Correct)
No context found.
S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In ESEC/FSE, pages 287--296, Sept. 2003.
Early Identification of Incompatibilities in Multi-component.. - McCamant, Ernst (2004) (3 citations) Self-citation (Mccamant Ernst) (Correct)
No context found.
McCamant, S., Ernst, M.D.: Predicting problems caused by component upgrades. Technical Report 941, MIT Laboratory for Computer Science, Cambridge, MA (2004) Revision of first author's Master's thesis.
Early Identification of Incompatibilities in Multi-component.. - McCamant, Ernst (2004) (3 citations) Self-citation (Mccamant Ernst) (Correct)
No context found.
McCamant, S., Ernst, M.D.: Predicting problems caused by component upgrades. In: Proceedings of the 10th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Helsinki, Finland (2003) 287--296
Behavior Capture and Test for Verifying Evolving.. - Leonardo Mariani.. (Correct)
No context found.
S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In proc. of 9th European software engineering conf. and 10th ACM SIGSOFT int. symp. on Foundations of software engineering, pages 287--296, 2003.
A Technique for Verifying Component-Based Software - Mariani, Pezze (2004) (2 citations) (Correct)
No context found.
McCamant, S. and M. D. Ernst, Predicting problems caused by component upgrades, in: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 287--296.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
McCamant S, Ernst MD (2003) Predicting problems caused by component upgrades. In: Proceedings of the 10th European conference on software engineering and the 11th ACM SIGSOFT symposium on the foundations of software engineering, Helsinki, Finland, 3--5 September 2003, pp 287--296
Automatic Software Upgrades for Distributed Systems - Ajmani (2004) (1 citation) (Correct)
No context found.
Stephen McCamant and Michael D. Ernst. Predicting problems caused by component upgrades. In 10th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 287--296, Helsinki, Finland, September 2003. 161
A Review of Software Upgrade Techniques for Distributed Systems - Ajmani (2004) (1 citation) (Correct)
No context found.
Stephen McCamant and Michael D. Ernst. Predicting problems caused by component upgrades. In 10th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 287--296, Helsinki, Finland, September 2003.
Deciding Quantifier-Free Presburger Formulas Using.. - Seshia, Bryant (2004) (Correct)
No context found.
S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pages 287--296, 2003.
Deciding Quantifier-Free Presburger Formulas Using.. - Seshia, Bryant (2004) (Correct)
No context found.
S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pages 287--296, 2003.
Deciding Quantifier-Free Presburger Formulas Using Finite.. - Seshia, Bryant (2003) (Correct)
No context found.
Stephen McCamant and Michael D. Ernst. Predicting problems caused by component upgrades. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pages 287--296, 2003.
Automated Assistance for Eliciting User Expectations - Raz, Buchheit, Shaw.. (Correct)
No context found.
S. McCamant and M. Ernst. Predicting problems caused by component upgrades. In ESEC/FSE, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC