1760 search results - page 7 / 352 » A System to Mark Programs Automatically |
110
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
140
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
133
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
79
Voted
ACE
2003
15 years 4 months ago
2003
106
click to vote
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
We present an architecture for and prototype of a system for quickly detecting software problem recurrences. Re-discovery of the same problem is very common in many large software...