From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “code coverage” 20

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Fine-grained Code Coverage Measurement in Automated Black-box Android Testing
2020 ACM Transactions on Software Engineering and Methodology article Computer Science Software Testing and Debugging Techniques Open access

Aleksandr Pilgun, Olga Gadyatskaya, Yury Zhauniarovich, Stanislav Dashevskyi, Artsiom Kushniarou

33

citations
NQC²: A Non-Intrusive QEMU Code Coverage Plugin
2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Nils Bosbach, Alwalid Salama, Lukas Jünger, Mark Burton, Niko Zurstraßen, Rebecca Pelke, +1 more

2

citations
Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests
2025 conference-paper Computer Science Software Testing and Debugging Techniques

Alexander Hück, Simon Schwitanski, Tim Jammer, Joachim Jenke, Yussur Mustafa Oraji, Christian H Bischof

1

citations
Benchmarking Software Model Checkers on Automotive Code
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Lukas Westhofen, Philipp K. Berger, Joost-Pieter Katoen

12

citations
coffea
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

L. Gray, Nicholas Smith, Andrzej Novak, P. Fackeldey, Benjamín Tovar, Y. M. Chen, +2 more

0

citations
Instrumentation Blueprints: Towards Combining Several Android Instrumentation Tools
2022 Lecture notes in computer science conference-paper Computer Science Advanced Malware Detection Techniques

Arthur van der Staaij, Olga Gadyatskaya

0

citations
Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes
2026 arXiv (Cornell University) preprint Computer Science Software Testing and Debugging Techniques Open access

Chiara Ghinami, Igor Pontes Tresolavy, Luis Seibt, Nils Bosbach, Rainer Leupers

0

citations
Automatic Test Suite Generation for PLC Software in the Internet of Production
2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Software Testing and Debugging Techniques

Marco Grochowski, Marcus Völker, Stefan Kowalewski

4

citations
Multi-Step Reasoning with Large Language Models, a Survey
2025 ACM Computing Surveys article Computer Science Topic Modeling Open access

Aske Plaat, Annie Wong, Suzan Verberne, Joost Broekens, Bas van Stein, Thomas Bäck

36

citations
Multi-Step Reasoning with Large Language Models, a Survey
2024 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Aske Plaat, Annie Wong, Suzan Verberne, Joost Broekens, Bas van Stein, Thomas Bäck

14

citations
Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 IEEE/AIAA Digital Avionics Systems Conference (DASC) conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations
Controlled Retrieval-augmented Context Evaluation for Long-form RAG
2025 conference-paper Computer Science Topic Modeling Open access

Jia-Huei Ju, Suzan Verberne, Maarten de Rijke, Andrew Yates

2

citations
EXCELLERATP2 D3.2 First Updated Report on Exa-Enabling Methodologies
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access

Ansgar Niemöller, Matthias H. Meinke, Joeffrey Legaux, Mohamed Ibrahim Ghenai, Michael Wagner, Tufan Arslan, +12 more

0

citations
Towards a Hybrid MPI Correctness Benchmark Suite
2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H Bischof

13

citations
Investigating the Real-World Applicability of MPI Correctness Benchmarks
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Alexander Hück, Tim Jammer, Joachim Jenke, Christian H Bischof

3

citations
ronisbr/PrettyTables.jl: v3.4.3
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Data Visualization and Analytics Open access

Ronan Arraes Jardim Chagas, gustavohtc23-sudo, TimG1964, Alberto Mengali, Ben Baumgold, Glen Hertz, +23 more

0

citations
A repository for discovery and reuse of higher-order network datasets
2026 arXiv (Cornell University) preprint Computer Science Research Data Management Practices Open access

Florian Frantzen, Michael T. Schaub

0

citations
Evolving Executable Pipeline Programs for AutoML with Language Models
2026 arXiv (Cornell University) preprint Computer Science Machine Learning and Data Classification Open access

Sofoklis Kitharidis, Cor J. Veenman, Jan N. van Rijn, Thomas Bäck, Bas van Stein

0

citations
QuantumSavory/QuantumClifford.jl: v0.11.8
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Quantum Computing Algorithms and Architecture Open access

Stefan Krastanov, Feroz Ahmed Mian, Stefan Krastanov's bot, Zhongyi Ni, Kanyang Ying, Praveen Viswanathan, +22 more

0

citations
InsectSet459: A large dataset for automatic acoustic identification of insects (Orthoptera and Cicadidae)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Music and Audio Processing Open access

Marius Faiß, Dan Stowell

0

citations

20 results