Sciweavers

1217 search results - page 126 / 244
» Directions in Software Development and Maintenance
Sort
View
VSTTE
2005
Springer
15 years 3 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
SIGSOFT
2007
ACM
15 years 10 months ago
Recommending random walks
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
Zachary M. Saul, Vladimir Filkov, Premkumar T. Dev...
VLDB
2007
ACM
130views Database» more  VLDB 2007»
15 years 10 months ago
A framework for efficient regression tests on database applications
Regression testing is an important software maintenance activity to ensure the integrity of a software after modification. However, most methods and tools developed for software te...
Florian Haftmann, Donald Kossmann, Eric Lo
ECLIPSE
2006
ACM
15 years 3 months ago
Visualization of clone detection results
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
Robert Tairas, Jeff Gray, Ira D. Baxter
ICSM
2005
IEEE
15 years 3 months ago
Call Stack Coverage for Test Suite Reduction
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
Scott McMaster, Atif M. Memon