The ASTOOT approach to testing object-oriented programs
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
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Automating Specification-Based Software Testing
Automating Specification-Based Software Testing
Model driven software development: a practitioner takes stock and looks into future
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.02 |
We discuss the direct relevance of on-going testing research to the 'users' of the research, namely the industrial practitioners. The current state-of-the-practice in software testing is quite ad-hoc and provides little or no assertions about the quality of the delivered software product. We propose the view that research that is aligned with formal approaches to software development is the best bet to achieve this goal.