Generating language-based environments
Generating language-based environments
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Source Code Search Using Program Patterns
IEEE Transactions on Software Engineering
Template-based program restructuring - initial experience
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Modeling and querying software repositories
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Aspect language features for concern coverage profiling
Proceedings of the 4th international conference on Aspect-oriented software development
Modular-Like Transformations and Style Checking for Crosscutting Programming Concepts
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Unparsed patterns: easy user-extensibility of program manipulation tools
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Addressing common crosscutting problems with Arcum
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A framework for the checking and refactoring of crosscutting concepts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
We describe an approach to software analysis and test generation that combines several technologies: object-oriented databases and parsers for capturing and representing software; pattern languages for writing program templates and querying and analyzing a database of software; and transformation rules for automatically generating test cases based on the analysis results, and for automatically creating program “mutants” to determine adequacy of coverage of the test cases. We present a program transformation system, REFINE™1, that incorporates these technologies in an open environment for software analysis and test generation. Next we present concrete examples of how our approach is being applied to analysis and test generation for C software.