Sciweavers

5547 search results - page 469 / 1110
» Software Variability Management
Sort
View
ICSE
2009
IEEE-ACM
15 years 4 months ago
Improving conflict resolution in model versioning systems
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...
Petra Broschy
SCAM
2008
IEEE
16 years 1 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
ACMSE
2006
ACM
16 years 26 days ago
Framework design using function generalization: a binary tree traversal case study
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
H. Conrad Cunningham, Yi Liu, Pallavi Tadepalli
ICSE
1994
IEEE-ACM
15 years 11 months ago
TestTube: A System for Selective Regression Testing
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
Yih-Farn Chen, David S. Rosenblum, Kiem-Phong Vo
AOSD
2007
ACM
15 years 11 months ago
ATOLL: aspect-oriented toll system
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
Luis Daniel Benavides Navarro, Christa Schwanninge...