A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Selected papers of the Second Workshop on Concurrency and compositionality
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structural specification-based testing with ADL
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
An approach to architectural analysis and testing
ISAW '98 Proceedings of the third international workshop on Software architecture
Configurable software architecture in support of configuration management and software deployment
Proceedings of the 21st international conference on Software engineering
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Software requirements validation via task analysis
Journal of Systems and Software
A defect prevention approach to architecture-based testing
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Scenario-Based Software Architecture Reengineering
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Software architecture design: evaluation and transformation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Reasoning about software architecture-based regression testing through a case study
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Exploiting software architecture to support requirements satisfaction testing
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
SETER: Towards Architecture-Model Based Security Engineering
International Journal of Secure Software Engineering
Hi-index | 0.00 |