activity
20172025
most citedOn the Scalability of the GPUexplore Explicit-State Model Checker

8 citations · 15 across the 6 of their papers we have counts for

collaborators

7 papers

cs.SE2025

Engagement in Code Review: Emotional, Behavioral, and Cognitive Dimensions in Peer vs. LLM Interactions

Adam Alami, Nathan Cassee, Thiago Rocha Silva +2

Code review is a socio-technical practice, yet how software engineers engage in Large Language Model (LLM)-assisted code reviews compared to human peer-led reviews is less understo…

cs.SE2025

Exploring the Garden of Forking Paths in Empirical Software Engineering Research: A Multiverse Analysis

Nathan Cassee, Robert Feldt

In empirical software engineering (SE) research, researchers have considerable freedom to decide how to process data, what operationalizations to use, and which statistical model t…

cs.SE2025

Negativity in Self-Admitted Technical Debt: How Sentiment Influences Prioritization

Nathan Cassee, Neil Ernst, Nicole Novielli +1

Self-Admitted Technical Debt, or SATD, is a self-admission of technical debt present in a software system. To effectively manage SATD, developers need to estimate its priority and…

cs.SE2024

Teaching Empirical Methods at Eindhoven University of Technology

Alexander Serebrenik, Nathan Cassee

In this chapter, we share an experience report of teaching a master course on empirical research methods at Eindhoven University of Technology in the Netherlands. The course is tau…

cs.SE2023

Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

Amir Ghorbani, Nathan Cassee, Derek Robinson +4

Software bots fulfill an important role in collective software development, and their adoption by developers promises increased productivity. Past research has identified that bots…

cs.DC2017★ 8 cited

On the Scalability of the GPUexplore Explicit-State Model Checker

Nathan Cassee, Thomas Neele, Anton Wijs

The use of graphics processors (GPUs) is a promising approach to speed up model checking to such an extent that it becomes feasible to instantly verify software systems during deve…

cs.DC2017★ 7 cited

Analysing the Performance of GPU Hash Tables for State Space Exploration

Nathan Cassee, Anton Wijs

In the past few years, General Purpose Graphics Processors (GPUs) have been used to significantly speed up numerous applications. One of the areas in which GPUs have recently led t…