926 search results - page 27 / 186 » Tool Support for Statistical Testing of Software Components |
KBSE
1998
IEEE
14 years 18 days ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
GROUP
2007
ACM
14 years 6 days ago
2007
ACM
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...
ICECCS
2000
IEEE
14 years 22 days ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
EMSOFT
2006
Springer
14 years 13 hour ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...