1799 search results - page 200 / 360 » The Logic of Correctness in Software Engineering |
163
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
154
click to vote
ESEM
2009
ACM
15 years 9 months ago
2009
ACM
Existing studies on problem reports in open source projects focus primarily on the analysis of the general category of problem reports, or limit their attention to observations on...
192
click to vote
COMPSAC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
142
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
160
click to vote
WCRE
2007
IEEE
16 years 25 days ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...