Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 427-436

  Trezentos, Paulo ^a   Lynce, Inês ^b   Oliveira, Arlindo L ^b  

^a INSTITUTO UNIVERSITÁRIO DE LISBOA ISCTE IUL   (Portugal)

^b INESC ID   (Portugal)

Author keywords

Algorithms; Reliability

Indexed keywords

HARD TASK; LINUX ENVIRONMENT; NEW APPROACHES; NP COMPLETE; PSEUDO-BOOLEAN OPTIMIZATION;

COMPUTER OPERATING SYSTEMS; OPTIMIZATION; SOFTWARE ENGINEERING;

ALGORITHMS;

EID: 78649766075     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859087     Document Type: Conference Paper

References (31)

1. B. Alidaee, H. Wang, and Y. Xu. A pseudo-boolean optimization for multiple criteria decision making in complex systems. In Proceedings of the 7th international conference on Computational Science (ICCS'07), Part IV, pages 194-201, Berlin, Heidelberg, 2007. Springer.
2. P. Barth. A Davis-Putnam based enumeration algorithm for linear pseudo-Boolean optimization. Technical report, Technical Report MPI-I-95-2-003, Max Planck Institute., 1995.
3. D. L. Berre, O. Roussel, and L. Simon. International SAT 2009 competition, 2009. http://www.satcompetition.org/2009/.
4. L. Bixin. Managing dependencies in component-based systems based on matrix model. In NETObjectDays'03, 2003.
5. D. Burrows. Modelling and resolving software dependencies, 2005. Debian.
6. D. Di Ruscio, P. Pelliccione, A. Pierantonio, and S. Zacchiroli. Towards maintainer script modernization in foss distributions. In Proceedings of the 1st international workshop on Open component ecosystems (IWOCE'09), pages 11-20, New York, NY, USA, 2009. ACM.
7. N. Eén and N. Sörensson. Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation, 2:1-26, March 2006.
8. M. Ehrgott. Multicriteria optimization. Lecture Notes in Economics and Mathematical Systems. Springer, 2000.
9. M. Ehrgott and X. Gandibleux. A survey and annoted bibliography of multiobjective combinatorial optimization. OR Spektrum, 2000.
10. F. Heras, V. Manquinho, and J. Marques-Silva. On applying unit propagation-based lower bounds in pseudo-Boolean optimization. In Proceedings of International FLAIRS Conference, 2008.
11. N. LaBelle and E. Wallingford. Inter-package dependency networks in open-source software. Technical report, Computer Science Department, University of Northern Iowa, 2004.
12. D. Le Berre and A. Parrain. On SAT technologies for dependency management and beyond. ASPL, 2008.
13. D. Le Berre and P. Rapicault. Dependency management for the eclipse ecosystem: eclipse p2, metadata and resolution. In Proceedings of the 1st international workshop on Open component ecosystems(IWOCE'09), pages 21-30, New York, NY, USA, 2009. ACM.
14. F. Mancinelli, J. Boender, R. Di Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In International Conference on Automated Software Engineering (ASE'06), pages 199-208. IEEE Computer Society, 2006.
15. P. Manolios, D. Vroon, and G. Subramanian. Automating component-based system assembly. In Proceedings of the 2007 international symposium on Software testing and analysis (ISSTA'07), pages 61-72, New York, NY, USA, 2007. ACM.
16. V. Manquinho, J. Marques-Silva, and J. Planes. Algorithms for weighted boolean optimization. In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, 2009.
17. V. Manquinho and O. Roussel. PBO competition 2009, 2009. http://www.cril.univ-artois.fr/PB09/.
18. S. Mouthuy, L. Quesada, and G. Doom. Search heuristics and optimisations to solve package installability problems by constraint programming. Technical report, Department of CSE, UC Louvain, October 2006.
19. G. Niemeyer. Smart package manager, 2009. http://labix.org/smart.
20. Pietro Abate, Jaap Boender, R. Di Cosmo, and S. Zacchiroli. Strong dependencies between software components. In Proceedings of 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM'09), 2009.
21. D. project. Debian popularity contest, 2009. http://popcon.debian.org/.
22. O. Roussel and V. M. Manquinho. Pseudo-Boolean and cardinality constraints. In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pages 695-733. IOS Press, 2009.
23. H. M. Sheini and K. A. Sakallah. Pueblo: A hybrid pseudo-boolean sat solver. Journal on Satisfiability, Boolean Modeling and Computation, 2:2006, 2006.
24. J. A. Stafford and A. L. Wolf. Architecture-level dependence analysis in support of software maintenance. In Proceedings of the third international workshop on Software architecture (ISAW '98), pages 129-132, New York, NY, USA, 1998. ACM.
25. R. Treinen and S. Zacchiroli. Expressing advanced user preferences in component installation. In Proceedings of the 1st international workshop on Open component ecosystems (IWOCE'09), pages 31-40, New York, NY, USA, 2009. ACM.
26. P. Trezentos. Apt-pbo homepage, 2009. http://aptpbo.caixamagica.pt/.
27. P. Trezentos, R. Di Cosmo, L. Lauriére, M. Morgado, J. Abecasis, F. Mancinelli, and A. Oliveira. New Generation of Linux Meta-installers. Research Track of FOSDEM 2007, 2007.
28. C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner. Opium: Optimal package install/uninstall manager. In 29th International Conference on Software Engineering (ICSE 07), pages 178-188, 2007.
29. M. Vieira and D. Richardson. Analyzing dependencies in large component-based systems. In Proceedings of the 17th IEEE international conference on Automated Software Engineering (ASE'02), page 241, Washington, DC, USA, 2002. IEEE Computer Society.
30. I.-C. Yoon, A. Sussman, A. Memon, and A. Porter. Effective and scalable software compatibility testing. In Proceedings of the 2008 international symposium on Software testing and analysis (ISSTA'08), pages 63-74, New York, NY, USA, 2008. ACM.
31. S. Zacchiroli, R. Di Cosmo, and P. Trezentos. Package upgrades in FOSS distributions: Details and challenges. In First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp), October 2008.