4079 search results - page 471 / 816 » Differential Testing for Software |
134
click to vote
APL
1998
ACM
15 years 10 months ago
1998
ACM
This article describes our experience with test suites and automated branch coverage tools for APL software maintenance, based on our use of them to verify Y2K compliance of an AP...
136
click to vote
AMC
2007
15 years 6 months ago
2007
This short note explains how to use ready-to-use components of symbolic software to convert between the free cumulants and the moments of measures without sophisticated programming...
223
click to vote
AOSD
2012
ACM
14 years 1 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
181
click to vote
EUROMICRO
2009
IEEE
16 years 23 days ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
167
click to vote
AINA
2007
IEEE
16 years 11 days ago
2007
IEEE
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...