1489 search results - page 58 / 298 » The First Bug Report |
168
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
225
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
147
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
119
click to vote
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts,...
159
click to vote
ERSHOV
2009
Springer
15 years 1 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...