2774 search results - page 79 / 555 » Query-Driven Program Testing |
ACSE
1997
ACM
14 years 2 months ago
1997
ACM
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
PLDI
2012
ACM
12 years 17 days ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
IEEEPACT
2006
IEEE
14 years 4 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...