9006 search results - page 85 / 1802 » Modeling Software |
116
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
109
click to vote
ISSE
2010
15 years 24 days ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
144
Voted
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
117
Voted
SCAM
2009
IEEE
15 years 9 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
100
click to vote
IASTEDSE
2004
15 years 3 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...