Sciweavers

1350 search results - page 55 / 270
» Is there a future for empirical software engineering
Sort
View
ISSRE
2007
IEEE
13 years 10 months ago
Prioritization of Regression Tests using Singular Value Decomposition with Empirical Change Records
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
Mark Sherriff, Mike Lake, Laurie Williams
ESEM
2007
ACM
14 years 21 days ago
Static Members and Cycles in Java Software
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
Hayden Melton, Ewan D. Tempero
ICSR
2009
Springer
13 years 6 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...
ISESE
2002
IEEE
14 years 1 months ago
Conducting Realistic Experiments in Software Engineering
An important goal of most empirical software engineering research is the transfer of research results to industrial applications. Two important obstacles for this transfer are the...
Dag I. K. Sjøberg, Bente Anda, Erik Arishol...
SIGSOFT
2010
ACM
13 years 3 months ago
Thoughts on automated software design and synthesis
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
Don S. Batory