Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

216 Publications


2023 | Conference Paper | LibreCat-ID: 35426 | OA
Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 36848
Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023, doi:10.1109/scam55253.2022.00007.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 35427 | OA
Pauck, Felix. “Scaling Arbitrary Android App Analyses.” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
LibreCat | DOI | Download (ext.)
 

2023 | Dissertation | LibreCat-ID: 43108
Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023, doi:10.17619/UNIPB/1-1698.
LibreCat | DOI
 

2023 | Dissertation | LibreCat-ID: 47833
König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023.
LibreCat
 

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

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

2022 | Conference Paper | LibreCat-ID: 45248
Dongol, Brijesh, et al. “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.” 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, edited by Bartek Klin et al., vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 31:1–31:23, doi:10.4230/LIPIcs.CONCUR.2022.31.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 28350
Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE.
LibreCat
 

2021 | Journal Article | LibreCat-ID: 27045 | OA
Luo, Linghui, et al. “TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses.” Empirical Software Engineering, 2021, doi:10.1007/s10664-021-10013-5.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed