On the development of reactive systems
Logics and models of concurrent systems
New Paradigms for Software Development: Tutorial
New Paradigms for Software Development: Tutorial
Software Verification and Validation: Realistic Project Approaches
Software Verification and Validation: Realistic Project Approaches
Developing an object-oriented software testing and maintenance environment
Communications of the ACM - Special issue on object-oriented experiences and future trends
Testing levels for object-oriented software
Proceedings of the 22nd international conference on Software engineering
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
On built-in test reuse in object-oriented framework design
ACM Computing Surveys (CSUR)
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Coverage criteria for GUI testing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
On coping with real-time software dynamic inconsistency by built-in tests
Annals of Software Engineering
Object-oriented integration testing
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Empirical Software Engineering
Research Frontiers in Object Technology
Information Systems Frontiers
Embedding built-in tests in hot spots of an object-oriented framework
ACM SIGPLAN Notices
Iterative design and testing within the software development life cycle
Software Quality Control
Reliable Objects: Lightweight Testing for OO Languages
IEEE Software
A Case Study in Statistical Testing of Reusable Concurrent Objects
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Test Order for Inter-Class Integration Testing of Object-Oriented Software
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Increasing the Testability of Object-Oriented Frameworks with Built-in Tests
AISA '02 Proceedings of the First International Workshop on Advanced Internet Services and Applications
A survey of testing techniques for object-oriented systems
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Inter-class testing of O-O software in the presence of polymorphism
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Efficient Strategies for Integration and Regression Testing of OO Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Criteria for Testing Polymorphic Relationships
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
The Construction of Contextual Def-Use Associations for Object-Oriented Systems
IEEE Transactions on Software Engineering
Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
System Test Planning of Software: An Optimization Approach
IEEE Transactions on Software Engineering
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic capabilities in the software process
International Journal of Information Technology and Management
A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Integration testing in software product line engineering: a model-based technique
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Testing object-oriented software systems
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Testing techniques in software engineering
Testing techniques in software engineering
The reliability estimation, prediction and measuring of component-based software
Journal of Systems and Software
Coverage criteria for testing of object interactions in sequence diagrams
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
| Hi-index | 48.22 |