P. Barata, P. Trezentos, I. Lynce, and D. Di-ruscio, Survey of the state of the art technologies, 2009.

O. Crameri, N. Knezevic, D. Kostic, R. Bianchini, and W. Zwaenepoel, Staged deployment in mirage, an integrated software upgrade testing and distribution system, ACM SIGOPS Operating Systems Review, vol.41, issue.6, pp.221-236, 2007.
DOI : 10.1145/1323293.1294283
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.4413

D. Ruscio, D. Thomson, J. Pelliccione, P. Pierantonio, and A. , First version of the DSL. Mancoosi Project deliverable D3, 2009.

J. A. Duraes and H. S. Madeira, Emulation of Software Faults: A Field Data Study and a Practical Approach, IEEE Transactions on Software Engineering, vol.32, issue.11, pp.849-867, 2006.
DOI : 10.1109/TSE.2006.113

L. Berre, D. Parrain, and A. , On SAT technologies for dependency management and beyond, ASPL, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00870846

H. Madeira, D. Costa, and M. Vieira, On the emulation of software faults by software fault injection, Proceeding International Conference on Dependable Systems and Networks. DSN 2000, pp.417-426, 2000.
DOI : 10.1109/ICDSN.2000.857571

F. Mancinelli, J. Boender, D. Cosmo, R. Vouillon, J. Durak et al., Managing the Complexity of Large Free and Open Source Package-Based Software Distributions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.199-208, 2006.
DOI : 10.1109/ASE.2006.49
URL : https://hal.archives-ouvertes.fr/hal-00149566

V. Manquinho, J. Marques-silva, and J. Planes, Algorithms for Weighted Boolean Optimization, p.9, 2009.
DOI : 10.1109/TCAD.2003.811450
URL : http://arxiv.org/abs/0903.0843

P. Trezentos, I. Lynce, and A. L. Oliveira, Apt-pbo, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, 2010.
DOI : 10.1145/1858996.1859087

J. Voas, Fault injection for the masses, Computer, vol.30, issue.12, pp.129-130, 1997.
DOI : 10.1109/2.642820

I. C. Yoon, A. Sussman, A. Memon, and A. Porter, Effective and scalable software compatibility testing, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.63-74, 2008.
DOI : 10.1145/1390630.1390640
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.2101

S. Zacchiroli, R. D. Cosmo, and P. Trezentos, Package upgrades in foss distributions: Details and challenges, In: First ACM Workshop on HotSWUp, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00359847