Sciweavers

3544 search results - page 357 / 709
» Software Testing
Sort
View
SIGSOFT
2009
ACM
16 years 1 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
FSTTCS
2009
Springer
16 years 1 months ago
The Power of Depth 2 Circuits over Algebras
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
Chandan Saha, Ramprasad Saptharishi, Nitin Saxena
ISESE
2006
IEEE
16 years 21 days ago
A literature survey of the quality economics of defect-detection techniques
Over the last decades, a considerable amount of empirical knowledge about the efficiency of defect-detection techniques has been accumulated. Also a few surveys have summarised th...
Stefan Wagner
ISSTA
2006
ACM
16 years 20 days ago
A model and sensitivity analysis of the quality economics of defect-detection techniques
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...
Stefan Wagner
PASTE
2010
ACM
15 years 11 months ago
Expect the unexpected: error code mismatches between documentation and the real world
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
Cindy Rubio-González, Ben Liblit