Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?”10.1145/3551349.3561156__37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156.
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

Pauck, Felix. “Scaling Arbitrary Android App Analyses.”10.1145/3551349.3561339__37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

Ahmed, Qazi Arbab, et al. “MAAS: Hiding Trojans in Approximate Circuits.” The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.
LibreCat: /record/44194

Wehrheim, Heike, et al. “Verifying Software and Reconfigurable Hardware Services.”10.5281/zenodo.8068583__On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 125–44, doi:10.5281/zenodo.8068583.
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Haake, Claus-Jochen, et al. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Heinz Nixdorf Institut, Universität Paderborn, 2023, doi:10.17619/UNIPB/1-1797.
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

Witschen, Linus Matthias, et al. “Search Space Characterization for Approximate Logic Synthesis .” 2022 59th ACM/IEEE Design Automation Conference (DAC).
LibreCat: /record/29945

Witschen, Linus Matthias, et al. “MUSCAT: MUS-Based Circuit Approximation Technique.” Design, Automation and Test in Europe (DATE).
LibreCat: /record/29865

Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.”10.1007/s10515-022-00333-1__Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.”10.1109/ICST53961.2022.00027__2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–73, doi:10.1109/ICST53961.2022.00027.
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs at Massive Scale.”10.1145/3524842.3528505__2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–22, doi:10.1145/3524842.3528505.
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505