fix bib and pdf name (#12366)

1. add Tucker2007 pdf to bib file
2. change pdf to a standard name.

Author: leaf-soba

src/test/java/org/jabref/logic/importer/fileformat/PdfContentImporterTest.java

@@ -151,7 +151,7 @@ private static Stream<Arguments> providePdfData() {
                 Arguments.of("Pandemic programming", "/pdfs/PdfContentImporter/Ralph2020.pdf"),
                 Arguments.of("Do RESTful API design rules have an impact on the understandability of Web APIs?", "/pdfs/PdfContentImporter/Bogner2023.pdf"),
                 Arguments.of("Adopting microservices and DevOps in the cyber-physical systems domain: A rapid review and case study", "/pdfs/PdfContentImporter/Fritzsch2022.pdf"),
-                Arguments.of("OPIUM: Optimal Package Install/Uninstall Manager", "/pdfs/PdfContentImporter/opium.pdf")
+                Arguments.of("OPIUM: Optimal Package Install/Uninstall Manager", "/pdfs/PdfContentImporter/Tucker2007.pdf")
         );
     }
 }

…ources/pdfs/PdfContentImporter/opium.pdf …s/pdfs/PdfContentImporter/Tucker2007.pdfsrc/test/resources/pdfs/PdfContentImporter/opium.pdf renamed to src/test/resources/pdfs/PdfContentImporter/Tucker2007.pdf src/test/resources/pdfs/PdfContentImporter/opium.pdf renamed to src/test/resources/pdfs/PdfContentImporter/Tucker2007.pdf

@@ -134,3 +134,12 @@ @inproceedings{Baldoni2002Fundamentals
 year = {2002}
 file = {Baldoni2002.pdf}
 }
+
+@inproceedings{Tucker2007OPIUM,
+author = {Chris Tucker and David Shuffelton and Ranjit Jhala and Sorin Lerner}
+abstract = {Linux distributions often include package management tools such as apt-get in Debian or yum in RedHat. Using information about package dependencies and conflicts, such tools can determine how to install a new package (and its dependencies) on a system of already installed packages. Using off-the-shelf SAT solvers, pseudo-boolean solvers, and Integer Linear Programming solvers, we have developed a new package-management tool, called Opium, that improves on current tools in two ways: (1) Opium is complete, in that if there is a solution, Opium is guaranteed to find it, and (2) Opium can optimize a user-provided objective function, which could for example state that smaller packages should be preferred over larger ones. We performed a comparative study of our tool against Debian's apt-get on 600 traces of real-world package installations. We show that Opium runs fast enough to be usable, and that its completeness and optimality guarantees provide concrete benefits to end users.}
+title = {OPIUM: Optimal Package Install/Uninstall Manager}
+url = {https://ieeexplore.ieee.org/document/4222580}
+year = {2007}
+file = {Tucker2007.pdf}
+}