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.

Trevor J. Smedley

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

TopicWeightPapersLastEvidence papers
Software testing › test adequacy › coverage criteria › structural coverage criteria
dataflow coverage
0.112008
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.112008
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.112008
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.012008
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.012008
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
YearPublicationVenuePosition
2008 Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
abstract
Visual 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 devices
abstract
We 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 ReactoGraph
abstract
This 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/HCC2
2004 Message-Flow Programming in PdaGraph
abstract
PdaGraph 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/HCC2
1990 Detecting Algebraic Dependencies Between Unnested Radicals (abstract)
Trevor J. Smedley
ISSAC1
1989 A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds
Trevor J. Smedley
ISSAC1
1988 Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)
Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley
ISSAC3