Generating interaction test cases for mobile phone systems from use case specifications
ACM SIGSOFT Software Engineering Notes
Guided Test Generation from CSP Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Hi-index | 0.00 |
SpecNL is a tool that generates software test cases descriptions in natural language from test case specifications. The main aim is to help test engineers to execute the manual tests. This tool is part of a project to automate software test for mobile phone applications. SpecNL is a hybrid system (from the Natural Language Generation viewpoint), since it combines linguistic information and output templates in the generation task. Experiments with the implemented prototype revealed satisfactory results. This is an original and innovative application of NLG in the Software Engineering area.