Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

David Freestone

dblp:53/6725 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Internet architecture and protocols › protocol engineering
protocol testing
0.011990
The Derivation of Conformance Tests from LOTOS Specifications · IEEE Trans. Software Eng. 1990
Software testing › specification-based testing
conformance testing
0.011990
The Derivation of Conformance Tests from LOTOS Specifications · IEEE Trans. Software Eng. 1990
Automata and formal languages
formal description techniques
0.011990
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
YearPublicationVenuePosition
2025 Time on social networking sites is associated with impulsive decision-making
abstract
Almost 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 Specifications
abstract
The 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
FORTE1