No photo of Petra van den Bos

Petra van den Bos

 https://orcid.org/0000-0002-9212-1525
Calculated based on number of publications stored in Pure and citations from Scopus
20172024

Research activity per year

Fingerprint

Dive into the research topics where Petra van den Bos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

    Zameni, T., Bos, P. V. D., Rensink, A. & Tretmans, J., 15 Aug 2024, 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C). IEEE, p. 199-206 8 p. 10621723

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

    Rubbens, R., van den Bos, P. V. & Huisman, M., 13 Nov 2024, Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings. Kosmatov, N. & Kovács, L. (eds.). Springer, p. 217-236 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15234 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • From BDD Scenarios to Test Case Generation

    Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A., 29 May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Piscataway, NJ: IEEE, p. 36-44 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    264 Downloads (Pure)

  • From User Stories to End-to-end Web Testing

    Mollah, H. & van den Bos, P., 29 May 2023, 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW): International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS). Dublin, Ireland: IEEE, p. 140-148 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    206 Downloads (Pure)

  • JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

    Bliudze, S., Bos, P. V. D., Huisman, M., Rubbens, R. & Safina, L., 20 Apr 2023, Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Lambers, L. & Uchitel, S. (eds.). p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    80 Downloads (Pure)
View all 15 research outputs