Automating software analysis and testing using a program transformation system

G. Kotik; L. Markosian

doi:10.1145/75309.75318

Automating software analysis and testing using a program transformation system

ACM SIGSOFT Software Engineering Notes ◽

10.1145/75309.75318 ◽

1989 ◽

Vol 14 (8) ◽

pp. 75-84 ◽

Cited By ~ 2

Author(s):

G. Kotik ◽

L. Markosian

Keyword(s):

Program Transformation ◽

Transformation System ◽

Software Analysis

Download Full-text

Automating software analysis and testing using a program transformation system

Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification - TAV3 ◽

10.1145/75308.75318 ◽

1989 ◽

Cited By ~ 9

Author(s):

G. Kotik ◽

L. Markosian

Keyword(s):

Program Transformation ◽

Transformation System ◽

Software Analysis

Download Full-text

The TAMPR Program Transformation System: Simplifying the Development of Numerical Software

Modern Software Tools for Scientific Computing ◽

10.1007/978-1-4612-1986-6_17 ◽

1997 ◽

pp. 353-372 ◽

Cited By ~ 9

Author(s):

James M. Boyle ◽

Terence J. Harmer ◽

Victor L. Winter

Keyword(s):

Program Transformation ◽

Transformation System ◽

Numerical Software

Download Full-text

RAPT: A Program Transformation System Based on Term Rewriting

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/11805618_20 ◽

2006 ◽

pp. 267-276

Author(s):

Yuki Chiba ◽

Takahito Aoto

Keyword(s):

Program Transformation ◽

Term Rewriting ◽

Transformation System

Download Full-text

WSDFU: Program Transformation System Based on Generalized Partial Computation

Lecture Notes in Computer Science - The Essence of Computation ◽

10.1007/3-540-36377-7_16 ◽

2007 ◽

pp. 358-378 ◽

Cited By ~ 3

Author(s):

Yoshihiko Futamura ◽

Zenjiro Konishi ◽

Robert Glück2

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

Viewing a program transformation system at work

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_3 ◽

1994 ◽

pp. 5-5 ◽

Cited By ~ 2

Author(s):

Robert Paige

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

CACHET: an interactive, incremental-attribution-based program transformation system for deriving incremental programs

Proceedings 1995 10th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1995.490115 ◽

2002 ◽

Cited By ~ 4

Author(s):

Y.A. Liu

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

A Knowledge-Based Program Transformation System

Notes on Numerical Fluid Mechanics and Multidisciplinary Design - Active Flow and Combustion Control 2018 ◽

10.1007/3-540-58113-8_173 ◽

1994 ◽

pp. 228-241 ◽

Cited By ~ 2

Author(s):

P. C- Y. Sheu ◽

S. Yoo

Keyword(s):

Program Transformation ◽

Transformation System ◽

Knowledge Based

Download Full-text

Building the Program Parallelization System Based on a Very Wide Spectrum Program Transformation System

Lecture Notes in Computer Science - Computational Science — ICCS 2003 ◽

10.1007/3-540-44862-4_102 ◽

2003 ◽

pp. 945-954

Author(s):

Alexander Alexeyevich Bukatov

Keyword(s):

Program Transformation ◽

Wide Spectrum ◽

Transformation System ◽

Program Parallelization

Download Full-text

Partial Jacobian computation in the domain-specific program transformation system ADiCape

2009 International Multiconference on Computer Science and Information Technology ◽

10.1109/imcsit.2009.5352778 ◽

2009 ◽

Author(s):

Monika Petera ◽

Michael Lulfesmann ◽

H. Martin Bucker

Keyword(s):

Program Transformation ◽

Transformation System ◽

Domain Specific ◽

Specific Program

Download Full-text

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.8 ◽

2012 ◽

Cited By ~ 3

Author(s):

Victor L. Winter ◽

Jonathan Guerrero ◽

Alexander James ◽

Carl Reinke

Keyword(s):

Program Transformation ◽

Source Code ◽

Transformation System ◽

Semantic Models

Download Full-text