Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Technological advancement in the Internet and other areas of communication have made the idea of collaborative projects with other people who might be physically located on separa...
Maryam Purvis, Martin K. Purvis, Stephen Cranefiel...
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mar...
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
James D. Herbsleb, Audris Mockus, Thomas A. Finhol...