EDBT 2026 Demo / reviewers in the wild / expert
Trevor J. Smedley
dblp:80/5268
· DBLP profile ↗
7ranked-venue papers
2as first author
0since 2021 · last 2008
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-authorHuman-computer interaction and ubiquitous computing · 2Software engineering, systems software and programming languages · 1
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.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 83% Empirical software engineering · 8% Debugging and program repair · 8% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › test adequacy › coverage criteria › structural coverage criteria
dataflow coverage |
0.1 | 1 | 2008 | Unit-level test adequacy criteria for visual dataflow languages and a testing methodology · ACM Trans. Softw. Eng. Methodol. 2008 |
Software testing › test adequacy › coverage criteria
structural coverage criteria |
0.1 | 1 | 2008 | Unit-level test adequacy criteria for visual dataflow languages and a testing methodology · ACM Trans. Softw. Eng. Methodol. 2008 |
Software testing › test adequacy
test adequacy criteria |
0.1 | 1 | 2008 | Unit-level test adequacy criteria for visual dataflow languages and a testing methodology · ACM Trans. Softw. Eng. Methodol. 2008 |
Empirical software engineering
developer studies |
0.0 | 1 | 2008 | Unit-level test adequacy criteria for visual dataflow languages and a testing methodology · ACM Trans. Softw. Eng. Methodol. 2008 |
Debugging and program repair
fault localization |
0.0 | 1 | 2008 | Unit-level test adequacy criteria for visual dataflow languages and a testing methodology · ACM Trans. Softw. Eng. Methodol. 2008 |
Methods — techniques the papers use, named apart from their topics
eye tracking · 0.1empirical study · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2008 | Unit-level test adequacy criteria for visual dataflow languages and a testing methodologyabstractVisual dataflow languages (VDFLs), which include commercial and research systems, have had a substantial impact on end-user programming. Like any other programming languages, whether visual or textual, VDFLs often contain faults. A desire to provide programmers of these languages with some of the benefits of traditional testing methodologies has been the driving force behind our effort in this work. In this article we introduce, in the context of prograph, a testing methodology for VDFLs based on structural test adequacy criteria and coverage. This article also reports on the results of two empirical studies. The first study was conducted to obtain meaningful information about, in particular, the effectiveness of our all-Dus criteria in detecting a reasonable percentage of faults in VDFLs. The second study was conducted to evaluate, under the same criterion, the effectiveness of our methodology in assisting users to visually localize faults by reducing their search space. Both studies were conducted using a testing system that we have implemented in Prograph's IDE. Marcel R. Karam, Trevor J. Smedley, Sergiu M. Dascalu |
ACM Trans. Softw. Eng. Methodol. | 2 |
| 2005 | A mobile, visual scripting environment for monitoring and controlling wireless devicesabstractWe introduce a visual scripting language and environment for handheld computers which we are developing, and discuss our research into adapting it for use with devices enabled with wireless communication, such as Bluetooth and IrDA. The environment is event-driven, using dataflow diagrams for programming. The language has its roots in the general purpose visual language, Prograph, but is significantly modified for end-user programming on a handheld computer, and supplemented with functionality for monitoring and controlling wireless devices. Kenneth D. Dwyer, Trevor J. Smedley |
WiMob (4) | 2 |
| 2004 | Reduction of Cognitive Load Through the Addition of High-Level Semantics to ReactoGraphabstractThis research studies usability problems in ReactoGraph, a visual programming language designed to simplify the development of graphical user interfaces. Its design incorporates concrete representations of interface controls and behavior but suffers from complexity in defining message passing, inter-component data flow, and event handling. We attempt to further simplify the use of ReactoGraph by considering effects of tool design on cognitive abilities and introduce three high-level semantic additions to the language. We describe these in the context of cognitive load and discuss results of a small user study that shows promise in their effectiveness. Simon Gauvin, Trevor J. Smedley |
VL/HCC | 2 |
| 2004 | Message-Flow Programming in PdaGraphabstractPdaGraph is an end-user component-based programming language for the PDA. In the first stage of our research a data-flow visual programming language was designed, but this was lacking an intuitive user interface and the connections between different parts of the program were not visible. To make PdaGraph suitable for end-users, we designed a high-level component-based message-flow programming language and environment. To verify that the design is end-user friendly we conducted a usability study using a low fidelity paper prototype, and feedback was obtained by videotaping the subject-system interactions and by using a cognitive dimensions questionnaire Yael Kollet, Trevor J. Smedley |
VL/HCC | 2 |
| 1990 | Detecting Algebraic Dependencies Between Unnested Radicals (abstract)
Trevor J. Smedley |
ISSAC | 1 |
| 1989 | A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds
Trevor J. Smedley |
ISSAC | 1 |
| 1988 | Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)
Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley |
ISSAC | 3 |