Algebraic theory of processes
Specifications are not (necessarily) executable
Software Engineering Journal
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
The dynamic domain reduction procedure for test data generation
Software—Practice & Experience
Operational Profiles in Software-Reliability Engineering
IEEE Software
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Conformance Testing from UML Specifications. Experience Report
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
A CLP Framework for Computing Structural Test Data
CL '00 Proceedings of the First International Conference on Computational Logic
Test Generation Derived from Model-Checking
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Formal Test Automation: The Conference Protocol with PHACT
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
UMLAUT: An Extendible UML Transformation Framework
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Intrusion Detection as Passive Testing: Linguistic Support with TTCN-3 (Extended Abstract)
DIMVA '07 Proceedings of the 4th international conference on Detection of Intrusions and Malware, and Vulnerability Assessment
Guided Test Generation from CSP Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Towards a test cases generation method for security policies
ICT'09 Proceedings of the 16th international conference on Telecommunications
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Combining UML sequence and state machine diagrams for data-flow based integration testing
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
| Hi-index | 0.01 |
Nowadays, test cases may correspond to elaborate programs.It is therefore sensible to try to specify test casesin order to get a more abstract view of these. This paperexplores the notion of test purpose as a way to specify aset of test cases. It shows how test purposes are exploitedtoday by several tools that automate the generation of testcases. It presents the major relations that link test purposes,test cases and reference specification. It also explores thesimilarities and differences between the specification of testcases, and the specification of programs. This opens perspectivesfor the synthesis and the verification of test cases,and for other activities like test case retrieval.