Applications of symbolic evaluation
Journal of Systems and Software
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Database system support for software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Complexity of the EQUATE testing strategy
Journal of Systems and Software
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
Interpretation in a tool-fragment environment
ICSE '88 Proceedings of the 10th international conference on Software engineering
Design principles behind Chiron: a UIMS for software environments
ICSE '88 Proceedings of the 10th 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
Pgraphite: an experiment in persistent typed object management
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
IEEE Transactions on Software Engineering
DIANA: an intermediate language for Ada
DIANA: an intermediate language for Ada
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and software validation
Communications of the ACM
Deciding Combinations of Theories
Proceedings of the 6th Conference on Automated Deduction
An Analysis of Text Data Selection Criteria Using the RELAY Model of
An Analysis of Text Data Selection Criteria Using the RELAY Model of
Completely validated software: error-based validation completeness (panel session)
ICSE '89 Proceedings of the 11th international conference on Software engineering
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrating testing techniques through process programming
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Consistency management in a project management assistant
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
An evaluation of software test environment architectures
Proceedings of the 18th international conference on Software engineering
An object-oriented program development environment for the first programming course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
A system for multiparadigm development of software systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |
Current research indicates that software reliability needs to be achieved through the careful integration of a number of diverse testing and analysis techniques. To address this need, the TEAM environment has been designed to support the integration of and experimentation with an ever growing number of software testing and analysis tools. To achieve this flexibility, we exploit three design principles: component technology so that common underlying functionality is recognized; generic realizations so that these common functions can be instantiated as diversely as possible; and language independence so that tools can work on multiple languages, even allowing some tools to be applicable to different phases of the software lifecycle. The result is an environment that contains building blocks for easily constructing and experimenting with new testing and analysis techniques. Although the first prototype has just recently been implemented, we feel it demonstrates how modularity, genericity, and language independence further extensibility and integration.