Sciweavers

4683 search results - page 365 / 937
» Software Release Management
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
An empirical study of regression test application frequency
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...
Jung-Min Kim, Adam A. Porter, Gregg Rothermel
CAV
2008
Springer
139views Hardware» more  CAV 2008»
15 years 9 months ago
CSIsat: Interpolation for LA+EUF
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
Dirk Beyer, Damien Zufferey, Rupak Majumdar
BMCBI
2007
151views more  BMCBI 2007»
15 years 7 months ago
Minimus: a fast, lightweight genome assembler
Background: Genome assemblers have grown very large and complex in response to the need for algorithms to handle the challenges of large whole-genome sequencing projects. Many of ...
Daniel D. Sommer, Arthur L. Delcher, Steven L. Sal...
DSOM
1999
Springer
15 years 11 months ago
Integrating Service and Network Management Components for Service Fulfilment
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...
David Lewis, Chris Malbon, George Pavlou, Costas S...
EDOC
1997
IEEE
15 years 11 months ago
Interactive Configuration Management for Distributed Object Systems
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
Halldor Fosså, Morris Sloman