122
Voted
ISSTA
15 years 7 months ago
2009 ACM 
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
116
click to vote
ISSTA
15 years 7 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 ...
110
click to vote
ISSTA
15 years 7 months ago
2009 ACM 
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
ISSTA
15 years 7 months ago
2009 ACM 
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
115
click to vote
ISSTA
15 years 7 months ago
2009 ACM 
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
|
Software Engineering