Demo Data from EDBT 2026 / reviewers in the wild / expert
David Freestone
dblp:53/6725
· DBLP profile ↗
3ranked-venue papers
1as first author
1since 2021 · last 2025
0000-0003-4914-0226ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-authorComputer networks · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer networks
1 paper |
Internet architecture and protocols · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% | |
| Theoretical computer science
1 paper |
Automata and formal languages · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Internet architecture and protocols › protocol engineering
protocol testing |
0.0 | 1 | 1990 | The Derivation of Conformance Tests from LOTOS Specifications · IEEE Trans. Software Eng. 1990 |
Software testing › specification-based testing
conformance testing |
0.0 | 1 | 1990 | The Derivation of Conformance Tests from LOTOS Specifications · IEEE Trans. Software Eng. 1990 |
Automata and formal languages
formal description techniques |
0.0 | 1 | 1990 | The Derivation of Conformance Tests from LOTOS Specifications · IEEE Trans. Software Eng. 1990 |
Methods — techniques the papers use, named apart from their topics
canonical testers · 0.0LOTOS · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Time on social networking sites is associated with impulsive decision-makingabstractAlmost five billion individuals worldwide use social networking sites (SNSs) such as Instagram, Facebook, Snapchat, and X (formerly known as Twitter). The social rewards obtained on these sites induce users to spend substantial durations of time on them. However, current research demonstrates mixed findings on whether greater time on SNSs is related to riskier decision-making and impulsive tendencies. To address these findings, we conducted an online study (n = 225) to assess how time across four SNSs relates to impulsive decision-making in the delay discounting task. We included each trial as an individual choice in a regression model predicting preference for the immediate reward, for a total of 20,265 choices. Greater average time across all SNSs was related with a higher likelihood of choosing the immediate, but smaller, reward. In other words, people who spent more time on SNSs also made more impulsive decisions. When including individual platforms, greater time on Instagram and X, but not Facebook or Snapchat, was related with a higher likelihood of choosing the immediate reward. These findings help clarify prior literature on the relationship between platform specific SNS use and impulsive decision-making. We discuss limitations, directions for future research, and broader implications for the field. Deng Pan 0007, Kaitlin M. Lewin, David Freestone, Dar Meshi |
Behav. Inf. Technol. | 3 |
| 1990 | The Derivation of Conformance Tests from LOTOS SpecificationsabstractThe derivation of conformance tests for communication protocols is discussed. Protocol specifications are considered in the formal description technique LOTOS, which has been developed by the International Standards Organization. Test processes which preserve the structure of the protocol specifications are constructed. Laws are presented for handling basic LOTOS operators. The test processes obtained by applying these laws are related to the theoretical notion of canonical testers. The conversion of the test processes into finite test suites is discussed. Their relationship to current practice in test suite design is discussed.> David H. Pitt, David Freestone |
IEEE Trans. Software Eng. | 2 |
| 1988 | Specifying ROSE in LOTOS
David Freestone, Sukhvinder S. Aujla |
FORTE | 1 |