17. ISSRE 2006: Raleigh, North Carolina, USA

17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA. IEEE Computer Society 2006 BibTeX

Keynotes

C. V. Ramamoorthy:
Disaster Hardening for Software Systems. 3-4
Electronic Edition (link) BibTeX
Carl Kessler:
A Perspective on Software Consumability. 5
Electronic Edition (link) BibTeX
Gary McGraw:
Software Security: Building Security In. 6
Electronic Edition (link) BibTeX

Testing I

Marc Fisher II, Gregg Rothermel, Tyler Creelan, Margaret M. Burnett:
Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets. 13-22
Electronic Edition (link) BibTeX
Wes Masri, Nagi Nahas, Andy Podgurski:
Memoized Forward Computation of Dynamic Slices. 23-32
Electronic Edition (link) BibTeX
Scott McMaster, Atif M. Memon:
Call Stack Coverage for GUI Test-Suite Reduction. 33-44
Electronic Edition (link) BibTeX

Metrics

Vibhu Saujanya Sharma, Pankaj Jalote:
Stabilization Time - A Quality Metric for Software Products. 45-51
Electronic Edition (link) BibTeX
Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi:
Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes. 52-61
Electronic Edition (link) BibTeX
Nachiappan Nagappan, Thomas Ball, Brendan Murphy:
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. 62-74
Electronic Edition (link) BibTeX

Testing II

Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zhang:
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. 75-84
Electronic Edition (link) BibTeX
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon:
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. 85-94
Electronic Edition (link) BibTeX
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France:
A Systematic Approach to Generate Inputs to Test UML Design Models. 95-104
Electronic Edition (link) BibTeX
Besnik Seljimi, Ioannis Parissis:
Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. 105-116
Electronic Edition (link) BibTeX

Security

Nick Bartlow, Bojan Cukic:
Evaluating the Reliability of Credential Hardening through Keystroke Dynamics. 117-126
Electronic Edition (link) BibTeX
Xiaoling Cui, Lei Li, Jun Wei:
A Novel SOAP Attachment-Oriented Security Model. 127-135
Electronic Edition (link) BibTeX
Ben Breech, Mike Tegtmeyer, Lori L. Pollock:
An Attack Simulator for Systematically Testing Program-based Security Mechanisms. 136-145
Electronic Edition (link) BibTeX
Ashish Aggarwal, Pankaj Jalote:
Monitoring the Security Health of Software Systems. 146-158
Electronic Edition (link) BibTeX

Testing III

Qing Xie, Atif M. Memon:
Studying the Characteristics of a "Good" GUI Test Suite. 159-168
Electronic Edition (link) BibTeX
Jon S. Bækken, Roger T. Alexander:
A Candidate Fault Model for AspectJ Pointcuts. 169-178
Electronic Edition (link) BibTeX
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs. 179-190
Electronic Edition (link) BibTeX

Experience Reports I

Ram Chillarege, P. Santhanam:
"Tail-Splitting" to Predict Failing Software Modules - with a Case Study on an Operating Systems Product. 191-196
Electronic Edition (link) BibTeX
Katerina Goseva-Popstojanova, Margaret Hamill, Xuan Wang:
Adequacy, Accuracy, Scalability, and Uncertainty of Architecture-based Software Reliability: Lessons Learned from Large Empirical Case Studies. 197-203
Electronic Edition (link) BibTeX
Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball:
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. 204-212
Electronic Edition (link) BibTeX

Experience Reports II

Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa:
Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems. 213-220
Electronic Edition (link) BibTeX
Michael Mortensen, Sudipto Ghosh, James M. Bieman:
Testing During Refactoring: Adding Aspects to Legacy Systems. 221-230
Electronic Edition (link) BibTeX
Eduardo Aranha, Paulo Borba, José Lima:
Model Simulation for Test Execution Capacity Estimation. 231-236
Electronic Edition (link) BibTeX
Paola Bracchi, Bojan Cukic, Vittorio Cortellessa:
Modeling the Performance of Border Inspections with Electronic Travel Documents. 237-246
Electronic Edition (link) BibTeX

Testing IV

Hiroyuki Okamura, Hitoshi Furumura, Tadashi Dohi:
On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach. 247-255
Electronic Edition (link) BibTeX
Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez:
A State Exploration-Based Approach to Testing Java Monitors. 256-265
Electronic Edition (link) BibTeX
Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori L. Pollock:
Web Application Testing with Customized Test Requirements - An Experimental Comparison Study. 266-278
Electronic Edition (link) BibTeX

Modeling I

Lin Zuo, Shaohua Liu, Jun Wei:
Combining Replication with Transaction Processing for Enhanced Reliability in J2EE. 279-288
Electronic Edition (link) BibTeX
Hiroyuki Okamura, Tadashi Dohi:
Building Phase-Type Software Reliability Models. 289-298
Electronic Edition (link) BibTeX
Vibhu Saujanya Sharma, Kishor S. Trivedi:
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs. 299-310
Electronic Edition (link) BibTeX

Static and Dynamic Analysis

Mithun Acharya, Tao Xie, Jun Xu:
Mining Interface Specifications for Generating Checkable Robustness Properties. 311-320
Electronic Edition (link) BibTeX
David Owen, Dejan Desovski, Bojan Cukic:
Effectively Combining Software Verification Strategies: Understanding Different Assumptions. 321-330
Electronic Edition (link) BibTeX
Madeline Diep, Myra Cohen, Sebastian G. Elbaum:
Probe Distribution Techniques to Profile Events in Deployed Software. 331-342
Electronic Edition (link) BibTeX

Modeling II

Omar H. Alhazmi, Yashwant K. Malaiya:
Measuring and Enhancing Prediction Capabilities of Vulnerability Discovery Models for Apache and IIS HTTP Servers. 343-352
Electronic Edition (link) BibTeX
Swapna S. Gokhale, Robert E. Mullen:
Queuing Models for Field Defect Resolution Process. 353-362
Electronic Edition (link) BibTeX
Jesse Fletcher, Jane Cleland-Huang:
Softgoal Traceability Patterns. 363-374
Electronic Edition (link) BibTeX

Tools

Mark Sherriff, Laurie Williams:
DevCOP: A Software Certificate Management System for Eclipse. 375-384
Electronic Edition (link) BibTeX
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo:
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. 385-394
Electronic Edition (link) BibTeX