1689 search results - page 193 / 338 » Empirical Methodologies in Software Engineering |
ESAW
2000
Springer
15 years 5 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
133
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
114
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...
113
click to vote
SCAM
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...