4079 search results - page 560 / 816 » Differential Testing for Software |
139
Voted
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
161
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...
394
click to vote
IWQOS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—Cloud systems provide a cost-effective service hosting infrastructure for application service providers (ASPs). However, cloud systems are often shared by multiple tenan...
150
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
130
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...