Sciweavers

5180 search results - page 243 / 1036
» Requirements Engineering
Sort
View
BMCBI
2010
134views more  BMCBI 2010»
15 years 5 months ago
ScreenMill: A freely available software suite for growth measurement, analysis and visualization of high-throughput screen data
Background: Many high-throughput genomic experiments, such as Synthetic Genetic Array and yeast two-hybrid, use colony growth on solid media as a screen metric. These experiments ...
John C. Dittmar, Robert J. D. Reid, Rodney Rothste...
EMSOFT
2005
Springer
15 years 11 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
15 years 10 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
117
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
Fragment Class Analysis for Testing of Polymorphism in Java Software
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
ICSR
2009
Springer
16 years 3 days ago
Feature-Driven and Incremental Variability Generalization in Software Product Line
In the lifecycle of a software product line (SPL), incremental generalization is usually required to extend the variability of existing core assets to support the new or changed ap...
Liwei Shen, Xin Peng, Wenyun Zhao