4079 search results - page 412 / 816 » Differential Testing for Software |
173
click to vote
OOPSLA
2007
Springer
16 years 11 days ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
169
Voted
ACL2
2006
ACM
16 years 7 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
157
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
152
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
128
click to vote
ACE
2004
15 years 7 months ago
2004
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...