15777 search results - page 2688 / 3156 » The Reformulation-Optimization Software Engine |
210
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
157
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
155
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
This article describes the status and analyses the challenges of mobile application development, proposed a frame of component-based hierarchical development. Software is divided ...
130
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
139
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...