On the generation of requirements specifications from software engineering models: A systematic literature review
System and software requirements documents play a crucial role in software engineering in
that they must both communicate requirements to clients in an understandable manner and …
that they must both communicate requirements to clients in an understandable manner and …
A review on security requirements specification by formal methods
Security is an afterthought process for the development of software in earlier days but now
the time has been changed. Now, security is on top priority and involved from the beginning …
the time has been changed. Now, security is on top priority and involved from the beginning …
On the use of a similarity function for test case selection in the context of model‐based testing
EG Cartaxo, PDL Machado… - … Testing, Verification and …, 2011 - Wiley Online Library
Test case selection in model‐based testing is discussed focusing on the use of a similarity
function. Automatically generated test suites usually have redundant test cases. The reason …
function. Automatically generated test suites usually have redundant test cases. The reason …
DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development
In times of ever-growing system complexity and thus increasing possibilities for errors, high-
quality requirements are crucial to prevent design errors in later project phases and to …
quality requirements are crucial to prevent design errors in later project phases and to …
Automatic validation and correction of formalized, textual requirements
J Holtmann, J Meyer… - 2011 IEEE Fourth …, 2011 - ieeexplore.ieee.org
Nowadays requirements are mostly specified in unrestricted natural language so that each
stakeholder understands them. To ensure high quality and to avoid misunderstandings, the …
stakeholder understands them. To ensure high quality and to avoid misunderstandings, the …
Generating executable scenarios from natural language
M Gordon, D Harel - … Conference on Intelligent Text Processing and …, 2009 - Springer
Bridging the gap between the specification of software requirements and actual execution of
the behavior of the specified system has been the target of much research in recent years …
the behavior of the specified system has been the target of much research in recent years …
Guided test generation from CSP models
We introduce an approach for the construction of feature test models expressed in the CSP
process algebra, from use cases described in a controlled natural language. From these …
process algebra, from use cases described in a controlled natural language. From these …
Full modification coverage through automatic similarity-based test case selection
Context: This paper presents the similarity approach for regression testing (SART), where a
similarity-based test case selection technique (STCS) is used in a model-based testing …
similarity-based test case selection technique (STCS) is used in a model-based testing …
[图书][B] Testing techniques in software engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 …
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series
of events devoted to the study of advanced computer science and to the promotion of …
of events devoted to the study of advanced computer science and to the promotion of …
Semantic Requirements Construction using Ontologies and Boilerplates
C Antoniou, K Kravari, N Bassiliades - Data & Knowledge Engineering, 2024 - Elsevier
This paper presents a combination of an ontology and boilerplates, which are requirements
templates for the syntactic structure of individual requirements that try to alleviate the …
templates for the syntactic structure of individual requirements that try to alleviate the …