6171 search results - page 124 / 1235 » The FrameNet Data and Software |
114
Voted
ICARIS
2007
Springer
15 years 8 months ago
2007
Springer
We present an Immune Inspired Algorithm, based on CLONALG, for software test data evolution. Generated tests are evaluated using the mutation testing adequacy criteria, and used to...
108
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
114
Voted
ICPP
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
107
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Software engineering is plagued by problems associated with unreliable cost estimates. This paper introduces an approach to sensitivity analysis for requirements engineering. It u...
131
Voted
IADIS
2008
15 years 4 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...