diff --git a/pyproject.toml b/pyproject.toml
index f325710c..b22dacb3 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -37,7 +37,7 @@ requires-python = ">=3.8"
 dependencies = [
     "importlib_resources>=5.0; python_version < '3.10'",
     "typing_extensions>=4.2",
-    "qiskit-terra>=0.22.1",
+    "qiskit[qasm3-import]>=0.45.0",
 ]
 dynamic = ["version"]
 
@@ -57,7 +57,7 @@ docs = [
     "nbsphinx",
     "sphinxext-opengraph",
     "sphinx-autodoc-typehints",
-    "qiskit-terra[visualization]",
+    "qiskit[visualization]",
 ]
 dev = ["mqt.qcec[coverage, docs]"]
 
@@ -130,6 +130,9 @@ filterwarnings = [
     'ignore:.*Building a flow controller with keyword arguments is going to be deprecated*:PendingDeprecationWarning:qiskit',
     'ignore:.*encountered in det.*:RuntimeWarning:numpy.linalg:',
     'ignore:.*datetime\.datetime\.utcfromtimestamp.*:DeprecationWarning:',
+    'ignore:.*qiskit.utils.parallel*:DeprecationWarning:qiskit',
+    'ignore:.*qiskit.tools.events*:DeprecationWarning:qiskit',
+    'ignore:.*qiskit.qasm*:DeprecationWarning:qiskit',
 ]
 
 [tool.coverage]
diff --git a/test/python/constraints.txt b/test/python/constraints.txt
index 8b9ede85..1e633f9e 100644
--- a/test/python/constraints.txt
+++ b/test/python/constraints.txt
@@ -4,4 +4,4 @@ pybind11==2.11.0
 pytest==7.0.0
 importlib_resources==5.0.0
 typing_extensions==4.2.0
-qiskit-terra==0.22.1
+qiskit==0.45.0
diff --git a/test/python/test_construction.py b/test/python/test_construction.py
index 770debf2..a3293b61 100644
--- a/test/python/test_construction.py
+++ b/test/python/test_construction.py
@@ -5,7 +5,7 @@
 from pathlib import Path
 
 import pytest
-from qiskit import QuantumCircuit
+from qiskit import QuantumCircuit, qasm2
 
 from mqt import qcec
 
@@ -32,6 +32,6 @@ def test_constructor_with_configuration(example_circuit: QuantumCircuit) -> None
 def test_default_constructor_with_file(example_circuit: QuantumCircuit) -> None:
     """Test constructing an instance from two circuit files with all default arguments."""
     filename = "test.qasm"
-    example_circuit.qasm(filename=filename)
+    qasm2.dump(example_circuit, Path(filename))
     qcec.EquivalenceCheckingManager(circ1=filename, circ2=filename)
     Path(filename).unlink()
diff --git a/test/python/test_symbolic.py b/test/python/test_symbolic.py
index c927ed90..57af9c7d 100644
--- a/test/python/test_symbolic.py
+++ b/test/python/test_symbolic.py
@@ -5,7 +5,6 @@
 import pytest
 from qiskit import QuantumCircuit, transpile
 from qiskit.circuit import Parameter
-from qiskit.providers.fake_provider import FakeAthens
 
 from mqt import qcec
 from mqt.qcec.compilation_flow_profiles import AncillaMode
@@ -186,7 +185,12 @@ def test_cnot_rx_non_equ_approx(cnot_rx: QuantumCircuit, cnot_rx_flipped_approx:
 @pytest.mark.parametrize("optimization_level", [0, 1, 2, 3])
 def test_verify_compilation_on_optimization_levels(original_circuit: QuantumCircuit, optimization_level: int) -> None:
     """Test the verification of the compilation of a circuit to the 5-qubit IBMQ Athens architecture with various optimization levels."""
-    compiled_circuit = transpile(original_circuit, backend=FakeAthens(), optimization_level=optimization_level)
+    compiled_circuit = transpile(
+        original_circuit,
+        coupling_map=[[0, 1], [1, 0], [1, 2], [2, 1], [2, 3], [3, 2], [3, 4], [4, 3]],
+        basis_gates=["cx", "x", "id", "u3", "measure", "u2", "rz", "u1", "reset", "sx"],
+        optimization_level=optimization_level,
+    )
     result = qcec.verify_compilation(original_circuit, compiled_circuit, optimization_level, timeout=3600)
     assert result.equivalence in {
         qcec.EquivalenceCriterion.equivalent,
@@ -201,7 +205,12 @@ def test_verify_compilation_on_optimization_levels_config(
     """Test the verification of the compilation of a circuit to the 5-qubit IBMQ Athens architecture with various optimization levels."""
     config = qcec.Configuration()
     config.execution.run_zx_checker = False
-    compiled_circuit = transpile(original_circuit, backend=FakeAthens(), optimization_level=optimization_level)
+    compiled_circuit = transpile(
+        original_circuit,
+        coupling_map=[[0, 1], [1, 0], [1, 2], [2, 1], [2, 3], [3, 2], [3, 4], [4, 3]],
+        basis_gates=["cx", "x", "id", "u3", "measure", "u2", "rz", "u1", "reset", "sx"],
+        optimization_level=optimization_level,
+    )
     result = qcec.verify_compilation(
         original_circuit, compiled_circuit, optimization_level, AncillaMode.NO_ANCILLA, config
     )
diff --git a/test/python/test_verify.py b/test/python/test_verify.py
index 84e7840d..41a92123 100644
--- a/test/python/test_verify.py
+++ b/test/python/test_verify.py
@@ -4,7 +4,6 @@
 
 import pytest
 from qiskit import QuantumCircuit, transpile
-from qiskit.providers.fake_provider import FakeAthens
 
 from mqt import qcec
 
@@ -70,7 +69,11 @@ def test_compiled_circuit_without_measurements() -> None:
     """
     qc = QuantumCircuit(1)
     qc.x(0)
-    qc_compiled = transpile(qc, backend=FakeAthens())
+    qc_compiled = transpile(
+        qc,
+        coupling_map=[[0, 1], [1, 0], [1, 2], [2, 1], [2, 3], [3, 2], [3, 4], [4, 3]],
+        basis_gates=["cx", "x", "id", "u3", "measure", "u2", "rz", "u1", "reset", "sx"],
+    )
 
     result = qcec.verify(qc, qc_compiled)
     assert result.equivalence == qcec.EquivalenceCriterion.equivalent
diff --git a/test/python/test_verify_compilation.py b/test/python/test_verify_compilation.py
index 5a65bf09..28d1ef28 100644
--- a/test/python/test_verify_compilation.py
+++ b/test/python/test_verify_compilation.py
@@ -4,7 +4,6 @@
 
 import pytest
 from qiskit import QuantumCircuit, transpile
-from qiskit.providers.fake_provider import FakeAthens
 
 from mqt import qcec
 
@@ -23,7 +22,12 @@ def original_circuit() -> QuantumCircuit:
 @pytest.mark.parametrize("optimization_level", [0, 1, 2, 3])
 def test_verify_compilation_on_optimization_levels(original_circuit: QuantumCircuit, optimization_level: int) -> None:
     """Test the verification of the compilation of a circuit to the 5-qubit IBMQ Athens architecture with various optimization levels."""
-    compiled_circuit = transpile(original_circuit, backend=FakeAthens(), optimization_level=optimization_level)
+    compiled_circuit = transpile(
+        original_circuit,
+        coupling_map=[[0, 1], [1, 0], [1, 2], [2, 1], [2, 3], [3, 2], [3, 4], [4, 3]],
+        basis_gates=["cx", "x", "id", "u3", "measure", "u2", "rz", "u1", "reset", "sx"],
+        optimization_level=optimization_level,
+    )
     result = qcec.verify_compilation(original_circuit, compiled_circuit, optimization_level=optimization_level)
     assert result.equivalence in {
         qcec.EquivalenceCriterion.equivalent,