Structural specification-based testing: automated support and experimental evaluation
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Panel discussion: is ISSTA testing research relevant to industrial users?
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
FAST: a framework for automating statistics-based testing
Software Quality Control
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
The Specification-Based Testing of a Trusted Kernel: MK++
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Heuristic Search with Reachability Tests for Automated Generation of Test Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Model-based testing for applications derived from software product lines
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Software Testing Education and Training in Hong Kong
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Software debugging, testing, and verification
IBM Systems Journal
A learning-based approach to unit testing of numerical software
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Finding and ranking research directions for software testing
EuroSPI'05 Proceedings of the 12th European conference on Software Process Improvement
| Hi-index | 0.00 |
From the Publisher:What is the fastest, cheapest way to get a software product to market? Don't test it! What is the fastest, cheapest way to get a reliable software product to market? Use automated specification-based testing as an integral part of software development. This book explains what specification-based testing is, why it is the best kind of testing, how it is performed, how it prevents defects, and how it is automated.