Cordy, James R. - School of Computing, Queen's University (Kingston)

Advanced Search

Cordy, James R. - School of Computing, Queen's University (Kingston)

Third International Workshop on Software Clones (IWSC) Rainer Koschke
Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter
SOFTWARE TESTING, VERIFICATION AND RELIABILITY Modeling methods for web
Recent years have seen many significant advances in program comprehension and software maintenance automation
Vector Space Analysis of Software Clones Scott Grant, James R. Cordy
Excerpts from the TXL Cookbook James R. Cordy
LDTA'04 Preliminary Version TXL -A Language for Programming Language
The Recognition Strategy Language Richard Zanibbi
Analyzing Web Service Similarity Using Contextual Clones
This paper describes a rapid prototyping system for extensions to an existing programming language.
A Lightweight Approach to Semantic Annotation of Research Papers
RSL: A Meta-Case Study in Theory
Estimating the Optimal Number of Latent Concepts in Source Code Analysis Scott Grant
Automated Concept Location Using Independent Component Analysis
An Empirical Study of Function Clones in Open Source Software Chanchal K. Roy and James R. Cordy
Presented at the CSER Meeting Fall 2005
Annotating Regulations Using Cerno: an Application to Italian Documents -Extended Abstract
Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology
Extracting Rights and Obligations from Regulations: Toward a Tool-Supported Process
Towards a Mutation-Based Automatic Framework for Evaluating Code Clone Detection Tools
1. Motivation Finding Bugs in Concurrent Java Programs
Enhancing Security Using Legality Assertions Lei Wang, James R. Cordy, Thomas R. Dean
Increasingly focus in the software comprehension community is shifting from representing the results of analysis in
VI Editor Quick Reference Card Screen-wise Moving Text CTRL-B -move BACK one screen
Identifying Clones By using ICA to map our source matrix into a
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a sin-
Cerno: Light-Weight Tool Support for Semantic Annotation of Textual Documents
Decision-Based Specification and Comparison of Table Recognition Algorithms
Modeling Erlang in the Calculus Chanchal K. Roy and James R. Cordy
Live Scatterplots James R. Cordy
Metaprogramming is the process of specifying generic software source templates from which
Automating Discovery of Software Tuning Parameters Nevon Brake, James R. Cordy
Comparative Assessment of Testing and Model Checking Using Program Mutation
A Service-Sharing Methodology for Integrating COTS-Based Software Systems Department of Computer Science
Evolving TXL Adrian D. Thurston James R. Cordy
The Third Rewrite Engines Competition Francisco Duran1
! Inference of data transfers and comparisons through method invocation and type hierarchy
September 14, 2009 Milestones in the History of PLs
A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages
Are Scripting Languages Really Different? Chanchal K. Roy
Fourth International Workshop on Software Clones (IWSC) Katsuro Inoue
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology Department of Computer Science
CISC 860* Topics in Programming Languages: Structure and Design of Programming Languages
Mutation Operators for Concurrent Java (J2SE 5.0)1 Jeremy S. Bradbury, James R. Cordy, Juergen Dingel
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
Historical Recall and Precision: Summarizing Generated Hypotheses Richard Zanibbi
Directions in Recognizing Tabular Structures of Handwritten Mathematics Notation
CISC 860: Course Project A Case Study on TCL Language
Annotating Accommodation Advertisements using Nadzeya Kiyavitskayaa
GXL -A Graph Transformation Language with Scoping and Graph Parameters Medha Shukla Sarkar
Topic Detection Using Independent Component Analysis Scott Grant
Fig. 1. TXL function call graph Fig. 2. Call graph for modified TXL program
Automated Conversion of Table-based Websites to Structured Stylesheets Using Table Recognition and Clone Detection
NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization
Agile Parsing in TXL Thomas R. Dean James R. Cordy Andrew J. Malton Kevin A. Schneider
LDTA'05 Preliminary Version Source Transformation for Concurrency
A Survey of Self-Management in Dynamic Software Architecture Specifications
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications
HSML, the Hot Spot Markup Language, is an ultra-high level executable specification language designed for concisely
SUPPORTED BY Jeremy S. Bradbury, James R. Cordy, Juergen Dingel
Automating the Extraction of Rights and Obligations for Regulatory Compliance
Recognizing Mathematical Expressions Using Tree Transformation
Exploring Large-scale System Similarity Using Incremental Clone Detection and Live Scatterplots
The NiCad Clone Detector James R Cordy
Fifth International Workshop on Software Clones (IWSC 2011)
JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE J. Softw. Maint. Evol.: Res. Pract. 2009; 00:17 Prepared using smrauth.cls [Version: 2003/05/07 v1.1]
Legacy System Evolution towards Service-Oriented Architecture
Automating Coverage Metrics For Dynamic Web Applications Manar H. Alalfi James R. Cordy Thomas R. Dean
WAFA: Fine-grained Dynamic Analysis of Web Applications Manar H. Alalfi James R. Cordy Thomas R. Dean
A Verification Framework for Access Control in Dynamic Web Applications
A Mutation / Injection-based Automatic Framework for Evaluating Code Clone Detection Tools
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas
A Survey of Analysis Models and Methods in Website Verification and Testing
Text Mining through Semi Automatic Semantic Nadzeya Kiyavitskaya1
STAC: Software Tuning Panels For Autonomic Control Elizabeth Dancy and James R. Cordy
The TXL Source Transformation Language James R. Cordy 1
Semi-Automatic Semantic Annotations for Web Documents
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text
TETE: A Source Transformation Environment for Eclipse Derek M. Shimozawa James R. Cordy
Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System
A Transformational Framework for Testing and Model Checking Implicit Invocation Systems1
Robust Multilingual Parsing Using Island Grammars Nikita Synytskyy, James R. Cordy, Thomas R. Dean
A Service Sharing Approach to Integrating Program Comprehension Tools Dean Jin James Cordy
Resolution of Static Clones in Dynamic Web Pages Nikita Synytskyy, James R. Cordy, Thomas Dean
This paper presents a method for unique renaming declarations and references in Java programs using source
DebCheck: Efficient Checking for Open Source Code Clones in Software Systems James R Cordy
AUI: A Programming Language for Developing Plastic Interactive Software
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software
James R. Cordy Kevin A. Schneider
Schema Translation Using Structural Transformation Rateb Abu-Hamdeh, James Cordy and Patrick Martin
Object-oriented dialects of existing programming languages are often implemented using a preprocessor
NICAD: A Next Generation Chanchal K. Roy and James R. Cordy
Evaluating the Evolution of Small Scale Open Source Software Systems
School of Computing Queen's University, Kingston, Ontario, Canada
Evolving TXL Adrian Thurston and James R. Cordy
Dagstuhl Seminar "Transformation techniques
Topics in Programming Languages CISC 860* Winter 2011 The Structure and Design of Programming Languages
IEEE TRANSACTIONS ON COMPUTERS, VOL. C-25, NO. 12, DECEMBER 1976 Programming Languages-The First 25 Years
CISC 860* Topics in Programming Languages: Structure and Design of Programming Languages
Andrews, G.R., Schneider, F.B.; Concepts and Notations for Concurrent Programming; ACM Computing Surveys 15, 1 (March 1983) pp. 3-43.
Practical Language-Independent Detection of Near-Miss James R. Cordy Thomas R. Dean Nikita Synytskyy
The year 2000 problem posed a difficult problem for many IT shops world wide. The most difficult part of the problem was
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software
Towards Automatic Verification of Erlang Programs by Calculus Translation
Evaluating the Evolution of Small Scale Open Source Software Systems
STAC: Software Tuning Panels for Autonomic Automatically Identifying Software Tuning Parameters
An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis
White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making
Source Transformation, Analysis and Generation in TXL James R. Cordy
Comparison and Evaluation of Code Clone Detection Techniques and Tools: A Qualitative Approach
TETE: A Non-Invasive Unit Testing Framework for Source Transformation Derek M. Shimozawa James R. Cordy
Software source text is the raw material of program understanding and transformation systems. In order to share
Where's the Schema? A Taxonomy of Patterns for Software Exchange
Wins and Losses of Algebraic Transformations of Software Architectures H.M. Fahmy1
A Mutation / Injection-Based Automatic Framework for
Scenario-Based Comparison of Clone Detection Techniques Chanchal K. Roy and James R. Cordy
An Interactive Interface for Refactoring Using Source Transformation Scott Grant, James R. Cordy
Reverse Engineering Co-maintenance Relationships Using Conceptual Analysis of Source Code
Towards a Framework for Migrating Web Applications to Web Services
Tuning Research Tools for Scalability and Performance: The NICAD Experience
Contextualized Semantic Analysis of Web Services Scott Grant
CISC 458* / 858* Course Project Phase 1. Scanner/Screener
CISC 458 / 858 Programming Language Processors Winter 2012 (Revised)
CISC 458* / 858* Course Project Winter 2012 J.R. Cordy -January 2012 (REVISED)
CISC 458* / 858* Project Requirements J.R. Cordy -January 2012
Using Topic Models to Support Software Maintenance
CISC 458* / 858* Course Project Phase 2. Parser
Topics in Programming Languages! ! CISC 860*! ! ! Winter 2012 The Structure and Design of Programming Languages
CISC 458*/ 858* Course Project Winter 2012 Phase 3. Semantic Analysis
A Tridimensional Approach for Studying the Formal Verification of Model Transformations