Attribute grammars: definitions, systems and bibliography
Attribute grammars: definitions, systems and bibliography
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Exploring the Software Development Trilogy
IEEE Software
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verification Using Test Generation Techniques
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Test Criteria Definition for B Models
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Methods in Context: Security and Java Card
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Formal methods in practice: the missing links. a perspective from the security area
Modeling and verification of parallel processes
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Automated test case generation from IFAD VDM++ specifications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating Behavioral Component Interfaces in Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic graphical UML views from formal B specifications
Information and Software Technology
Testing functional requirements using B model specifications
ACM SIGSOFT Software Engineering Notes
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
| Hi-index | 0.00 |
In this paper, we present CASTING, a Computer Assisted Software Test engineering method. The method, supported by a prototype tool, generates realistic software test suites in a formal and semi-automatic way. Based on a two-layer modular architecture, CASTING is not tied to any particular style of input. Initially designed to engineer functional test suites from formal specifications, CASTING can easily be instantiated to accept other formal description levels, seamlessly supporting the main industrial testing techniques, ranging from functional testing to structural testing. A simple process scheduler specification is used in this paper to illustrate the interaction facilities of CASTING and to provide a sample of the resulting test suites.