Sciweavers

900 search results - page 68 / 180
» Object-Oriented Software Testing: Some Research and Developm...
Sort
View
ISSTA
2010
ACM
15 years 5 months ago
Automatic detection of unsafe component loadings
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
Taeho Kwon, Zhendong Su
FAC
2006
122views more  FAC 2006»
15 years 1 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
ISSTA
2010
ACM
15 years 5 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov
CHI
2005
ACM
16 years 1 months ago
Community source development: an emerging model with new opportunities
This paper focuses on an emerging model for software development in higher education: community source. Community source seeks to blend aspects of both open source and traditional...
Dawn Ressel Nidy, Fong Kwok
ECIS
2000
15 years 2 months ago
Software Process Management: An Organizational Learning Perspective
We draw from the quality management and organizational learning literatures to develop a descriptive model of software process management. These literature streams suggest that the...
Thiagarajan Ravichandran, Arun Rai