3311 search results - page 601 / 663 » Deductive Object Programming |
170
Voted
ICST
2010
IEEE
15 years 22 days ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
122
Voted
IEE
2010
15 years 21 days ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...
128
Voted
INFOCOM
2010
IEEE
15 years 20 days ago
2010
IEEE
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...
118
Voted
NOMS
2010
IEEE
15 years 19 days ago
2010
IEEE
—MapReduce is a data-driven programming model proposed by Google in 2004 which is especially well suited for distributed data analytics applications. We consider the management o...
126
Voted
OOPSLA
2010
Springer
15 years 19 days ago
2010
Springer
Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, howeve...