3031 search results - page 75 / 607 » Model Driven Testing Based on Test History |
110
Voted
ICSE
2007
IEEE-ACM
16 years 21 days ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
103
click to vote
SAC
2000
ACM
15 years 5 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
103
Voted
FATES
2004
Springer
15 years 6 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
115
click to vote
MSWIM
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
124
click to vote
TVLSI
2008
15 years 15 days ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...