Cited By
View all- Guo H(2016)A semantic approach for automated test oracle generationComputer Languages, Systems and Structures10.1016/j.cl.2016.01.00645:C(204-219)Online publication date: 1-Apr-2016
Automated Test Oracle Generation via Denotational Semantics
Pages 139 - 144
Abstract
This paper presents a formal approach to specifying test oracles in denotational semantics, and bridges the automation between test case generation and software testing. We extended our grammar-based test generation tool, Gena, with an interface for users to define semantic domains, and formal semantic evaluation functions for mapping from syntax to semantics, based on the methodology of denotational semantics. We provide two practical case studies to illustrate how automated oracle generation can be effectively integrated with grammar-based test generation in different testing scenarios: generating test data for a set of java programs, and generating executable Smalltalk testing methods.
- Automated Test Oracle Generation via Denotational Semantics
Recommendations
A semantic approach for automated test oracle generation
This paper presents the design, implementation, and applications of a software testing tool, TAO, which allows users to specify and generate test cases and oracles in a declarative way. Extended from its previous grammar-based test generation tool, TAO ...
A Methodology for Concurrent Languages Development Based on Denotational Semantics
SYNASC '09: Proceedings of the 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific ComputingBy using the "continuation semantics for concurrency" (CSC) technique [6] denotational semantics can be used both as a method for formal specification and as a general method for designing tractable compositional prototypes for concurrent languages [8]. ...
Denotational Semantics for Symbolic Execution
Theoretical Aspects of Computing – ICTAC 2023AbstractSymbolic execution is a technique to systematically explore all possible paths through a program. This technique can be formally explained by means of small-step transition systems that update symbolic states and compute a precondition ...
Comments
Information & Contributors
Information
Published In
October 2014
366 pages
ISBN:9781479971985
Publisher
IEEE Computer Society
United States
Publication History
Published: 02 October 2014
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Jan 2025
Other Metrics
Citations
Cited By
View all- Guo H(2016)A semantic approach for automated test oracle generationComputer Languages, Systems and Structures10.1016/j.cl.2016.01.00645:C(204-219)Online publication date: 1-Apr-2016