NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Software Engineering and Knowledge Engineering

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Natural Language Understanding

  2009cited by this paper
• Towards Anti-Model-based Testing

  2004cited by this paper
• Feature-Rich Part-of-Speech Tagging with a Cyclic Dependency Network

  2003influential reference
• PDC: Persistent Data Collections pattern

  2001cited by this paper
• Handbook of Natural Language Processing

  2001cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• The Berkeley FrameNet Project

  1998cited by this paper
• NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA

  1996influential reference
• Generating VHDL models from natural language descriptions

  1994cited by this paper
• Reasoning by analogy and causality: a model and application

  1994cited by this paper
• A translation method from natural language specifications into formal specifications using contextual dependencies

  1993influential reference
• FRAME SEMANTICS AND THE NATURE OF LANGUAGE *

  1976cited by this paper
• The Phrasal Lexicon

  1975cited by this paper

• Automated Test Case Generation from Unstructured Software Requirements Using Advanced NLP Techniques

  2025cites this paper
• ChatGPT and Human Synergy in Black-Box Testing: A Comparative Analysis

  2024cites this paper
• NLP-assisted software testing: A systematic mapping of the literature

  2018cites this paper
• Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction

  2015cites this paper
• Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot. (From natural language specifications to formal specifications via an ontology as a pivot model)

  2014cites this paper
• A formalization for mapping discourses from business-based technical documents into controlled language texts for requirements elicitation

  2014cites this paper
• Software Testing: A Review

  2013cites this paper
• Testing interruptions in reactive systems

  2012cites this paper
• Teste baseado em modelos simbólicos para sistemas de tempo real

  2011cites this paper
• The ucsCNL: A Controlled Natural Language for Use Case Specifications

  2011cites this paper
• Estimating test execution effort based on test specifications

  2009cites this paper
• Unificando Modelos de Casos de Teste e de

  2008cites this paper
• Unifying Models of Test Cases and Requirements

  2008cites this paper
• Automated formal specification generation and refinement from requirement documents

  2008influential citation
• Guided Test Generation from CSP Models

  2008cites this paper
• Modelling and Integrating Formal Models: from Test Cases and Requirements Models

  2007cites this paper
• Test Effort Estimation Models Based on Test Specifications

  2007cites this paper
• Empirical Studies of Test Execution Effort Estimation Based on Test Characteristics and Risk Factors

  2007cites this paper
• An Estimation Model for Test Execution Effort

  2007cites this paper
• Measuring Test Execution Complexity

  2006cites this paper
• Formal Specification Generation from Requirement Documents

  2006influential citation