The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Independent testing of compiler phases using a test case generator
Software—Practice & Experience
Softwear Reliability
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Automatic generation of random self-checking test cases
IBM Systems Journal
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Dynamic impact analysis: a cost-effective technique to enforce error-propagation
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
A visual test development environment for GUI systems
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Empirical Studies of a Safe Regression Test Selection Technique
IEEE Transactions on Software Engineering
An empirical study of regression test selection techniques
Proceedings of the 20th international conference on Software engineering
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Prioritizing test cases for regression testing
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A comparative study of coarse- and fine-grained safe regression test-selection techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
An empirical study of regression test selection techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Studies of a Prediction Model for Regression Test Selection
IEEE Transactions on Software Engineering
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Test case generation for specification-based software testing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Efficient Regression Testing of Multi-Panel Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
Proceedings of the 2003 ACM symposium on Applied computing
Selecting a Cost-Effective Test Case Prioritization Technique
Software Quality Control
Automated Consistency and Completeness Checking of Testing Models for Interactive Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction
IEEE Transactions on Software Engineering
Contract driven development = test driven development - writing test cases
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
An overview on test generation from functional requirements
Journal of Systems and Software
Jazz2: a flexible and extensible framework for structural testing in a Java VM
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Eclat: automatic generation and classification of test inputs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
| Hi-index | 0.00 |
TSL is a language for writing formal test specifications of the functions of a software system. The test specifications are compiled into executable test scripts that establish test environments, assign values to input variables, perform necessary setup and cleanup operations, run the test cases, and check the correctness of test results. TSL is a working system that has been used to test commercial software in a production environment.