The Z notation: a reference manual
The Z notation: a reference manual
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Building natural language generation systems
Building natural language generation systems
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
The Metaview System for Many Specification Environments
IEEE Software
A Natural Language Explanation for Formal Proofs
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
From formal specifications to natural language: a case study
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Customizable descriptions of object-oriented models
ANLC '97 Proceedings of the fifth conference on Applied natural language processing
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times formal, development technologies. In addition, model-based testing (MBT) is a promising testing technique for the verification of critical software. Test cases generated by MBT tools are logical descriptions. The problem is, then, to provide natural language (NL) descriptions of these test cases, making them accessible to domain experts. In this paper, we present ongoing research aimed at finding a suitable method for generating NL descriptions from test cases in a formal specification language. A first prototype has been developed and applied to a real-world project in the aerospace sector.