Programmatic semantics for natural language interfaces

Liu, Hugo; Lieberman, Henry

doi:10.1145/1056808.1056975

Cited by 36 publications

(22 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Revision of hundreds of steps is a difficult and time-consuming task. Therefore, there are recent researches that focus on detecting user intent from natural languages [37] Lau [38] propose the Co-Tester system suggesting a new language called ClearScript. The tester should provide the cotester system with segmented test steps so that the system can handle them.…”

Section: Fig 4 Hybrid Testing Frameworkmentioning

confidence: 99%

Automated Software Testing Frameworks: A Review

Hanna¹,

Elsayed²,

Mostafa-Sami³

2018

IJCA

View full text Add to dashboard Cite

Manual software testing has been traditionally used in the software industry. It depends completely on human testers without the help of any tool to detect the unexpected behavior of an application. However, the main problem in the manual testing approach is that it is a time-consuming task in addition to the fact that tests cannot be reused. Automation software testing has been introduced to reduce testing efforts and detect as many faults as possible. Test cases are executed not only to test the functional requirements for the first time, but also to check the functions which have been already tested. This study aims to present the main features of different automation testing frameworks. In addition, an overview of different scripting techniques is presented during the study.

show abstract

Section: Fig 4 Hybrid Testing Frameworkmentioning

confidence: 99%

Automated Software Testing Frameworks: A Review

Hanna¹,

Elsayed²,

Mostafa-Sami³

2018

IJCA

View full text Add to dashboard Cite

show abstract

“…However, the programmer's thinking must already be precise enough to know almost exactly what should happen at each line. Metafor [Liu and Lieberman 2005] and its successor MOOIDE [Lieberman and Ahmad 2010] use sentence structure and mixed-initiative discourse to understand compound descriptions. MOOIDE further showed that general background world knowledge helps to understand natural language input.…”

Section: Programming In Natural Languagementioning

confidence: 99%

Managing ambiguity in programming by finding unambiguous examples

Arnold

Lieberman

2010

Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications

Self Cite

View full text Add to dashboard Cite

We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming environments to work with informal descriptions that lack precise semantics, such as natural language descriptions or conceptual diagrams, without requiring programmers to formulate their ideas in a formal language first. As an example of this idea, we present Zones, a code search and reuse interface that connects code with ambiguous natural language statements about its purpose. The backend, called ProcedureSpace, relates purpose statements, static code analysis features, and natural language background knowledge. ProcedureSpace can search for code given statements of purpose or vice versa, and can find code that was never annotated or commented. Since completed Zones searches become annotations, system coverage grows with user interaction. Users in a preliminary study found that reasoning jointly over natural language and programming language helped them reuse code.

show abstract

“…Natural language definitions of protocol semantics are intuitive, but they are inherent ambiguities. By using programmatic semantics [13] together with animations, representational flexibility of different protocol demonstration is retained for as long as it is needed.…”

Section: Natural Language Protocol Specifications (Nlps)mentioning

confidence: 99%

Animation of Natural Language Specifications of Authentication Protocols

Mayouf¹,

Shukur²

2008

J. of Computer Science

View full text Add to dashboard Cite

Problem Statement:A few visualization tools have been created for protocol design and analysis. Although these tools provide an environment for designing security protocols, each one has its own protocol definition language (its also called informal specification language). The problem is that the user should understand the language which related to the used tool in order to define an exist protocol or design a new one. For specification, a language needs to be intuitive as well as easily usable and understandable by the security protocol engineer. It must be able to precisely and unambiguously specify the behavior of security protocol. Approach: In this study, we propose an approach for protocol specification based on the Natural language definitions of protocol semantics. By using programmatic semantics together with animations, representational flexibility of different protocol demonstration is retained for as long as it is needed. Result: This study provides an environment that can be used by protocols designers to develop and investigate different scenarios of security protocols especially authentication protocols. Natural Language Protocol Specifications (NLPS) approach is used to define the protocol. The environment accepts the natural language text of protocol specifications and converts it to animations of protocol behavior. Conclusions/Recommendations: NLPS environment can really help protocol designer to consider and investigate the behavior of security protocols. It can also be used for teaching-learning security protocol concepts. In further, we will consider the possibility of analyzing security protocols using our NLPS environment and animation techniques in order to improve the correctness; that is determining whether or not the intended security properties of a protocol do hold.

show abstract

Programmatic semantics for natural language interfaces

Cited by 36 publications

References 6 publications

Automated Software Testing Frameworks: A Review

Automated Software Testing Frameworks: A Review

Managing ambiguity in programming by finding unambiguous examples

Animation of Natural Language Specifications of Authentication Protocols

Contact Info

Product

Resources

About