Sciweavers

4079 search results - page 472 / 816
» Differential Testing for Software
Sort
View
SEFM
2007
IEEE
15 years 11 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
RE
2007
Springer
15 years 11 months ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
PLDI
2006
ACM
15 years 11 months ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
Mayur Naik, Alex Aiken, John Whaley
HICSS
2005
IEEE
125views Biometrics» more  HICSS 2005»
15 years 10 months ago
A Preliminary Analysis of the Influences of Licensing and Organizational Sponsorship on Success in Open Source Projects
This paper develops and tests a model of the impact of licensing restrictiveness and organizational sponsorship on the popularity and vitality of open source software (OSS) develo...
Katherine J. Stewart, Anthony P. Ammeter, Likoebe ...
SAC
2005
ACM
15 years 10 months ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi