[{"title":"Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?","user_id":"477","publication_status":"published","status":"public","date_created":"2023-01-09T06:28:44Z","project":[{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901: SFB 901","_id":"1"}],"publisher":"ACM","author":[{"id":"50003","last_name":"Richter","full_name":"Richter, Cedric","first_name":"Cedric"},{"last_name":"Haltermann","id":"44413","first_name":"Jan Frederik","full_name":"Haltermann, Jan Frederik"},{"first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine","last_name":"Jakobs"},{"full_name":"Pauck, Felix","first_name":"Felix","id":"22398","last_name":"Pauck"},{"full_name":"Schott, Stefan","first_name":"Stefan","id":"54847","last_name":"Schott"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"37th IEEE/ACM International Conference on Automated Software Engineering","department":[{"_id":"77"}],"doi":"10.1145/3551349.3561156","oa":"1","_id":"35426","date_updated":"2023-01-19T13:50:18Z","citation":{"mla":"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.","bibtex":"@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={10.1145/3551349.3561156}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }","apa":"Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., & Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561156","ama":"Richter C, Haltermann JF, Jakobs M-C, Pauck F, Schott S, Wehrheim H. Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? In: 37th IEEE/ACM International Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561156","chicago":"Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561156.","ieee":"C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,” 2023, doi: 10.1145/3551349.3561156.","short":"C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023."},"year":"2023","type":"conference","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://doi.org/10.1145/3551349.3561156","open_access":"1"}]},{"date_created":"2023-01-16T07:17:12Z","project":[{"name":"SFB 901 - T3: SFB 901 -Subproject T3","_id":"107"},{"_id":"82","name":"SFB 901 - T: SFB 901 - Project Area T"},{"_id":"1","name":"SFB 901: SFB 901"}],"status":"public","publication_status":"published","publication":"2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)","department":[{"_id":"77"}],"author":[{"full_name":"Schott, Stefan","first_name":"Stefan","id":"54847","last_name":"Schott"},{"id":"22398","last_name":"Pauck","full_name":"Pauck, Felix","first_name":"Felix"}],"publisher":"IEEE","user_id":"477","title":"Benchmark Fuzzing for Android Taint Analyses","language":[{"iso":"eng"}],"citation":{"chicago":"Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” In 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2023. https://doi.org/10.1109/scam55253.2022.00007.","ama":"Schott S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE; 2023. doi:10.1109/scam55253.2022.00007","apa":"Schott, S., & Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses. 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam55253.2022.00007","bibtex":"@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android Taint Analyses}, DOI={10.1109/scam55253.2022.00007}, booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck, Felix}, year={2023} }","mla":"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.","short":"S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.","ieee":"S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023, doi: 10.1109/scam55253.2022.00007."},"type":"conference","year":"2023","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/10006876"}],"doi":"10.1109/scam55253.2022.00007","_id":"36848","date_updated":"2023-01-19T13:49:06Z"},{"publication_status":"published","status":"public","date_created":"2023-01-09T06:32:33Z","project":[{"_id":"1","name":"SFB 901: SFB 901"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"}],"author":[{"last_name":"Pauck","id":"22398","first_name":"Felix","full_name":"Pauck, Felix"}],"publisher":"ACM","department":[{"_id":"77"}],"publication":"37th IEEE/ACM International Conference on Automated Software Engineering","title":"Scaling Arbitrary Android App Analyses","user_id":"477","citation":{"ieee":"F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.","short":"F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.","mla":"Pauck, Felix. “Scaling Arbitrary Android App Analyses.” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.","bibtex":"@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={10.1145/3551349.3561339}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }","apa":"Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339","ama":"Pauck F. Scaling Arbitrary Android App Analyses. In: 37th IEEE/ACM International Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561339","chicago":"Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339."},"type":"conference","year":"2023","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://doi.org/10.1145/3551349.3561339","open_access":"1"}],"doi":"10.1145/3551349.3561339","oa":"1","date_updated":"2023-01-19T13:49:52Z","_id":"35427"},{"project":[{"_id":"1","name":"SFB 901: SFB 901"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - B4: SFB 901 - Subproject B4"}],"date_created":"2023-03-27T07:39:35Z","status":"public","department":[{"_id":"77"}],"publisher":"Paderborn University","author":[{"id":"22398","last_name":"Pauck","full_name":"Pauck, Felix","first_name":"Felix"}],"title":"Cooperative Android App Analysis","user_id":"22398","year":"2023","citation":{"ieee":"F. Pauck, Cooperative Android App Analysis. Paderborn University, 2023.","short":"F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.","mla":"Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023, doi:10.17619/UNIPB/1-1698.","bibtex":"@book{Pauck_2023, title={Cooperative Android App Analysis}, DOI={10.17619/UNIPB/1-1698}, publisher={Paderborn University}, author={Pauck, Felix}, year={2023} }","ama":"Pauck F. Cooperative Android App Analysis. Paderborn University; 2023. doi:10.17619/UNIPB/1-1698","apa":"Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University. https://doi.org/10.17619/UNIPB/1-1698","chicago":"Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023. https://doi.org/10.17619/UNIPB/1-1698."},"type":"dissertation","language":[{"iso":"eng"}],"supervisor":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"doi":"10.17619/UNIPB/1-1698","_id":"43108","date_updated":"2023-05-22T04:57:42Z"},{"_id":"47833","date_updated":"2023-10-06T12:41:42Z","supervisor":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"language":[{"iso":"eng"}],"type":"dissertation","year":"2023","citation":{"apa":"König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.","ama":"König J. On the Membership and Correctness Problem for State Serializability and Value Opacity.; 2023.","chicago":"König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.","mla":"König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023.","bibtex":"@book{König_2023, title={On the Membership and Correctness Problem for State Serializability and Value Opacity}, author={König, Jürgen}, year={2023} }","short":"J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.","ieee":"J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023."},"user_id":"15504","title":"On the Membership and Correctness Problem for State Serializability and Value Opacity","author":[{"full_name":"König, Jürgen","first_name":"Jürgen","last_name":"König"}],"department":[{"_id":"77"}],"status":"public","date_created":"2023-10-06T12:41:35Z","project":[{"grant_number":"160364472","name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ","_id":"1"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - B3: SFB 901 - Subproject B3","_id":"11"}]},{"title":"Learning Realistic Mutations: Bug Creation for Neural Bug Detectors","user_id":"477","status":"public","project":[{"_id":"12","name":"SFB 901 - B4: SFB 901 - Subproject B4"},{"_id":"1","name":"SFB 901: SFB 901"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"}],"date_created":"2022-08-08T07:40:04Z","author":[{"first_name":"Cedric","full_name":"Richter, Cedric","last_name":"Richter","id":"50003"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"2022 IEEE Conference on Software Testing, Verification and Validation (ICST)","department":[{"_id":"77"}],"doi":"10.1109/ICST53961.2022.00027","date_updated":"2022-11-18T09:45:40Z","_id":"32590","type":"conference","year":"2022","citation":{"chicago":"Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.” In 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–73, 2022. https://doi.org/10.1109/ICST53961.2022.00027.","ama":"Richter C, Wehrheim H. Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). ; 2022:162-173. doi:10.1109/ICST53961.2022.00027","apa":"Richter, C., & Wehrheim, H. (2022). Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–173. https://doi.org/10.1109/ICST53961.2022.00027","short":"C. Richter, H. Wehrheim, in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–173.","bibtex":"@inproceedings{Richter_Wehrheim_2022, title={Learning Realistic Mutations: Bug Creation for Neural Bug Detectors}, DOI={10.1109/ICST53961.2022.00027}, booktitle={2022 IEEE Conference on Software Testing, Verification and Validation (ICST)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={162–173} }","mla":"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.","ieee":"C. Richter and H. Wehrheim, “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors,” in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–173, doi: 10.1109/ICST53961.2022.00027."},"page":"162-173","language":[{"iso":"eng"}]},{"_id":"32591","date_updated":"2022-11-18T09:45:05Z","doi":"10.1145/3524842.3528505","language":[{"iso":"eng"}],"page":"418-422","type":"conference","year":"2022","citation":{"short":"C. Richter, H. Wehrheim, in: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–422.","ieee":"C. Richter and H. Wehrheim, “TSSB-3M: Mining single statement bugs at massive scale,” in 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–422, doi: 10.1145/3524842.3528505.","ama":"Richter C, Wehrheim H. TSSB-3M: Mining single statement bugs at massive scale. In: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR). ; 2022:418-422. doi:10.1145/3524842.3528505","apa":"Richter, C., & Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs at massive scale. 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–422. https://doi.org/10.1145/3524842.3528505","chicago":"Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs at Massive Scale.” In 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–22, 2022. https://doi.org/10.1145/3524842.3528505.","mla":"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.","bibtex":"@inproceedings{Richter_Wehrheim_2022, title={TSSB-3M: Mining single statement bugs at massive scale}, DOI={10.1145/3524842.3528505}, booktitle={2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={418–422} }"},"user_id":"477","title":"TSSB-3M: Mining single statement bugs at massive scale","publication":"2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR)","department":[{"_id":"77"}],"author":[{"id":"50003","last_name":"Richter","full_name":"Richter, Cedric","first_name":"Cedric"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"project":[{"_id":"12","name":"SFB 901 - B4: SFB 901 - Subproject B4"},{"_id":"1","name":"SFB 901: SFB 901"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"}],"date_created":"2022-08-08T07:42:19Z","status":"public"},{"project":[{"_id":"1","name":"SFB 901: SFB 901","grant_number":"160364472"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - B4: SFB 901 - Subproject B4"}],"editor":[{"first_name":"Bartek","full_name":"Klin, Bartek","last_name":"Klin"},{"first_name":"Slawomir","full_name":"Lasota, Slawomir","last_name":"Lasota"},{"first_name":"Anca","full_name":"Muscholl, Anca","last_name":"Muscholl"}],"department":[{"_id":"77"}],"title":"Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement","language":[{"iso":"eng"}],"series_title":"LIPIcs","doi":"10.4230/LIPIcs.CONCUR.2022.31","date_updated":"2023-08-28T12:24:57Z","date_created":"2023-05-24T07:55:24Z","status":"public","volume":243,"publication":"33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland","author":[{"full_name":"Dongol, Brijesh","first_name":"Brijesh","last_name":"Dongol"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","user_id":"477","page":"31:1–31:23","type":"conference","citation":{"ieee":"B. Dongol, G. Schellhorn, and H. Wehrheim, “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement,” in 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, 2022, vol. 243, p. 31:1–31:23, doi: 10.4230/LIPIcs.CONCUR.2022.31.","short":"B. Dongol, G. Schellhorn, H. Wehrheim, in: B. Klin, S. Lasota, A. Muscholl (Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 31:1–31:23.","bibtex":"@inproceedings{Dongol_Schellhorn_Wehrheim_2022, series={LIPIcs}, title={Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement}, volume={243}, DOI={10.4230/LIPIcs.CONCUR.2022.31}, booktitle={33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, year={2022}, pages={31:1–31:23}, collection={LIPIcs} }","mla":"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.","apa":"Dongol, B., Schellhorn, G., & Wehrheim, H. (2022). Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In B. Klin, S. Lasota, & A. Muscholl (Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland (Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.31","ama":"Dongol B, Schellhorn G, Wehrheim H. Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In: Klin B, Lasota S, Muscholl A, eds. 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Vol 243. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:31:1–31:23. doi:10.4230/LIPIcs.CONCUR.2022.31","chicago":"Dongol, Brijesh, Gerhard Schellhorn, and Heike Wehrheim. “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.” In 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, edited by Bartek Klin, Slawomir Lasota, and Anca Muscholl, 243:31:1–31:23. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.CONCUR.2022.31."},"year":"2022","intvolume":" 243","_id":"45248"},{"_id":"28350","date_updated":"2022-01-06T06:58:02Z","language":[{"iso":"eng"}],"type":"conference","citation":{"short":"A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, in: Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE, n.d.","ieee":"A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.”","chicago":"Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE, n.d.","apa":"Sharma, A., Demir, C., Ngonga Ngomo, A.-C., & Wehrheim, H. (n.d.). MLCHECK–Property-Driven Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA).","ama":"Sharma A, Demir C, Ngonga Ngomo A-C, Wehrheim H. MLCHECK–Property-Driven Testing of Machine Learning Classifiers. In: Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE.","mla":"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.","bibtex":"@inproceedings{Sharma_Demir_Ngonga Ngomo_Wehrheim, title={MLCHECK–Property-Driven Testing of Machine Learning Classifiers}, booktitle={Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)}, publisher={IEEE}, author={Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike} }"},"year":"2021","user_id":"477","title":"MLCHECK–Property-Driven Testing of Machine Learning Classifiers","abstract":[{"lang":"eng","text":"In recent years, we observe an increasing amount of software with machine learning components being deployed. This poses the question of quality assurance for such components: how can we validate whether specified requirements are fulfilled by a machine learned software? Current testing and verification approaches either focus on a single requirement (e.g., fairness) or specialize on a single type of machine learning model (e.g., neural networks).\r\nIn this paper, we propose property-driven testing of machine learning models. Our approach MLCheck encompasses (1) a language for property specification, and (2) a technique for systematic test case generation. The specification language is comparable to property-based testing languages. Test case generation employs advanced verification technology for a systematic, property dependent construction of test suites, without additional user supplied generator functions. We evaluate MLCheck using requirements and data sets from three different application areas (software\r\ndiscrimination, learning on knowledge graphs and security). Our evaluation shows that despite its generality MLCheck can even outperform specialised testing approaches while having a comparable runtime"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"date_created":"2021-12-07T11:11:36Z","status":"public","publication_status":"accepted","publication":"Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)","department":[{"_id":"7"},{"_id":"77"},{"_id":"574"}],"publisher":"IEEE","author":[{"id":"67200","last_name":"Sharma","full_name":"Sharma, Arnab","first_name":"Arnab"},{"id":"43817","last_name":"Demir","full_name":"Demir, Caglar","first_name":"Caglar"},{"full_name":"Ngonga Ngomo, Axel-Cyrille","first_name":"Axel-Cyrille","id":"65716","last_name":"Ngonga Ngomo"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}]},{"language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:32Z","oa":"1","doi":"10.1007/s10664-021-10013-5","department":[{"_id":"77"},{"_id":"76"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"publication_status":"published","publication_identifier":{"issn":["1382-3256","1573-7616"]},"title":"TaintBench: Automatic real-world malware benchmarking of Android taint analyses","main_file_link":[{"open_access":"1","url":"https://link.springer.com/content/pdf/10.1007/s10664-021-10013-5.pdf"}],"citation":{"ieee":"L. Luo et al., “TaintBench: Automatic real-world malware benchmarking of Android taint analyses,” Empirical Software Engineering, 2021, doi: 10.1007/s10664-021-10013-5.","short":"L. Luo, F. Pauck, G. Piskachev, M. Benz, I. Pashchenko, M. Mory, E. Bodden, B. Hermann, F. Massacci, Empirical Software Engineering (2021).","mla":"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.","bibtex":"@article{Luo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021, title={TaintBench: Automatic real-world malware benchmarking of Android taint analyses}, DOI={10.1007/s10664-021-10013-5}, journal={Empirical Software Engineering}, author={Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio}, year={2021} }","apa":"Luo, L., Pauck, F., Piskachev, G., Benz, M., Pashchenko, I., Mory, M., Bodden, E., Hermann, B., & Massacci, F. (2021). TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empirical Software Engineering. https://doi.org/10.1007/s10664-021-10013-5","ama":"Luo L, Pauck F, Piskachev G, et al. TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empirical Software Engineering. Published online 2021. doi:10.1007/s10664-021-10013-5","chicago":"Luo, Linghui, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, and Fabio Massacci. “TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses.” Empirical Software Engineering, 2021. https://doi.org/10.1007/s10664-021-10013-5."},"year":"2021","type":"journal_article","_id":"27045","author":[{"first_name":"Linghui","full_name":"Luo, Linghui","last_name":"Luo"},{"full_name":"Pauck, Felix","first_name":"Felix","id":"22398","last_name":"Pauck"},{"last_name":"Piskachev","id":"41936","first_name":"Goran","full_name":"Piskachev, Goran","orcid":"0000-0003-4424-5838"},{"last_name":"Benz","full_name":"Benz, Manuel","first_name":"Manuel"},{"last_name":"Pashchenko","full_name":"Pashchenko, Ivan","first_name":"Ivan"},{"last_name":"Mory","id":"65667","first_name":"Martin","full_name":"Mory, Martin","orcid":"0000-0001-5609-0031"},{"orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","first_name":"Eric","id":"59256","last_name":"Bodden"},{"orcid":"0000-0001-9848-2017","full_name":"Hermann, Ben","first_name":"Ben","id":"66173","last_name":"Hermann"},{"last_name":"Massacci","first_name":"Fabio","full_name":"Massacci, Fabio"}],"publication":"Empirical Software Engineering","status":"public","date_created":"2021-11-02T05:13:49Z","abstract":[{"text":"Due to the lack of established real-world benchmark suites for static taint analyses of Android applications, evaluations of these analyses are often restricted and hard to compare. Even in evaluations that do use real-world apps, details about the ground truth in those apps are rarely documented, which makes it difficult to compare and reproduce the results. To push Android taint analysis research forward, this paper thus recommends criteria for constructing real-world benchmark suites for this specific domain, and presents TaintBench, the first real-world malware benchmark suite with documented taint flows. TaintBench benchmark apps include taint flows with complex structures, and addresses static challenges that are commonly agreed on by the community. Together with the TaintBench suite, we introduce the TaintBench framework, whose goal is to simplify real-world benchmarking of Android taint analyses. First, a usability test shows that the framework improves experts’ performance and perceived usability when documenting and inspecting taint flows. Second, experiments using TaintBench reveal new insights for the taint analysis tools Amandroid and FlowDroid: (i) They are less effective on real-world malware apps than on synthetic benchmark apps. (ii) Predefined lists of sources and sinks heavily impact the tools’ accuracy. (iii) Surprisingly, up-to-date versions of both tools are less accurate than their predecessors.","lang":"eng"}],"user_id":"15249","ddc":["000"]},{"department":[{"_id":"77"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"place":"Paderborn","title":"Android App Analysis Benchmark Case Generation","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:55:31Z","oa":"1","file_date_updated":"2021-06-09T06:01:45Z","author":[{"first_name":"Stefan","full_name":"Schott, Stefan","last_name":"Schott","id":"54847"}],"file":[{"access_level":"open_access","file_name":"Masters_Thesis_Stefan_Schott_unsigned.pdf","date_created":"2021-06-09T06:01:45Z","relation":"main_file","content_type":"application/pdf","date_updated":"2021-06-09T06:01:45Z","creator":"fpauck","file_id":"22305","file_size":1918444}],"date_created":"2021-06-09T06:04:12Z","has_accepted_license":"1","status":"public","extern":"1","ddc":["000"],"user_id":"477","type":"mastersthesis","year":"2021","citation":{"mla":"Schott, Stefan. Android App Analysis Benchmark Case Generation. 2021.","bibtex":"@book{Schott_2021, place={Paderborn}, title={Android App Analysis Benchmark Case Generation}, author={Schott, Stefan}, year={2021} }","ama":"Schott S. Android App Analysis Benchmark Case Generation. Paderborn; 2021.","apa":"Schott, S. (2021). Android App Analysis Benchmark Case Generation. Paderborn.","chicago":"Schott, Stefan. Android App Analysis Benchmark Case Generation. Paderborn, 2021.","ieee":"S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021.","short":"S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021."},"supervisor":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"_id":"22304"},{"language":[{"iso":"eng"}],"type":"conference","year":"2021","citation":{"short":"F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.","ieee":"F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis Tasks,” 2021, doi: 10.1109/scam52516.2021.00031.","chicago":"Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.” In 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021. https://doi.org/10.1109/scam52516.2021.00031.","apa":"Pauck, F., & Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android App Analysis Tasks. 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam52516.2021.00031","ama":"Pauck F, Wehrheim H. Jicer: Simplifying Cooperative Android App Analysis Tasks. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021. doi:10.1109/scam52516.2021.00031","mla":"Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.” 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, doi:10.1109/scam52516.2021.00031.","bibtex":"@inproceedings{Pauck_Wehrheim_2021, title={Jicer: Simplifying Cooperative Android App Analysis Tasks}, DOI={10.1109/scam52516.2021.00031}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Pauck, Felix and Wehrheim, Heike}, year={2021} }"},"_id":"28199","date_updated":"2022-11-17T14:26:19Z","doi":"10.1109/scam52516.2021.00031","department":[{"_id":"77"}],"publication":"2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)","author":[{"last_name":"Pauck","id":"22398","first_name":"Felix","full_name":"Pauck, Felix"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"}],"date_created":"2021-12-01T08:53:29Z","status":"public","publication_status":"published","user_id":"477","title":"Jicer: Simplifying Cooperative Android App Analysis Tasks"},{"year":"2021","type":"conference","citation":{"mla":"Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.” Software Engineering 2021, edited by Anne Koziolek et al., Gesellschaft für Informatik e.V., 2021, pp. 83–84, doi:10.18420/SE2021_30 .","bibtex":"@inproceedings{Pauck_Wehrheim_2021, place={Bonn}, title={Cooperative Android App Analysis with CoDiDroid}, DOI={10.18420/SE2021_30 }, booktitle={Software Engineering 2021}, publisher={Gesellschaft für Informatik e.V.}, author={Pauck, Felix and Wehrheim, Heike}, editor={Koziolek, Anne and Schaefer, Ina and Seidl, Christoph}, year={2021}, pages={83–84} }","apa":"Pauck, F., & Wehrheim, H. (2021). Cooperative Android App Analysis with CoDiDroid. In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering 2021 (pp. 83–84). Gesellschaft für Informatik e.V. https://doi.org/10.18420/SE2021_30 ","ama":"Pauck F, Wehrheim H. Cooperative Android App Analysis with CoDiDroid. In: Koziolek A, Schaefer I, Seidl C, eds. Software Engineering 2021. Gesellschaft für Informatik e.V.; 2021:83-84. doi:10.18420/SE2021_30 ","chicago":"Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.” In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V., 2021. https://doi.org/10.18420/SE2021_30 .","ieee":"F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,” in Software Engineering 2021, 2021, pp. 83–84, doi: 10.18420/SE2021_30 .","short":"F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84."},"page":" 83-84 ","language":[{"iso":"eng"}],"_id":"21238","date_updated":"2023-01-18T08:35:20Z","doi":"10.18420/SE2021_30 ","publisher":"Gesellschaft für Informatik e.V.","author":[{"id":"22398","last_name":"Pauck","full_name":"Pauck, Felix","first_name":"Felix"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"Software Engineering 2021","editor":[{"last_name":"Koziolek","full_name":"Koziolek, Anne","first_name":"Anne"},{"last_name":"Schaefer","first_name":"Ina","full_name":"Schaefer, Ina"},{"full_name":"Seidl, Christoph","first_name":"Christoph","last_name":"Seidl"}],"publication_status":"published","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"date_created":"2021-02-16T09:28:49Z","place":"Bonn","title":"Cooperative Android App Analysis with CoDiDroid","user_id":"22398"},{"citation":{"mla":"Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer.","bibtex":"@inproceedings{Sharma_Wehrheim, series={LNCS}, title={Automatic Fairness Testing of Machine Learning Models}, booktitle={Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}, publisher={Springer}, author={Sharma, Arnab and Wehrheim, Heike}, collection={LNCS} }","chicago":"Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer, n.d.","ama":"Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models. In: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer.","apa":"Sharma, A., & Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.","ieee":"A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).","short":"A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d."},"year":"2020","type":"conference","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T06:54:09Z","_id":"19656","publication_status":"accepted","status":"public","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_created":"2020-09-24T12:53:02Z","publisher":"Springer","author":[{"full_name":"Sharma, Arnab","first_name":"Arnab","id":"67200","last_name":"Sharma"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"7"},{"_id":"77"}],"publication":"Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)","title":"Automatic Fairness Testing of Machine Learning Models","user_id":"477"},{"user_id":"477","title":"Optimierung von JMCTest beim Testen von Inter Method Contracts","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B3","_id":"11"}],"date_created":"2020-10-15T05:15:46Z","status":"public","department":[{"_id":"7"},{"_id":"77"}],"publisher":"Universität Paderborn","author":[{"full_name":"Mayer, Stefan","first_name":"Stefan","last_name":"Mayer"}],"_id":"19999","date_updated":"2022-01-06T06:54:18Z","supervisor":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"language":[{"iso":"eng"}],"citation":{"short":"S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.","ieee":"S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020.","apa":"Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.","ama":"Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020.","chicago":"Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020.","mla":"Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020.","bibtex":"@book{Mayer_2020, title={Optimierung von JMCTest beim Testen von Inter Method Contracts}, publisher={Universität Paderborn}, author={Mayer, Stefan}, year={2020} }"},"year":"2020","type":"bachelorsthesis"},{"publication":"Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings","publisher":"Springer","author":[{"full_name":"Bila, Eleni","first_name":"Eleni","last_name":"Bila"},{"full_name":"Doherty, Simon","first_name":"Simon","last_name":"Doherty"},{"first_name":"Brijesh","full_name":"Dongol, Brijesh","last_name":"Dongol"},{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2020-11-04T08:27:09Z","status":"public","volume":12136,"user_id":"29719","page":"39-58","type":"conference","year":"2020","citation":{"bibtex":"@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, volume={12136}, DOI={10.1007/978-3-030-50086-3\\_3}, booktitle={Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, publisher={Springer}, author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova, AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer Science} }","mla":"Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.” Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:10.1007/978-3-030-50086-3\\_3.","ama":"Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In: Gotsman A, Sokolova A, eds. Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3\\_3","apa":"Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., & Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman & A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings (Vol. 12136, pp. 39–58). Springer. https://doi.org/10.1007/978-3-030-50086-3\\_3","chicago":"Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.” In Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50086-3\\_3.","ieee":"E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory,” in Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, 2020, vol. 12136, pp. 39–58.","short":"E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Springer, 2020, pp. 39–58."},"intvolume":" 12136","_id":"20274","department":[{"_id":"77"}],"project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"editor":[{"full_name":"Gotsman, Alexey","first_name":"Alexey","last_name":"Gotsman"},{"last_name":"Sokolova","full_name":"Sokolova, Ana","first_name":"Ana"}],"title":"Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:25Z","doi":"10.1007/978-3-030-50086-3\\_3"},{"page":"15-26","type":"conference","citation":{"short":"S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.","ieee":"S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,” in Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, 2020, pp. 15–26.","chicago":"Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” In Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26. ScitePress, 2020. https://doi.org/10.5220/0009766600150026.","ama":"Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements. In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020. ScitePress; 2020:15-26. doi:10.5220/0009766600150026","apa":"Beringer, S., & Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-}Georg Fill, & L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress. https://doi.org/10.5220/0009766600150026","mla":"Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.","bibtex":"@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR Timing Requirements}, DOI={10.5220/0009766600150026}, booktitle={Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress}, author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26} }"},"year":"2020","language":[{"iso":"eng"}],"_id":"20275","date_updated":"2022-01-06T06:54:25Z","doi":"10.5220/0009766600150026","publication":"Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020","department":[{"_id":"77"}],"author":[{"last_name":"Beringer","full_name":"Beringer, Steffen","first_name":"Steffen"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publisher":"ScitePress","editor":[{"full_name":"van Sinderen, Marten","first_name":"Marten","last_name":"van Sinderen"},{"full_name":"Fill, Hans{-}Georg","first_name":"Hans{-}Georg","last_name":"Fill"},{"last_name":"A. Maciaszek","full_name":"A. Maciaszek, Leszek","first_name":"Leszek"}],"date_created":"2020-11-04T08:31:37Z","status":"public","title":"Consistency Analysis of AUTOSAR Timing Requirements","user_id":"29719"},{"project":[{"name":"Kooperative Softwareverifikation","_id":"85"}],"editor":[{"full_name":"Margaria, Tiziana","first_name":"Tiziana","last_name":"Margaria"},{"full_name":"Steffen, Bernhard","first_name":"Bernhard","last_name":"Steffen"}],"department":[{"_id":"77"}],"title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-030-61362-4\\_8","date_updated":"2022-01-06T06:54:25Z","date_created":"2020-11-04T08:36:22Z","status":"public","volume":12476,"publication":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}","author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publisher":"Springer","user_id":"29719","page":"143-167","citation":{"mla":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4\\_8.","bibtex":"@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\\_8}, booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }","ama":"Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, eds. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}. Vol 12476. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\\_8","apa":"Beyer, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\\_8","chicago":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” In Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\\_8.","ieee":"D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” in Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, 2020, vol. 12476, pp. 143–167.","short":"D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167."},"type":"conference","year":"2020","intvolume":" 12476","_id":"20276"},{"department":[{"_id":"77"}],"publisher":"Springer","date_created":"2020-11-04T08:42:19Z","status":"public","publication_identifier":{"isbn":["978-3-030-45233-9"]},"volume":12076,"editor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"},{"last_name":"Cabot","full_name":"Cabot, Jordi","first_name":"Jordi"}],"user_id":"29719","title":"Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"year":"2020","citation":{"short":"H. Wehrheim, J. Cabot, eds., Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Springer, 2020.","ieee":"H. Wehrheim and J. Cabot, Eds., Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, vol. 12076. Springer, 2020.","chicago":"Wehrheim, Heike, and Jordi Cabot, eds. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Vol. 12076. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-45234-6.","apa":"Wehrheim, H., & Cabot, J. (Eds.). (2020). Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer. https://doi.org/10.1007/978-3-030-45234-6","ama":"Wehrheim H, Cabot J, eds. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Vol 12076. Springer; 2020. doi:10.1007/978-3-030-45234-6","mla":"Wehrheim, Heike, and Jordi Cabot, editors. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Vol. 12076, Springer, 2020, doi:10.1007/978-3-030-45234-6.","bibtex":"@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science}, title={Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, volume={12076}, DOI={10.1007/978-3-030-45234-6}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }"},"type":"conference_editor","intvolume":" 12076","_id":"20277","date_updated":"2022-01-06T06:54:25Z","doi":"10.1007/978-3-030-45234-6"},{"doi":"10.1007/978-3-030-50995-8","_id":"20278","date_updated":"2022-01-06T06:54:25Z","intvolume":" 12165","type":"conference_editor","year":"2020","citation":{"ieee":"W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], vol. 12165. Springer, 2020.","short":"W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.","bibtex":"@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }","mla":"Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.","chicago":"Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.","apa":"Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8","ama":"Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8"},"language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","title":"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]","user_id":"29719","publication_identifier":{"isbn":["978-3-030-50994-1"]},"volume":12165,"editor":[{"last_name":"Ahrendt","full_name":"Ahrendt, Wolfgang","first_name":"Wolfgang"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2020-11-04T08:44:33Z","status":"public","department":[{"_id":"77"}],"publisher":"Springer"}]