129 search results - page 26 / 26 » Quantitative and Qualitative Aspects of Object-Oriented Soft... |
126
click to vote
PLDI
2011
ACM
14 years 10 days ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
RTCSA
1999
IEEE
15 years 1 months ago
1999
IEEE
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
BMCBI
2006
14 years 9 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...