Sciweavers

ICSE
2005
IEEE-ACM
14 years 4 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
ICSE
2005
IEEE-ACM
14 years 4 months ago
Process issues in course projects
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
Wilson P. Paula Filho
ICSE
2005
IEEE-ACM
14 years 4 months ago
Clinical requirements engineering
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
Stephen Fickas
ICSE
2005
IEEE-ACM
14 years 4 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
ICSE
2005
IEEE-ACM
14 years 4 months ago
The groupthink specification exercise
Michael D. Ernst, John Chapin
ICSE
2005
IEEE-ACM
14 years 4 months ago
Testing database transactions with AGENDA
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
Yuetang Deng, Phyllis G. Frankl, David Chays
ICSE
2005
IEEE-ACM
14 years 4 months ago
Data structure repair using goal-directed reasoning
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
Brian Demsky, Martin C. Rinard
ICSE
2005
IEEE-ACM
14 years 4 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis