732 search results - page 40 / 147 » Automated Test Generation from Models Based on Functional So... |
TOSEM
1998
13 years 7 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
BMCBI
2005
13 years 7 months ago
2005
Background: Many protein families have undergone functional divergence after gene duplications such that current subgroups of the family carry out overlapping but distinct biologi...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
DSVIS
2003
Springer
14 years 24 days ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...