---
_id: '47833'
author:
- first_name: Jürgen
  full_name: König, Jürgen
  last_name: König
citation:
  ama: König J. <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>.; 2023.
  apa: König, J. (2023). <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>.
  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}
    }'
  chicago: König, Jürgen. <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>, 2023.
  ieee: J. König, <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>. 2023.
  mla: König, Jürgen. <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>. 2023.
  short: J. König, On the Membership and Correctness Problem for State Serializability
    and Value Opacity, 2023.
date_created: 2023-10-06T12:41:35Z
date_updated: 2023-10-06T12:41:42Z
department:
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
  grant_number: '160364472'
  name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen
    in dynamischen Märkten '
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '11'
  name: 'SFB 901 - B3: SFB 901 - Subproject B3'
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: On the Membership and Correctness Problem for State Serializability and Value
  Opacity
type: dissertation
user_id: '15504'
year: '2023'
...
---
_id: '35426'
author:
- first_name: Cedric
  full_name: Richter, Cedric
  id: '50003'
  last_name: Richter
- first_name: Jan Frederik
  full_name: Haltermann, Jan Frederik
  id: '44413'
  last_name: Haltermann
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
- first_name: Stefan
  full_name: Schott, Stefan
  id: '54847'
  last_name: Schott
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  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: <i>37th
    IEEE/ACM International Conference on Automated Software Engineering</i>. ACM;
    2023. doi:<a href="https://doi.org/10.1145/3551349.3561156">10.1145/3551349.3561156</a>'
  apa: Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., &#38;
    Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers
    on Variable Misuse Bugs? <i>37th IEEE/ACM International Conference on Automated
    Software Engineering</i>. <a href="https://doi.org/10.1145/3551349.3561156">https://doi.org/10.1145/3551349.3561156</a>
  bibtex: '@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are
    Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?},
    DOI={<a href="https://doi.org/10.1145/3551349.3561156">10.1145/3551349.3561156</a>},
    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}
    }'
  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 <i>37th IEEE/ACM International
    Conference on Automated Software Engineering</i>. ACM, 2023. <a href="https://doi.org/10.1145/3551349.3561156">https://doi.org/10.1145/3551349.3561156</a>.
  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: <a href="https://doi.org/10.1145/3551349.3561156">10.1145/3551349.3561156</a>.'
  mla: Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers
    on Variable Misuse Bugs?” <i>37th IEEE/ACM International Conference on Automated
    Software Engineering</i>, ACM, 2023, doi:<a href="https://doi.org/10.1145/3551349.3561156">10.1145/3551349.3561156</a>.
  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.'
date_created: 2023-01-09T06:28:44Z
date_updated: 2023-01-19T13:50:18Z
department:
- _id: '77'
doi: 10.1145/3551349.3561156
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3551349.3561156
oa: '1'
project:
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
  name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '1'
  name: 'SFB 901: SFB 901'
publication: 37th IEEE/ACM International Conference on Automated Software Engineering
publication_status: published
publisher: ACM
status: public
title: Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse
  Bugs?
type: conference
user_id: '477'
year: '2023'
...
---
_id: '36848'
author:
- first_name: Stefan
  full_name: Schott, Stefan
  id: '54847'
  last_name: Schott
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
citation:
  ama: 'Schott S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: <i>2022
    IEEE 22nd International Working Conference on Source Code Analysis and Manipulation
    (SCAM)</i>. IEEE; 2023. doi:<a href="https://doi.org/10.1109/scam55253.2022.00007">10.1109/scam55253.2022.00007</a>'
  apa: Schott, S., &#38; Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses.
    <i>2022 IEEE 22nd International Working Conference on Source Code Analysis and
    Manipulation (SCAM)</i>. <a href="https://doi.org/10.1109/scam55253.2022.00007">https://doi.org/10.1109/scam55253.2022.00007</a>
  bibtex: '@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android
    Taint Analyses}, DOI={<a href="https://doi.org/10.1109/scam55253.2022.00007">10.1109/scam55253.2022.00007</a>},
    booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis
    and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck,
    Felix}, year={2023} }'
  chicago: Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.”
    In <i>2022 IEEE 22nd International Working Conference on Source Code Analysis
    and Manipulation (SCAM)</i>. IEEE, 2023. <a href="https://doi.org/10.1109/scam55253.2022.00007">https://doi.org/10.1109/scam55253.2022.00007</a>.
  ieee: 'S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023,
    doi: <a href="https://doi.org/10.1109/scam55253.2022.00007">10.1109/scam55253.2022.00007</a>.'
  mla: Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.”
    <i>2022 IEEE 22nd International Working Conference on Source Code Analysis and
    Manipulation (SCAM)</i>, IEEE, 2023, doi:<a href="https://doi.org/10.1109/scam55253.2022.00007">10.1109/scam55253.2022.00007</a>.
  short: 'S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference
    on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.'
date_created: 2023-01-16T07:17:12Z
date_updated: 2023-01-19T13:49:06Z
department:
- _id: '77'
doi: 10.1109/scam55253.2022.00007
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/10006876
project:
- _id: '107'
  name: 'SFB 901 - T3: SFB 901 -Subproject T3'
- _id: '82'
  name: 'SFB 901 - T: SFB 901 - Project Area T'
- _id: '1'
  name: 'SFB 901: SFB 901'
publication: 2022 IEEE 22nd International Working Conference on Source Code Analysis
  and Manipulation (SCAM)
publication_status: published
publisher: IEEE
status: public
title: Benchmark Fuzzing for Android Taint Analyses
type: conference
user_id: '477'
year: '2023'
...
---
_id: '35427'
author:
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
citation:
  ama: 'Pauck F. Scaling Arbitrary Android App Analyses. In: <i>37th IEEE/ACM International
    Conference on Automated Software Engineering</i>. ACM; 2023. doi:<a href="https://doi.org/10.1145/3551349.3561339">10.1145/3551349.3561339</a>'
  apa: Pauck, F. (2023). Scaling Arbitrary Android App Analyses. <i>37th IEEE/ACM
    International Conference on Automated Software Engineering</i>. <a href="https://doi.org/10.1145/3551349.3561339">https://doi.org/10.1145/3551349.3561339</a>
  bibtex: '@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses},
    DOI={<a href="https://doi.org/10.1145/3551349.3561339">10.1145/3551349.3561339</a>},
    booktitle={37th IEEE/ACM International Conference on Automated Software Engineering},
    publisher={ACM}, author={Pauck, Felix}, year={2023} }'
  chicago: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In <i>37th IEEE/ACM
    International Conference on Automated Software Engineering</i>. ACM, 2023. <a
    href="https://doi.org/10.1145/3551349.3561339">https://doi.org/10.1145/3551349.3561339</a>.
  ieee: 'F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: <a href="https://doi.org/10.1145/3551349.3561339">10.1145/3551349.3561339</a>.'
  mla: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” <i>37th IEEE/ACM International
    Conference on Automated Software Engineering</i>, ACM, 2023, doi:<a href="https://doi.org/10.1145/3551349.3561339">10.1145/3551349.3561339</a>.
  short: 'F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software
    Engineering, ACM, 2023.'
date_created: 2023-01-09T06:32:33Z
date_updated: 2023-01-19T13:49:52Z
department:
- _id: '77'
doi: 10.1145/3551349.3561339
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3551349.3561339
oa: '1'
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'
publication: 37th IEEE/ACM International Conference on Automated Software Engineering
publication_status: published
publisher: ACM
status: public
title: Scaling Arbitrary Android App Analyses
type: conference
user_id: '477'
year: '2023'
...
---
_id: '43108'
author:
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
citation:
  ama: Pauck F. <i>Cooperative Android App Analysis</i>. Paderborn University; 2023.
    doi:<a href="https://doi.org/10.17619/UNIPB/1-1698">10.17619/UNIPB/1-1698</a>
  apa: Pauck, F. (2023). <i>Cooperative Android App Analysis</i>. Paderborn University.
    <a href="https://doi.org/10.17619/UNIPB/1-1698">https://doi.org/10.17619/UNIPB/1-1698</a>
  bibtex: '@book{Pauck_2023, title={Cooperative Android App Analysis}, DOI={<a href="https://doi.org/10.17619/UNIPB/1-1698">10.17619/UNIPB/1-1698</a>},
    publisher={Paderborn University}, author={Pauck, Felix}, year={2023} }'
  chicago: Pauck, Felix. <i>Cooperative Android App Analysis</i>. Paderborn University,
    2023. <a href="https://doi.org/10.17619/UNIPB/1-1698">https://doi.org/10.17619/UNIPB/1-1698</a>.
  ieee: F. Pauck, <i>Cooperative Android App Analysis</i>. Paderborn University, 2023.
  mla: Pauck, Felix. <i>Cooperative Android App Analysis</i>. Paderborn University,
    2023, doi:<a href="https://doi.org/10.17619/UNIPB/1-1698">10.17619/UNIPB/1-1698</a>.
  short: F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
date_created: 2023-03-27T07:39:35Z
date_updated: 2023-05-22T04:57:42Z
department:
- _id: '77'
doi: 10.17619/UNIPB/1-1698
language:
- iso: eng
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'
publisher: Paderborn University
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: Cooperative Android App Analysis
type: dissertation
user_id: '22398'
year: '2023'
...
---
_id: '32590'
author:
- first_name: Cedric
  full_name: Richter, Cedric
  id: '50003'
  last_name: Richter
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Richter C, Wehrheim H. Learning Realistic Mutations: Bug Creation for Neural
    Bug Detectors. In: <i>2022 IEEE Conference on Software Testing, Verification and
    Validation (ICST)</i>. ; 2022:162-173. doi:<a href="https://doi.org/10.1109/ICST53961.2022.00027">10.1109/ICST53961.2022.00027</a>'
  apa: 'Richter, C., &#38; Wehrheim, H. (2022). Learning Realistic Mutations: Bug
    Creation for Neural Bug Detectors. <i>2022 IEEE Conference on Software Testing,
    Verification and Validation (ICST)</i>, 162–173. <a href="https://doi.org/10.1109/ICST53961.2022.00027">https://doi.org/10.1109/ICST53961.2022.00027</a>'
  bibtex: '@inproceedings{Richter_Wehrheim_2022, title={Learning Realistic Mutations:
    Bug Creation for Neural Bug Detectors}, DOI={<a href="https://doi.org/10.1109/ICST53961.2022.00027">10.1109/ICST53961.2022.00027</a>},
    booktitle={2022 IEEE Conference on Software Testing, Verification and Validation
    (ICST)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={162–173}
    }'
  chicago: 'Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug
    Creation for Neural Bug Detectors.” In <i>2022 IEEE Conference on Software Testing,
    Verification and Validation (ICST)</i>, 162–73, 2022. <a href="https://doi.org/10.1109/ICST53961.2022.00027">https://doi.org/10.1109/ICST53961.2022.00027</a>.'
  ieee: 'C. Richter and H. Wehrheim, “Learning Realistic Mutations: Bug Creation for
    Neural Bug Detectors,” in <i>2022 IEEE Conference on Software Testing, Verification
    and Validation (ICST)</i>, 2022, pp. 162–173, doi: <a href="https://doi.org/10.1109/ICST53961.2022.00027">10.1109/ICST53961.2022.00027</a>.'
  mla: 'Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug Creation
    for Neural Bug Detectors.” <i>2022 IEEE Conference on Software Testing, Verification
    and Validation (ICST)</i>, 2022, pp. 162–73, doi:<a href="https://doi.org/10.1109/ICST53961.2022.00027">10.1109/ICST53961.2022.00027</a>.'
  short: 'C. Richter, H. Wehrheim, in: 2022 IEEE Conference on Software Testing, Verification
    and Validation (ICST), 2022, pp. 162–173.'
date_created: 2022-08-08T07:40:04Z
date_updated: 2022-11-18T09:45:40Z
department:
- _id: '77'
doi: 10.1109/ICST53961.2022.00027
language:
- iso: eng
page: 162-173
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'
publication: 2022 IEEE Conference on Software Testing, Verification and Validation
  (ICST)
status: public
title: 'Learning Realistic Mutations: Bug Creation for Neural Bug Detectors'
type: conference
user_id: '477'
year: '2022'
...
---
_id: '32591'
author:
- first_name: Cedric
  full_name: Richter, Cedric
  id: '50003'
  last_name: Richter
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Richter C, Wehrheim H. TSSB-3M: Mining single statement bugs at massive scale.
    In: <i>2022 IEEE/ACM 19th International Conference on Mining Software Repositories
    (MSR)</i>. ; 2022:418-422. doi:<a href="https://doi.org/10.1145/3524842.3528505">10.1145/3524842.3528505</a>'
  apa: 'Richter, C., &#38; Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs
    at massive scale. <i>2022 IEEE/ACM 19th International Conference on Mining Software
    Repositories (MSR)</i>, 418–422. <a href="https://doi.org/10.1145/3524842.3528505">https://doi.org/10.1145/3524842.3528505</a>'
  bibtex: '@inproceedings{Richter_Wehrheim_2022, title={TSSB-3M: Mining single statement
    bugs at massive scale}, DOI={<a href="https://doi.org/10.1145/3524842.3528505">10.1145/3524842.3528505</a>},
    booktitle={2022 IEEE/ACM 19th International Conference on Mining Software Repositories
    (MSR)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={418–422}
    }'
  chicago: 'Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement
    Bugs at Massive Scale.” In <i>2022 IEEE/ACM 19th International Conference on Mining
    Software Repositories (MSR)</i>, 418–22, 2022. <a href="https://doi.org/10.1145/3524842.3528505">https://doi.org/10.1145/3524842.3528505</a>.'
  ieee: 'C. Richter and H. Wehrheim, “TSSB-3M: Mining single statement bugs at massive
    scale,” in <i>2022 IEEE/ACM 19th International Conference on Mining Software Repositories
    (MSR)</i>, 2022, pp. 418–422, doi: <a href="https://doi.org/10.1145/3524842.3528505">10.1145/3524842.3528505</a>.'
  mla: 'Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs
    at Massive Scale.” <i>2022 IEEE/ACM 19th International Conference on Mining Software
    Repositories (MSR)</i>, 2022, pp. 418–22, doi:<a href="https://doi.org/10.1145/3524842.3528505">10.1145/3524842.3528505</a>.'
  short: 'C. Richter, H. Wehrheim, in: 2022 IEEE/ACM 19th International Conference
    on Mining Software Repositories (MSR), 2022, pp. 418–422.'
date_created: 2022-08-08T07:42:19Z
date_updated: 2022-11-18T09:45:05Z
department:
- _id: '77'
doi: 10.1145/3524842.3528505
language:
- iso: eng
page: 418-422
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'
publication: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories
  (MSR)
status: public
title: 'TSSB-3M: Mining single statement bugs at massive scale'
type: conference
user_id: '477'
year: '2022'
...
---
_id: '45248'
author:
- first_name: Brijesh
  full_name: Dongol, Brijesh
  last_name: Dongol
- first_name: Gerhard
  full_name: Schellhorn, Gerhard
  last_name: Schellhorn
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  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. <i>33rd International Conference on Concurrency Theory, CONCUR
    2022, September 12-16, 2022, Warsaw, Poland</i>. Vol 243. LIPIcs. Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik; 2022:31:1–31:23. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2022.31">10.4230/LIPIcs.CONCUR.2022.31</a>'
  apa: Dongol, B., Schellhorn, G., &#38; Wehrheim, H. (2022). Weak Progressive Forward
    Simulation Is Necessary and Sufficient for Strong Observational Refinement. In
    B. Klin, S. Lasota, &#38; A. Muscholl (Eds.), <i>33rd International Conference
    on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i>
    (Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
    <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2022.31">https://doi.org/10.4230/LIPIcs.CONCUR.2022.31</a>
  bibtex: '@inproceedings{Dongol_Schellhorn_Wehrheim_2022, series={LIPIcs}, title={Weak
    Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational
    Refinement}, volume={243}, DOI={<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2022.31">10.4230/LIPIcs.CONCUR.2022.31</a>},
    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} }'
  chicago: Dongol, Brijesh, Gerhard Schellhorn, and Heike Wehrheim. “Weak Progressive
    Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.”
    In <i>33rd International Conference on Concurrency Theory, CONCUR 2022, September
    12-16, 2022, Warsaw, Poland</i>, edited by Bartek Klin, Slawomir Lasota, and Anca
    Muscholl, 243:31:1–31:23. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
    2022. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2022.31">https://doi.org/10.4230/LIPIcs.CONCUR.2022.31</a>.
  ieee: 'B. Dongol, G. Schellhorn, and H. Wehrheim, “Weak Progressive Forward Simulation
    Is Necessary and Sufficient for Strong Observational Refinement,” in <i>33rd International
    Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw,
    Poland</i>, 2022, vol. 243, p. 31:1–31:23, doi: <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2022.31">10.4230/LIPIcs.CONCUR.2022.31</a>.'
  mla: Dongol, Brijesh, et al. “Weak Progressive Forward Simulation Is Necessary and
    Sufficient for Strong Observational Refinement.” <i>33rd International Conference
    on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland</i>,
    edited by Bartek Klin et al., vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für
    Informatik, 2022, p. 31:1–31:23, doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2022.31">10.4230/LIPIcs.CONCUR.2022.31</a>.
  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.'
date_created: 2023-05-24T07:55:24Z
date_updated: 2023-08-28T12:24:57Z
department:
- _id: '77'
doi: 10.4230/LIPIcs.CONCUR.2022.31
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
intvolume: '       243'
language:
- iso: eng
page: 31:1–31:23
project:
- _id: '1'
  grant_number: '160364472'
  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'
publication: 33rd International Conference on Concurrency Theory, CONCUR 2022, September
  12-16, 2022, Warsaw, Poland
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
series_title: LIPIcs
status: public
title: Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong
  Observational Refinement
type: conference
user_id: '477'
volume: 243
year: '2022'
...
---
_id: '28350'
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"
author:
- first_name: Arnab
  full_name: Sharma, Arnab
  id: '67200'
  last_name: Sharma
- first_name: Caglar
  full_name: Demir, Caglar
  id: '43817'
  last_name: Demir
- first_name: Axel-Cyrille
  full_name: Ngonga Ngomo, Axel-Cyrille
  id: '65716'
  last_name: Ngonga Ngomo
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Sharma A, Demir C, Ngonga Ngomo A-C, Wehrheim H. MLCHECK–Property-Driven Testing
    of Machine Learning Classifiers. In: <i>Proceedings of the 20th IEEE International
    Conference on Machine Learning and Applications (ICMLA)</i>. IEEE.'
  apa: Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &#38; Wehrheim, H. (n.d.). MLCHECK–Property-Driven
    Testing of Machine Learning Classifiers. <i>Proceedings of the 20th IEEE International
    Conference on Machine Learning and Applications (ICMLA)</i>.
  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} }'
  chicago: Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim.
    “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In <i>Proceedings
    of the 20th IEEE International Conference on Machine Learning and Applications
    (ICMLA)</i>. IEEE, n.d.
  ieee: A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven
    Testing of Machine Learning Classifiers.”
  mla: Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning
    Classifiers.” <i>Proceedings of the 20th IEEE International Conference on Machine
    Learning and Applications (ICMLA)</i>, IEEE.
  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.'
date_created: 2021-12-07T11:11:36Z
date_updated: 2022-01-06T06:58:02Z
department:
- _id: '7'
- _id: '77'
- _id: '574'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '11'
  name: SFB 901 - Subproject B3
- _id: '10'
  name: SFB 901 - Subproject B2
publication: Proceedings of the 20th IEEE International Conference on Machine Learning
  and Applications (ICMLA)
publication_status: accepted
publisher: IEEE
status: public
title: MLCHECK–Property-Driven Testing of Machine Learning Classifiers
type: conference
user_id: '477'
year: '2021'
...
---
_id: '27045'
abstract:
- lang: eng
  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.'
author:
- first_name: Linghui
  full_name: Luo, Linghui
  last_name: Luo
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
- first_name: Goran
  full_name: Piskachev, Goran
  id: '41936'
  last_name: Piskachev
  orcid: 0000-0003-4424-5838
- first_name: Manuel
  full_name: Benz, Manuel
  last_name: Benz
- first_name: Ivan
  full_name: Pashchenko, Ivan
  last_name: Pashchenko
- first_name: Martin
  full_name: Mory, Martin
  id: '65667'
  last_name: Mory
  orcid: 0000-0001-5609-0031
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Ben
  full_name: Hermann, Ben
  id: '66173'
  last_name: Hermann
  orcid: 0000-0001-9848-2017
- first_name: Fabio
  full_name: Massacci, Fabio
  last_name: Massacci
citation:
  ama: 'Luo L, Pauck F, Piskachev G, et al. TaintBench: Automatic real-world malware
    benchmarking of Android taint analyses. <i>Empirical Software Engineering</i>.
    Published online 2021. doi:<a href="https://doi.org/10.1007/s10664-021-10013-5">10.1007/s10664-021-10013-5</a>'
  apa: 'Luo, L., Pauck, F., Piskachev, G., Benz, M., Pashchenko, I., Mory, M., Bodden,
    E., Hermann, B., &#38; Massacci, F. (2021). TaintBench: Automatic real-world malware
    benchmarking of Android taint analyses. <i>Empirical Software Engineering</i>.
    <a href="https://doi.org/10.1007/s10664-021-10013-5">https://doi.org/10.1007/s10664-021-10013-5</a>'
  bibtex: '@article{Luo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021,
    title={TaintBench: Automatic real-world malware benchmarking of Android taint
    analyses}, DOI={<a href="https://doi.org/10.1007/s10664-021-10013-5">10.1007/s10664-021-10013-5</a>},
    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} }'
  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.” <i>Empirical Software
    Engineering</i>, 2021. <a href="https://doi.org/10.1007/s10664-021-10013-5">https://doi.org/10.1007/s10664-021-10013-5</a>.'
  ieee: 'L. Luo <i>et al.</i>, “TaintBench: Automatic real-world malware benchmarking
    of Android taint analyses,” <i>Empirical Software Engineering</i>, 2021, doi:
    <a href="https://doi.org/10.1007/s10664-021-10013-5">10.1007/s10664-021-10013-5</a>.'
  mla: 'Luo, Linghui, et al. “TaintBench: Automatic Real-World Malware Benchmarking
    of Android Taint Analyses.” <i>Empirical Software Engineering</i>, 2021, doi:<a
    href="https://doi.org/10.1007/s10664-021-10013-5">10.1007/s10664-021-10013-5</a>.'
  short: L. Luo, F. Pauck, G. Piskachev, M. Benz, I. Pashchenko, M. Mory, E. Bodden,
    B. Hermann, F. Massacci, Empirical Software Engineering (2021).
date_created: 2021-11-02T05:13:49Z
date_updated: 2022-01-06T06:57:32Z
ddc:
- '000'
department:
- _id: '77'
- _id: '76'
doi: 10.1007/s10664-021-10013-5
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://link.springer.com/content/pdf/10.1007/s10664-021-10013-5.pdf
oa: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: Empirical Software Engineering
publication_identifier:
  issn:
  - 1382-3256
  - 1573-7616
publication_status: published
status: public
title: 'TaintBench: Automatic real-world malware benchmarking of Android taint analyses'
type: journal_article
user_id: '15249'
year: '2021'
...
---
_id: '22304'
author:
- first_name: Stefan
  full_name: Schott, Stefan
  id: '54847'
  last_name: Schott
citation:
  ama: Schott S. <i>Android App Analysis Benchmark Case Generation</i>. Paderborn;
    2021.
  apa: Schott, S. (2021). <i>Android App Analysis Benchmark Case Generation</i>. Paderborn.
  bibtex: '@book{Schott_2021, place={Paderborn}, title={Android App Analysis Benchmark
    Case Generation}, author={Schott, Stefan}, year={2021} }'
  chicago: Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>.
    Paderborn, 2021.
  ieee: S. Schott, <i>Android App Analysis Benchmark Case Generation</i>. Paderborn,
    2021.
  mla: Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>. 2021.
  short: S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021.
date_created: 2021-06-09T06:04:12Z
date_updated: 2022-01-06T06:55:31Z
ddc:
- '000'
department:
- _id: '77'
extern: '1'
file:
- access_level: open_access
  content_type: application/pdf
  creator: fpauck
  date_created: 2021-06-09T06:01:45Z
  date_updated: 2021-06-09T06:01:45Z
  file_id: '22305'
  file_name: Masters_Thesis_Stefan_Schott_unsigned.pdf
  file_size: 1918444
  relation: main_file
file_date_updated: 2021-06-09T06:01:45Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
place: Paderborn
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '3'
  name: SFB 901 - Project Area B
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: Android App Analysis Benchmark Case Generation
type: mastersthesis
user_id: '477'
year: '2021'
...
---
_id: '28199'
author:
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Pauck F, Wehrheim H. Jicer: Simplifying Cooperative Android App Analysis Tasks.
    In: <i>2021 IEEE 21st International Working Conference on Source Code Analysis
    and Manipulation (SCAM)</i>. ; 2021. doi:<a href="https://doi.org/10.1109/scam52516.2021.00031">10.1109/scam52516.2021.00031</a>'
  apa: 'Pauck, F., &#38; Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android
    App Analysis Tasks. <i>2021 IEEE 21st International Working Conference on Source
    Code Analysis and Manipulation (SCAM)</i>. <a href="https://doi.org/10.1109/scam52516.2021.00031">https://doi.org/10.1109/scam52516.2021.00031</a>'
  bibtex: '@inproceedings{Pauck_Wehrheim_2021, title={Jicer: Simplifying Cooperative
    Android App Analysis Tasks}, DOI={<a href="https://doi.org/10.1109/scam52516.2021.00031">10.1109/scam52516.2021.00031</a>},
    booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis
    and Manipulation (SCAM)}, author={Pauck, Felix and Wehrheim, Heike}, year={2021}
    }'
  chicago: 'Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android
    App Analysis Tasks.” In <i>2021 IEEE 21st International Working Conference on
    Source Code Analysis and Manipulation (SCAM)</i>, 2021. <a href="https://doi.org/10.1109/scam52516.2021.00031">https://doi.org/10.1109/scam52516.2021.00031</a>.'
  ieee: 'F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis
    Tasks,” 2021, doi: <a href="https://doi.org/10.1109/scam52516.2021.00031">10.1109/scam52516.2021.00031</a>.'
  mla: 'Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android
    App Analysis Tasks.” <i>2021 IEEE 21st International Working Conference on Source
    Code Analysis and Manipulation (SCAM)</i>, 2021, doi:<a href="https://doi.org/10.1109/scam52516.2021.00031">10.1109/scam52516.2021.00031</a>.'
  short: 'F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference
    on Source Code Analysis and Manipulation (SCAM), 2021.'
date_created: 2021-12-01T08:53:29Z
date_updated: 2022-11-17T14:26:19Z
department:
- _id: '77'
doi: 10.1109/scam52516.2021.00031
language:
- iso: eng
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '1'
  name: 'SFB 901: SFB 901'
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
publication: 2021 IEEE 21st International Working Conference on Source Code Analysis
  and Manipulation (SCAM)
publication_status: published
status: public
title: 'Jicer: Simplifying Cooperative Android App Analysis Tasks'
type: conference
user_id: '477'
year: '2021'
...
---
_id: '21238'
author:
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Pauck F, Wehrheim H. Cooperative Android App Analysis with CoDiDroid. In:
    Koziolek A, Schaefer I, Seidl C, eds. <i>Software Engineering 2021</i>. Gesellschaft
    für Informatik e.V.; 2021:83-84. doi:<a href="https://doi.org/10.18420/SE2021_30
    ">10.18420/SE2021_30 </a>'
  apa: Pauck, F., &#38; Wehrheim, H. (2021). Cooperative Android App Analysis with
    CoDiDroid. In A. Koziolek, I. Schaefer, &#38; C. Seidl (Eds.), <i>Software Engineering
    2021</i> (pp. 83–84). Gesellschaft für Informatik e.V. <a href="https://doi.org/10.18420/SE2021_30
    ">https://doi.org/10.18420/SE2021_30 </a>
  bibtex: '@inproceedings{Pauck_Wehrheim_2021, place={Bonn}, title={Cooperative Android
    App Analysis with CoDiDroid}, DOI={<a href="https://doi.org/10.18420/SE2021_30
    ">10.18420/SE2021_30 </a>}, 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} }'
  chicago: 'Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with
    CoDiDroid.” In <i>Software Engineering 2021</i>, edited by Anne Koziolek, Ina
    Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V.,
    2021. <a href="https://doi.org/10.18420/SE2021_30 ">https://doi.org/10.18420/SE2021_30
    </a>.'
  ieee: 'F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,”
    in <i>Software Engineering 2021</i>, 2021, pp. 83–84, doi: <a href="https://doi.org/10.18420/SE2021_30
    ">10.18420/SE2021_30 </a>.'
  mla: Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”
    <i>Software Engineering 2021</i>, edited by Anne Koziolek et al., Gesellschaft
    für Informatik e.V., 2021, pp. 83–84, doi:<a href="https://doi.org/10.18420/SE2021_30
    ">10.18420/SE2021_30 </a>.
  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.'
date_created: 2021-02-16T09:28:49Z
date_updated: 2023-01-18T08:35:20Z
department:
- _id: '77'
doi: '10.18420/SE2021_30 '
editor:
- first_name: Anne
  full_name: Koziolek, Anne
  last_name: Koziolek
- first_name: Ina
  full_name: Schaefer, Ina
  last_name: Schaefer
- first_name: Christoph
  full_name: Seidl, Christoph
  last_name: Seidl
language:
- iso: eng
page: ' 83-84 '
place: Bonn
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: Software Engineering 2021
publication_status: published
publisher: Gesellschaft für Informatik e.V.
status: public
title: Cooperative Android App Analysis with CoDiDroid
type: conference
user_id: '22398'
year: '2021'
...
---
_id: '19656'
author:
- first_name: Arnab
  full_name: Sharma, Arnab
  id: '67200'
  last_name: Sharma
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models.
    In: <i>Proceedings of the 32th IFIP International Conference on Testing Software
    and Systems (ICTSS)</i>. LNCS. Springer.'
  apa: Sharma, A., &#38; Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine
    Learning Models. In <i>Proceedings of the 32th IFIP International Conference on
    Testing Software and Systems (ICTSS)</i>. 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 <i>Proceedings of the 32th IFIP International Conference
    on Testing Software and Systems (ICTSS)</i>. LNCS. Springer, n.d.
  ieee: A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning
    Models,” in <i>Proceedings of the 32th IFIP International Conference on Testing
    Software and Systems (ICTSS)</i>.
  mla: Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning
    Models.” <i>Proceedings of the 32th IFIP International Conference on Testing Software
    and Systems (ICTSS)</i>, Springer.
  short: 'A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference
    on Testing Software and Systems (ICTSS), Springer, n.d.'
date_created: 2020-09-24T12:53:02Z
date_updated: 2022-01-06T06:54:09Z
department:
- _id: '7'
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subproject B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 32th IFIP International Conference on Testing Software
  and Systems (ICTSS)
publication_status: accepted
publisher: Springer
series_title: LNCS
status: public
title: Automatic Fairness Testing of Machine Learning Models
type: conference
user_id: '477'
year: '2020'
...
---
_id: '19999'
author:
- first_name: Stefan
  full_name: Mayer, Stefan
  last_name: Mayer
citation:
  ama: Mayer S. <i>Optimierung von JMCTest Beim Testen von Inter Method Contracts</i>.
    Universität Paderborn; 2020.
  apa: Mayer, S. (2020). <i>Optimierung von JMCTest beim Testen von Inter Method Contracts</i>.
    Universität Paderborn.
  bibtex: '@book{Mayer_2020, title={Optimierung von JMCTest beim Testen von Inter
    Method Contracts}, publisher={Universität Paderborn}, author={Mayer, Stefan},
    year={2020} }'
  chicago: Mayer, Stefan. <i>Optimierung von JMCTest Beim Testen von Inter Method
    Contracts</i>. Universität Paderborn, 2020.
  ieee: S. Mayer, <i>Optimierung von JMCTest beim Testen von Inter Method Contracts</i>.
    Universität Paderborn, 2020.
  mla: Mayer, Stefan. <i>Optimierung von JMCTest Beim Testen von Inter Method Contracts</i>.
    Universität Paderborn, 2020.
  short: S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts,
    Universität Paderborn, 2020.
date_created: 2020-10-15T05:15:46Z
date_updated: 2022-01-06T06:54:18Z
department:
- _id: '7'
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '11'
  name: SFB 901 - Subproject B3
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: Optimierung von JMCTest beim Testen von Inter Method Contracts
type: bachelorsthesis
user_id: '477'
year: '2020'
...
---
_id: '20274'
author:
- first_name: Eleni
  full_name: Bila, Eleni
  last_name: Bila
- first_name: Simon
  full_name: Doherty, Simon
  last_name: Doherty
- first_name: Brijesh
  full_name: Dongol, Brijesh
  last_name: Dongol
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Gerhard
  full_name: Schellhorn, Gerhard
  last_name: Schellhorn
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  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. <i>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</i>.
    Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>'
  apa: 'Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &#38; Wehrheim,
    H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent
    Software Transactional Memory. In A. Gotsman &#38; A. Sokolova (Eds.), <i>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</i> (Vol. 12136, pp. 39–58). Springer. <a
    href="https://doi.org/10.1007/978-3-030-50086-3\_3">https://doi.org/10.1007/978-3-030-50086-3\_3</a>'
  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={<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>},
    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} }'
  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 <i>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</i>,
    edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer
    Science. Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-50086-3\_3">https://doi.org/10.1007/978-3-030-50086-3\_3</a>.'
  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 <i>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</i>, 2020, vol.
    12136, pp. 39–58.'
  mla: 'Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for
    Persistent Software Transactional Memory.” <i>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</i>,
    edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58,
    doi:<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>.'
  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.'
date_created: 2020-11-04T08:27:09Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50086-3\_3
editor:
- first_name: Alexey
  full_name: Gotsman, Alexey
  last_name: Gotsman
- first_name: Ana
  full_name: Sokolova, Ana
  last_name: Sokolova
intvolume: '     12136'
language:
- iso: eng
page: 39-58
project:
- _id: '78'
  name: Validation of Software Transactional Memory
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
series_title: Lecture Notes in Computer Science
status: public
title: 'Defining and Verifying Durable Opacity: Correctness for Persistent Software
  Transactional Memory'
type: conference
user_id: '29719'
volume: 12136
year: '2020'
...
---
_id: '20275'
author:
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements.
    In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. <i>Proceedings of the
    15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint,
    Paris, France, July 7-9, 2020</i>. ScitePress; 2020:15-26. doi:<a href="https://doi.org/10.5220/0009766600150026">10.5220/0009766600150026</a>'
  apa: Beringer, S., &#38; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing
    Requirements. In M. van Sinderen, H.-}Georg Fill, &#38; L. A. Maciaszek (Eds.),
    <i>Proceedings of the 15th International Conference on Software Technologies,
    {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i> (pp. 15–26). ScitePress.
    <a href="https://doi.org/10.5220/0009766600150026">https://doi.org/10.5220/0009766600150026</a>
  bibtex: '@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR
    Timing Requirements}, DOI={<a href="https://doi.org/10.5220/0009766600150026">10.5220/0009766600150026</a>},
    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}
    }'
  chicago: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR
    Timing Requirements.” In <i>Proceedings of the 15th International Conference on
    Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>,
    edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26.
    ScitePress, 2020. <a href="https://doi.org/10.5220/0009766600150026">https://doi.org/10.5220/0009766600150026</a>.
  ieee: S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,”
    in <i>Proceedings of the 15th International Conference on Software Technologies,
    {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, 2020, pp. 15–26.
  mla: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing
    Requirements.” <i>Proceedings of the 15th International Conference on Software
    Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, edited
    by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:<a href="https://doi.org/10.5220/0009766600150026">10.5220/0009766600150026</a>.
  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.'
date_created: 2020-11-04T08:31:37Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.5220/0009766600150026
editor:
- first_name: Marten
  full_name: van Sinderen, Marten
  last_name: van Sinderen
- first_name: Hans{-}Georg
  full_name: Fill, Hans{-}Georg
  last_name: Fill
- first_name: Leszek
  full_name: A. Maciaszek, Leszek
  last_name: A. Maciaszek
language:
- iso: eng
page: 15-26
publication: Proceedings of the 15th International Conference on Software Technologies,
  {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020
publisher: ScitePress
status: public
title: Consistency Analysis of AUTOSAR Timing Requirements
type: conference
user_id: '29719'
year: '2020'
...
---
_id: '20276'
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey
    and Unifying Component Framework. In: Margaria T, Steffen B, eds. <i>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}</i>. Vol 12476.
    Lecture Notes in Computer Science. Springer; 2020:143-167. doi:<a href="https://doi.org/10.1007/978-3-030-61362-4\_8">10.1007/978-3-030-61362-4\_8</a>'
  apa: 'Beyer, D., &#38; Wehrheim, H. (2020). Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework. In T. Margaria &#38; B.
    Steffen (Eds.), <i>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}</i> (Vol. 12476, pp. 143–167). Springer. <a href="https://doi.org/10.1007/978-3-030-61362-4\_8">https://doi.org/10.1007/978-3-030-61362-4\_8</a>'
  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={<a href="https://doi.org/10.1007/978-3-030-61362-4\_8">10.1007/978-3-030-61362-4\_8</a>},
    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} }'
  chicago: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework.” In <i>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}</i>, edited by Tiziana
    Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science.
    Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-61362-4\_8">https://doi.org/10.1007/978-3-030-61362-4\_8</a>.'
  ieee: 'D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification:
    Survey and Unifying Component Framework,” in <i>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}</i>, 2020, vol. 12476, pp. 143–167.'
  mla: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification:
    Survey and Unifying Component Framework.” <i>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}</i>, edited by Tiziana Margaria and
    Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:<a href="https://doi.org/10.1007/978-3-030-61362-4\_8">10.1007/978-3-030-61362-4\_8</a>.'
  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.'
date_created: 2020-11-04T08:36:22Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-61362-4\_8
editor:
- first_name: Tiziana
  full_name: Margaria, Tiziana
  last_name: Margaria
- first_name: Bernhard
  full_name: Steffen, Bernhard
  last_name: Steffen
intvolume: '     12476'
language:
- iso: eng
page: 143-167
project:
- _id: '85'
  name: Kooperative Softwareverifikation
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}'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Verification Artifacts in Cooperative Verification: Survey and Unifying Component
  Framework'
type: conference
user_id: '29719'
volume: 12476
year: '2020'
...
---
_id: '20277'
citation:
  ama: Wehrheim H, Cabot J, eds. <i>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</i>. Vol 12076. Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-45234-6">10.1007/978-3-030-45234-6</a>
  apa: Wehrheim, H., &#38; Cabot, J. (Eds.). (2020). <i>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</i> (Vol. 12076). Springer. <a
    href="https://doi.org/10.1007/978-3-030-45234-6">https://doi.org/10.1007/978-3-030-45234-6</a>
  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={<a href="https://doi.org/10.1007/978-3-030-45234-6">10.1007/978-3-030-45234-6</a>},
    publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Wehrheim, Heike, and Jordi Cabot, eds. <i>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</i>. Vol. 12076. Lecture Notes in Computer Science.
    Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-45234-6">https://doi.org/10.1007/978-3-030-45234-6</a>.
  ieee: H. Wehrheim and J. Cabot, Eds., <i>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</i>, vol. 12076. Springer, 2020.
  mla: Wehrheim, Heike, and Jordi Cabot, editors. <i>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</i>. Vol. 12076, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-45234-6">10.1007/978-3-030-45234-6</a>.
  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.
date_created: 2020-11-04T08:42:19Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-45234-6
editor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Jordi
  full_name: Cabot, Jordi
  last_name: Cabot
intvolume: '     12076'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-45233-9
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
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
type: conference_editor
user_id: '29719'
volume: 12076
year: '2020'
...
---
_id: '20278'
citation:
  ama: Ahrendt W, Wehrheim H, eds. <i>Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>.
    Vol 12165. Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>
  apa: Ahrendt, W., &#38; Wehrheim, H. (Eds.). (2020). <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [postponed]</i> (Vol. 12165). Springer. <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>
  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={<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>},
    publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
    <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>.
  ieee: W. Ahrendt and H. Wehrheim, Eds., <i>Tests and Proofs - 14th International
    Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i>,
    vol. 12165. Springer, 2020.
  mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>.
  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.
date_created: 2020-11-04T08:44:33Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
  full_name: Ahrendt, Wolfgang
  last_name: Ahrendt
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
intvolume: '     12165'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
  June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...