Sciweavers

16 search results - page 1 / 4
» Reliable Mining of Automatically Generated Test Cases from S...
Sort
View
CORR
2010
Springer
171views Education» more  CORR 2010»
13 years 4 months ago
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
Lilly Raamesh, G. V. Uma
JOT
2007
277views more  JOT 2007»
13 years 4 months ago
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
Cristina Vicente-Chicote, Begoña Moros, Jos...
ICSE
2004
IEEE-ACM
14 years 4 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
SSIRI
2010
13 years 8 months ago
An Industrial Case Study on Speeding Up User Acceptance Testing by Mining Execution Logs
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
Zhen Ming Jiang, Alberto Avritzer, Emad Shihab, Ah...
ICST
2009
IEEE
13 years 2 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...