STL: Source Transformation Group: Recent Publications

Most recent papers are linked to downloadable Adobe Acrobat Reader portable document format (PDF) documents. All papers are copyright by their respective publishers (IEEE, ACM, Elsevier, Springer and so on) - see the publishers' websites for copyright restrictions and definitive published versions.

Recent Publications

2006

N. Kiyavitskaya, N. Zeni, L. Mich, J.R. Cordy and J. Mylopoulos, "Text Mining through Semi-Automatic Semantic Annotation", Proc. PAKM 2006, 6th International Conference on Practical Aspects of Knowledge Management, Vienna, November 2006, 12 pp. (to appear)

Jeremy S. Bradbury, James R. Cordy and Juergen Dingel, "Mutation Operators for Concurrent Java (J2SE 5.0)", In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), Raleigh, North Carolina, USA, November 2006, 10 pp. (to appear)
Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. "ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis", In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), Raleigh, North Carolina, USA, Nov. 2006, 6 pp. (to appear)
A.Thurston and J.R. Cordy, "A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages", Proc. of the 16th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering (CASCON'06) , Toronto, October 2006, 14 pp. (to appear).

E. Dancy and J.R. Cordy, "STAC: Software Tuning Panels For Autonomic Control", Proc. of the 16th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering (CASCON'06) , Toronto, October 2006, 15 pp. (to appear).

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel, "Using Source Transformation to Test and Model Check Implicit-Invocation Systems", Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming, 62(3), pages 209–227, Oct. 2006.

C.K. Roy, T. Noll, B. Roy and J.R. Cordy, "Towards Automatic Verification of Erlang Programs by π-Calculus Translation", Proc. of the ACM SIGPLAN 5th Erlang Workshop (Erlang'06) , Portland, September 2006, 12 pp..

A.Thurston and J.R. Cordy, "Evolving TXL", Proc. of the IEEE 6th International Workshop on Source Code Analysis and Manipulation (SCAM 2006), Philadelphia, September 2006, 10 pp.

J.R. Cordy, H.C. Gall and J.I. Maletic (as guest editors), "Introduction to the Special Issue on Program Comprehension", Software Quality Journal 14,3 (September 2006), pp. 185-186.

J.R. Cordy, "The TXL Source Transformation Language", Science of Computer Programming (2006), 61(3), pages 190-210, Aug. 2006.

A.D. Thurston. "Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression", In Proc. of 11th International Conference on Implementation and Application of Automata (CIAA 2006), Lecture Notes in Computer Science, volume 4094, pp. 285-286, Taipei, Taiwan, August 2006.

J.S. Bradbury, "Using Mutation for the Assessment and Optimization of Tests and Properties" Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006), Portland Maine, USA, July 2006, 4 pp. .

D.Jin and J.R. Cordy, "Integrating Reverse Engineering Tools Using a Service-Sharing Methodology", Proc. ICPC 2006, 14th International Conference on Program Comprehension, Athens, Greece, June 2006, 6 pp. .

D. Shimozawa and J.R. Cordy, "TETE: A Non-Invasive Unit Testing Framework for Source Transformation", Post-proc. STEP 2005: 12th International Workshop on Software Technology and Engineering Practice, accepted February 2006, 10 pp.

D.Jin and J.R. Cordy, "A Service-Sharing Methodology for Integrating COTS-Based Software Systems", Proc. ICCBSS 2006, 5th International Conference on COTS-Based Software Systems, Orlando, Florida, February 2006, 10 pp.

J.R. Cordy, "Source Transformation, Analysis and Generation in TXL", Proc. PEPM'06, ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, Charleston, South Carolina, January 2006, 11 pp. (keynote paper).

2005

N. Kiyavitskaya, N. Zeni, J.R. Cordy, L. Mich and J. Mylopoulos, "Semi-Automatic Semantic Annotations for Web Documents", Proc. SWAP 2005, 2nd Italian Semantic Web Workshop, Trento, Italy, December 2005, CEUR Workshop Proceedings ISSN 1613-0073, ch.14 (15 pp.)
L. Wang, J.R. Cordy and T.R. Dean, "Enhancing Security Using Legality Assertions", Proc. WCRE 2005 - IEEE 12th International Working Conference on Reverse Engineering, Pittsburgh, November 2005, 10 pp.
H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "Implementation and Verification of Implicit-Invocation Systems Using Source Transformation", submitted to SCAM 2005 - IEEE 5th International Workshop on Source Code Analysis and Manipulation, Budapest, Hungary, September/October 2005, 10 pp. .
D. Jin and J.R. Cordy, "Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology", Proc. ICSM 2005, IEEE 21st International Conference on Software Maintenance, Budapest, Hungary, September 2005, 4 pp. .

J.S. Bradbury, J.R. Cordy, J. Dingel. "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis". Proc. of the International ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), Lisbon, Portugal, September 2005 .

N. Kiyavitskaya, N. Zeni, J.R. Cordy, L. Mich and J. Mylopoulos, "Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text", Proc. ICAPR 2005, 3rd International Conference on Advances in Pattern Recognition, Bath, U.K., August 2005, 10 pp. .

R. Zanibbi, D. Blostein and J.R. Cordy, "Recognition Tasks are Imitation Games", Proc. ICAPR 2005, 3rd International Conference on Advances in Pattern Recognition, Bath, U.K., August 2005, 10 pp. .

R. Zanibbi, D. Blostein and J.R. Cordy, "The Recognition Strategy Language", Proc. ICDAR 2005 - IAPR 8th International Conference on Document Analysis and Recognition, Seoul, Korea, August 2005, 5 pp. .

R. Zanibbi, D. Blostein and J.R. Cordy, "Historical Recall and Precision: Summarizing Generated Hypotheses", Proc. ICDAR 2005 - IAPR 8th International Conference on Document Analysis and Recognition, Seoul, Korea, August 2005, 5 pp. .

T. Cassidy, J.R. Cordy, T. Dean and J. Dingel, "Source Transformation for Concurrency Analysis", Proc. LDTA 2005, ACM 5th International Workshop on Language Descriptions, Tools and Applications, Edinburgh, Scotland, April 2005, pp. 26-43.

D. Shimozawa and J.R. Cordy, "TETE: A Source Transformation Environment for Eclipse", Eclipse Research-Industry Technology Exchange, EclipseCon 2005, Burlingame, California, February 2005, 2 pp.

2004

J.R. Cordy, "Metaprogam Implementation by Second Order Source Transformation", Proc. STS'04, Software Transformation Systems Workshop, at GPCE'04 - ACM SIGPLAN 3rd International Conference on Generative Programming and Component Engineering, Vancouver, October 2004, 2 pp.

D. Jin and J.R. Cordy, "Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System", Proc. ATEM 2004, 2nd International Workshop on Metamodels, Schemas & Grammars for Reverse Engineering, Delft, Netherlands, October 2004, 6 pp.

N. Synytskyy, J.R. Cordy and T.R. Dean, "A Language-Independent Approach to Detection of Near-Miss Clones", Proc. of CASCON'04, 14th IBM Centre for Advanced Studies Conference, Toronto, October 2004, 12 pp.

H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "A Transformational Framework for Testing and Model Checking Implicit Invocation Systems", Proc. of the 3rd International Workshop on Distributed Event-Based Systems (DEBS'04), Edinburgh, May 2004.

J.R. Cordy, "TXL - A Language for Programming Language Tools and Applications", Proc. of the ACM 4th International Workshop on Language Descriptions, Tools and Applications (LDTA 2004), Barcelona, Spain, April 2004 (keynote paper), pp. 1-27.

A. De Lucia, J.R. Cordy and J. Mylopoulos (as guest editors), "Introduction to the Special Issue on Source Code Analysis and Manipulation", Journal of Automated Software Engineering 11,1 (January 2004), pp. 5-6.

2003

S. Grant, J. R. Cordy, "An Interactive Interface for Refactoring Using Source Transformation," Proc. REFACE03, WCRE Workshop on REFactoring: Achievements, Challenges, Effects, Victoria, Nov. 2003.

N. Synytskyy, J.R. Cordy, T.R Dean. "Resolution of Static Clones in Dynamic Web Pages", Proc. of the 5th International Workshop on Web Site Evolution (WSE 2003), Amsterdam, The Netherlands, Sept. 2003, to appear.

X. Guo, J.R. Cordy, T.R Dean. "Unique Renaming of Java Using Source Transformation", Proc. of the Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 03), Amsterdam, The Netherlands, Sept. 2003, to appear.

D. Jin and J.R. Cordy, "A Service Sharing Approach to Integrating Program Comprehension Tools", Proc. of the 2003 Workshop on Tool Integration in System Development, Helsinki, September 2003.

J.R. Cordy, "Facing Reality: Challenges to Software Maintenance Automation", Proc. IWPC 2003, IEEE 11th International Workshop on Program Comprehension, Portland, Oregon, May 2003 (invited keynote paper).

D. Jin, J.R. Cordy and T.R. Dean, "Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter", Proc. CSMR 2003, IEEE 7th European Conference on Software Maintenance and Reengineering, Benevento, Italy, March 2003.

2002

T.R. Dean, J.R. Cordy, A.J. Malton and K.A. Schneider, "Grammar Programming in TXL", Proc. SCAM'02 - IEEE 2nd International Workshop on Source Code Analysis and Manipulation, Montreal, October 2002.

K.A. Schneider and J.R. Cordy, "Abstract User Interfaces: a Model and Notation to Support Plasticity in Interactive Systems", in Interactive Systems: Design, Specification and Verification, Springer Verlag Lecture Notes in Computer Science 2220, Berlin, 2002, pp. 28-48.

R. Zanibbi, D. Blostein and J.R. Cordy, "Recognizing Mathematical Expressions Using Tree Transformation", IEEE Transactions on Pattern Analysis & Machine Intelligence 24,11 (November 2002), to appear.

J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Source Transformation in Software Engineering using the TXL Transformation System", Special Issue on Source Code Analysis and Manipulation, Journal of Information and Software Technology, accepted February 2002 .

D. Blostein, J.R. Cordy and R. Zanibbi, "Applying Compiler Techniques to Diagram Recognition", Proc. ICPR 2002, 16th IAPR International Conference on Pattern Recognition, Qu�bec, August 2002, 5 pp.

D. Jin, J.R. Cordy and T.R. Dean, "Where's the Schema? A Taxonomy of Patterns for Software Exchange", Proc. IWPC 2002 - IEEE 10th International Workshop on Program Comprehension, Paris, June 2002, pp. 65-74.

K.A. Schneider and J.R. Cordy, "AUI: A Programming Language for Developing Plastic Interactive Software", Proc. HICSS-35 - Hawaii Int'l Conf. on the System Sciences, Waikoloa, Hawaii, Jan. 2002, pp. 281b (10 pp.)

2001

H. Fahmy, R.C. Holt and J.R. Cordy, "Wins and Losses of Algebraic Transformations of Software Architectures", Proc. ASE'2001, IEEE 16th International Conference on Automated Software Engineering, San Diego, November 2001, 8 pp.

R. Zanibbi, D. Blostein and J.R. Cordy, "Directions in Recognizing Tabular Structures of Handwritten Mathematics Notation", Proc. GREC 2001, 4th IAPR International Workshop on Graphics Recognition, Kingston, September 2001, pp. 493-499. (Refereed by abstract only.)

J.R. Cordy, T.R. Dean, A.J. Malton and K.A. Schneider, "Software Engineering by Source Transformation - Experience with TXL", Proc. SCAM'01 - IEEE 1st International Workshop on Source Code Analysis and Manipulation, Florence, November 2001, pp. 168-178.

T.R. Dean, J.R. Cordy, K.A. Schneider and A.J. Malton, "Experience Using Design Recovery Techniques to Transform Legacy Systems", Proc. ICSM 2001 - IEEE International Conference on Software Maintenance, Florence, November 2001, pp. 622-631.

R. Zannibbi, D.A. Blostein and J.R. Cordy, "Baseline Structure Analysis of Handwritten Mathematics Notation", Proc. ICDAR 2001 - IAPR 6th International Conference on Document Analysis and Recognition, Seattle, September 2001, pp. 768-773.

K.A. Schneider and J.R. Cordy, "Abstract User Interfaces: a Model and Notation to Support Plasticity in Interactive Systems", Proc. DSVIS 2001 - 8th International Workshop on Design, Specification and Verification of Interactive Systems, Glasgow, June 2001, pp. 40-59.

J.R. Cordy, K.A. Schneider, T.R. Dean and A.J. Malton, "HSML: Design Directed Source Code Hot Spots", Proc. IWPC 2001 - IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 145-154.

A.J. Malton, K.A. Schneider, J.R. Cordy, T.R. Dean, D. Cousineau and J. Reynolds, "Processing Software Source Text in Automated Design Recovery and Transformation", Proc. IWPC 2001 - IEEE 9th International Workshop on Program Comprehension, Toronto, May 2001, pp. 127-134.