1760 search results - page 7 / 352 » A System to Mark Programs Automatically |
176
click to vote
CC
2003
Springer
15 years 11 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. ...
171
Voted
ISSTA
2009
ACM
16 years 10 days 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 ...
99
Voted
ACE
2003
15 years 7 months ago
2003
146
Voted
ICAC
2005
IEEE
15 years 11 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...