Author Index - IEEE Computer Society · Experience Report: Model-based Testing of NASA’s OSAL API Cukic, Bojan ... A Case Study of the Eclipse Project Author Index file:///L:

AAbreu, RuiCues for Scent Intensification in Debugging

Adler, RasmusSafety assessment of software-intensive medical devices

Ali, ShaukatExperience Report: Assessing the Reliability of an Industrial Avionics Software: Results, Insights andRecommendations

Alipour, Mohammad AminHelp, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing

Alonso, JavierFailure data analytics to build failure prediction mechanisms

Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques

Amiar, AzzeddineSingle-Trace Fault Localization in Embedded Software

Andrzejak, ArturOn the Effectiveness of Mann-Kendall Test for Detection of Software Aging

Antunes, NunoA Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services

Apte, VarshaRequest Success Rate of Multipathing I/O with a Paired Storage Controller

Arcuri, AndreaImproving Search-based Test Suite Generation with Dynamic Symbolic Execution

Arshad, FahadCharacterizing Configuration Problems in Java EE Application Servers: An Empirical Study withGlassFish and JBoss

Avritzer, AlbertoDesign of Distribution Automation Networks Using Survivability Modeling and Power Flow Equations

BBagchi, SaurabhCharacterizing Configuration Problems in Java EE Application Servers: An Empirical Study withGlassFish and JBoss

Author Index file:///L:/JOBS/55479 IEEE ISSRE/55479 HTML Flash Drive/HTML/da...

1 of 22 12/5/2013 3:33 PM

Author Index

Balasubramani, UmaSmart Defect Classification for Better Analysis using Tagging Mechanisms

Ballerini, StefanoSoftware Rejuvenation Impacts on a Phased-Mission System for Mars Exploration

Banerjee, SeanA Fusion Approach For Classifying Duplicate Problem Reports

Barbosa, RicardoReference Architecture for High Dependability On-Board Computers

Beckers, KristianA Structured and Model-Based Hazard Analysis and Risk Assessment Method for AutomotiveSystems

Berger, ChristianEvaluating long-term Predictive Power of Standard Reliability Growth Models on Automotive Systems

Bhat, ThirumaleshPredicting Risk of Pre-Release Code Changes with CheckinMentor

Bieman, JamesUsing Machine Learning Techniques to Detect Metamorphic Relations for Programs without TestOracles

Bishop, PeterCombining Testing and Proof to Gain High Assurance in Software: a Case Study

Bissyandé, Tegawendé F.Got Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub

Bloomfield, RobinCombining Testing and Proof to Gain High Assurance in Software: a Case Study

Bondavalli, AndreaA Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services

Bovenzi, AntonioTowards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques

Brancati, FrancescoA Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services

Briand, LionelStress Testing of Task Deadlines: A Constraint Programming Approach

Buonanno, FernandaRequirements Engineering in Rail Transit Production: an Experience Report

CCarlson, JanStrong and Weak Contract Formalism for Third-Party Component Reuse


2 of 22 12/5/2013 3:33 PM

Carnevali, LauraSoftware Rejuvenation Impacts on a Phased-Mission System for Mars Exploration

Carver, JeffreyUsing Error Information to Improve Software Quality

CarverUsing , JeffreyUsing Capture-Recapture Models for Make Objective Post-Inspection Decisions

Ceccarelli, AndreaQualitative comparison of aerospace standards: an objective approach

A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services

Chen, LinboProgram Behavior Characterization and Clustering : An Empirical Study for Failure Clustering

Chen, LiqianFinding Related Events for Specification Mining

Chen, YangHelp, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing

Chen, ZhenyuAn Empirical Study on Clustering for Isolating Bugs in Fault Localization

Chillarege, RamUsing ODC to diagnose an Agile Enterprise Application Development Project

Comparing Four Case Studies on Bohr-Mandel Characteristics using ODC

Chulani, SunitaPredicting Field Experience of Releases on Specific Platforms

Cortellessa, VittorioQuantifying the Influence of Failure Repair/Mitigation Costs on Service-Based Systems

Cotroneo, DomenicoPerformance Degradation Analysis of a Supercomputer

Experience Report: Empirical Investigation of Fault Triggers in Open-Source Software

Couture, MarioMonitoring System Calls for Anomaly Detection in Modern Operating Systems

A Host-based Anomaly Detection Approach by Representing System Calls as States of KernelModules

Cudmore, AlanExperience Report: Model-based Testing of NASA’s OSAL API

Cukic, BojanA Fusion Approach For Classifying Duplicate Problem Reports

Cukier, MichelA Study of the Relationship Between Antivirus Regressions and Label Changes

Cyra, LukaszCombining Testing and Proof to Gain High Assurance in Software: a Case Study


3 of 22 12/5/2013 3:33 PM

Czerwonka, JacekPredicting Risk of Pre-Release Code Changes with CheckinMentor

DDai, ZiyingFinding Related Events for Specification Mining

Dalmadge, GaryMedical Device Software Risk Assessment Requires Cross Functional Personnel

Davies, StevenBug localisation through diverse sources of information

Day, JohnFault-Class-Aware Fault Tree Generation and Analysis

De Paulo Sobrinho, Elder VicenteOn the Effectiveness of Mann-Kendall Test for Detection of Software Aging

Delahaye, MickaëlSingle-Trace Fault Localization in Embedded Software

Demsky, BrianSInfer: Inferring Information Flow Lattices for Checking Self-Stabilization

Deng, LinExperience Report: Is Bytecode Instrumentation as Good as Source Code Instrumentation: AnEmpirical Study With Industrial Tools

Dewan, HrishikeshDesign of a Dependable Peer-to-Peer System for Numerical Optimization

Dey, SandipanFailure data analytics to build failure prediction mechanisms

Di Alesio, StefanoStress Testing of Task Deadlines: A Constraint Programming Approach

Di Leo, DomenicoRequirements Engineering in Rail Transit Production: an Experience Report

Di Paolo, PaoloRequirements Engineering in Rail Transit Production: an Experience Report

Dohi, TadashiCharacteristic Analysis of Quantitative Definition of

Estimating Response Time Distribution of Server Application in Software Aging Phenomenon

Experience Report: SRATS: Software Reliability Assessment Tool on Spreadsheet

Quantifying Software Test Process and Product Reliability Simultaneously

Dong, ZhenAutomated Diagnosis of Software Misconfigurations Based on Static Analysis


4 of 22 12/5/2013 3:33 PM

du Bousquet, LydieSingle-Trace Fault Localization in Embedded Software

EEberhardinger, BenediktModel-driven Synthesis of Monitoring Infrastructure for Reliable Adaptive Multi-Agent Systems

Eide, EricHelp, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing

Enagandula, GangadharRequest Success Rate of Multipathing I/O with a Paired Storage Controller

Eom, Yong hunSInfer: Inferring Information Flow Lattices for Checking Self-Stabilization

Eskandari, ShayanMonitoring System Calls for Anomaly Detection in Modern Operating Systems

Esper, AlexandreReference Architecture for High Dependability On-Board Computers

Eveleigh, TimothyComparative analysis of Bayesian and classical approaches for software reliability measurement

FFadel, AlineAutomating Software Validation of a GPON Network

Falcone, YlièsSingle-Trace Fault Localization in Embedded Software

Falessi, DavideAutomated Classification of NASA Anomalies Using Natural Language Processing Techniques

Fard, Amin MilaniFeedback-directed Exploration of Web Applications to Derive Test Models

Feldt, RobertFinding Test Data with Specific Properties via Metaheuristic Search

Feng, YangAn Empirical Study on Clustering for Isolating Bugs in Fault Localization

Fesq, LorraineFault-Class-Aware Fault Tree Generation and Analysis

Filho, Djalma De Melo CarvalhoSafety assessment of software-intensive medical devices

Förster, Marc


5 of 22 12/5/2013 3:33 PM

Conditional software specification & assurance - A practical assessment of contract-basedapproaches

Fraser, GordonImproving Search-based Test Suite Generation with Dynamic Symbolic Execution

Search-based Data-flow Test Generation

Frattini, FlavioPerformance Degradation Analysis of a Supercomputer

Frese, ThomasA Structured and Model-Based Hazard Analysis and Risk Assessment Method for AutomotiveSystems

GGaleotti, Juan PabloImproving Search-based Test Suite Generation with Dynamic Symbolic Execution

Gallina, BarbaraStrong and Weak Contract Formalism for Third-Party Component Reuse

Galster, MatthiasExploring Possiblities to Analyse Microblogs for Dependability Information in Variability-intensiveOpen Source Software Systems

Ganesan, DharmalingamAn Initial Evaluation of Model-Based Testing

Experience Report: Model-based Testing of NASA’s OSAL API

Ganesan, RajeshwariIdentifying Silent Failures of SaaS services using Finite State Machine based Invariant Analysis

Keep It Moving: Proactive Optimal Workload Management for Reducing SLA Violations in Large ScaleSaaS Clouds

Gao, YichaoCoincidental Correctness: an Interference or Interface to Successful Fault Localization?

Garrett, PaulMedical Device Software Risk Assessment Requires Cross Functional Personnel

Gashi, IlirA Study of the Relationship Between Antivirus Regressions and Label Changes

Ghanavati, MohammadrezaScalable Isolation of Failure-Inducing Changes via Version Comparison

Ghandehari, Laleh Shikh GholamhosseinFault Localization Based on Failure-Inducing Combinations

Ghazarian, ArbiDetection of Missing Software Requirements Using Base Requirement Pairs

Ghosh, Sudipto


6 of 22 12/5/2013 3:33 PM

Constructing Subtle Higher Order Mutants for Java and AspectJ Programs

Goel, GeetikaIdentifying Silent Failures of SaaS services using Finite State Machine based Invariant Analysis

Gong, XuewenA Statistical Approach for Software Resource Leak Detection and Prediction

Gong, YunzhanImproving the Accuracy of Static Analysis Based on State Partition

Gorla, AlessandraSearch-based Data-flow Test Generation

Goswami, AnuragAn Empirical Study of the Effect of Learning Styles on the Faults found during the SoftwareInspection

Gotlieb, ArnaudStress Testing of Task Deadlines: A Constraint Programming Approach

Goyal, DeveshPredicting Field Experience of Releases on Specific Platforms

Granger, AlfredMedical Device Software Risk Assessment Requires Cross Functional Personnel

Grigorova, SilviyaTaking a Page from the Law Books: Considering Evidence Weight in Evaluating Assurance CaseConfidence

Groce, AlexHelp, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing

Grottke, MichaelExperience Report: Empirical Investigation of Fault Triggers in Open-Source Software

Guan, HaibingAutomatically Triaging for Fault Localization in Multithreaded Program

Gudmundsson, VignirAn Initial Evaluation of Model-Based Testing

Gupta, RajivRelevant Inputs Analysis and its Applications

Gupta, RkImproving reliability of data protection software with integrated multilayered fault Injection testing

HHamou-Lhadj, AbdelwahabMonitoring System Calls for Anomaly Detection in Modern Operating Systems

A Host-based Anomaly Detection Approach by Representing System Calls as States of Kernel


7 of 22 12/5/2013 3:33 PM

Modules

Hansson, HansStrong and Weak Contract Formalism for Third-Party Component Reuse

Hansson, JörgenEvaluating long-term Predictive Power of Standard Reliability Growth Models on Automotive Systems

Hao, PengCoincidental Correctness: an Interference or Interface to Successful Fault Localization?

Happe, LuciaDesign of Distribution Automation Networks Using Survivability Modeling and Power Flow Equations

Hatebur, DenisA Structured and Model-Based Hazard Analysis and Risk Assessment Method for AutomotiveSystems

Hecht, MyronModeling of Failure Detection and Recovery in SysML

Heisel, MarittaA Structured and Model-Based Hazard Analysis and Risk Assessment Method for AutomotiveSystems

Helmick, JordanA Fusion Approach For Classifying Duplicate Problem Reports

Herzig, KimPredicting Defects Using Change Genealogies

Hirai, MakotoA Chain of Accountabilities in Open Systems based on Assured Entrustments

Hofer, BirgitMutation-based spreadsheet debugging

Holzer, ThomasComparative analysis of Bayesian and classical approaches for software reliability measurement

Hong, ZhangAn Improved SFMEA Method Integrated with Assistive techniques

Hoshino, TakashiAn Experience Report for Software Quality Evaluation in Highly Iterative Development MethodologyUsing Traditional Metrics

Huang, YanqinAn Empirical Study on Clustering for Isolating Bugs in Fault Localization

IIhara, AkinoriMining A Change History to Quickly Identify Bug Locations : A Case Study of the Eclipse Project


8 of 22 12/5/2013 3:33 PM

Ikemoto, ShinyaQuantifying Software Test Process and Product Reliability Simultaneously

Inoue, KatsuroA Study on the Effectiveness of Peer Review Meeting

Inoue, ShinjiNonparametric Bootstrapping Interval Estimations for Software Release Planning with ReliabilityObjective

Ito, TakashiA New Method of Consensus Building for Open Systems Dependability

JJacob, KandathilFailure data analytics to build failure prediction mechanisms

Jiang, JianhuiProgram Behavior Characterization and Clustering : An Empirical Study for Failure Clustering

Jiang, LingxiaoGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub

Jin, DahaiImproving the Accuracy of Static Analysis Based on State Partition

Jinzenji, KumiAn Experience Report for Software Quality Evaluation in Highly Iterative Development MethodologyUsing Traditional Metrics

Joosen, WouterStatic Analysis Versus Penetration Testing: a Controlled Experiment

Jorba, MartAnalysis of Local Re-execution in Mobile Offloading System

Júnior, RivalinoOn the Effectiveness of Mann-Kendall Test for Detection of Software Aging

Just, SaschaPredicting Defects Using Change Genealogies

KKanewala, UpuleeUsing Machine Learning Techniques to Detect Metamorphic Relations for Programs without TestOracles

Keiller, PeterComparative analysis of Bayesian and classical approaches for software reliability measurement


9 of 22 12/5/2013 3:33 PM

Kemmann, SörenSafety assessment of software-intensive medical devices

Khreich, WaelMonitoring System Calls for Anomaly Detection in Modern Operating Systems


Kinoshita, YoshikiA Chain of Accountabilities in Open Systems based on Assured Entrustments

Klein, JacquesGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub

Kothari, SureshComputational Modeling to Detect Software Sabotage

Koziolek, AnneDesign of Distribution Automation Networks Using Survivability Modeling and Power Flow Equations

Krause, RebeccaCharacterizing Configuration Problems in Java EE Application Servers: An Empirical Study withGlassFish and JBoss

Kuhn, RichardFault Localization Based on Failure-Inducing Combinations

Kung, DavidFault Localization Based on Failure-Inducing Combinations

Kuno, NoriyoshiA Study on the Effectiveness of Peer Review Meeting

Kuramitsu, KimioD-Script : Dependable Scripting with DEOS Process

LLai, JohnForensic Study of the Curiosity Flight Software Anomalies

Layman, LucasAutomated Classification of NASA Anomalies Using Natural Language Processing Techniques

Le Traon, YvesGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub

Lee, Da YoungSoftware Reliability Models for Security Assessment – Verification of Assumptions

Lei, YanFinding Related Events for Specification Mining

Lei, Yu


10 of 22 12/5/2013 3:33 PM

Fault Localization Based on Failure-Inducing Combinations

Li, JinghuiA Statistical Approach for Software Resource Leak Detection and Prediction

Li, NanExperience Report: Is Bytecode Instrumentation as Good as Source Code Instrumentation: AnEmpirical Study With Industrial Tools

Li, QiuyingAccelerated reliability testing approach for high-reliability software based on the reinforcedoperational profile

Liggesmeyer, PeterQualitative Analysis of State/Event Fault Trees for Supporting the Certification Process of Software-Intensive Systems

Lili, XuAn Improved SFMEA Method Integrated with Assistive techniques

Lindvall, MikaelAn Initial Evaluation of Model-Based Testing


Liu, BoAutomatically Triaging for Fault Localization in Multithreaded Program

Lo, DavidGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub

Luo, ChaoCharacteristic Analysis of Quantitative Definition of


MMachida, FumioPersistence of Relevance: A Missing Issue in Imperfect Coverage Models

On the Effectiveness of Mann-Kendall Test for Detection of Software Aging

Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration

Composing Hierarchical Stochastic Model from SysML for System Availability Analysis

Maeno, YoshiharuPersistence of Relevance: A Missing Issue in Imperfect Coverage Models


Maibaum, TomTaking a Page from the Law Books: Considering Evidence Weight in Evaluating Assurance CaseConfidence

Mao, XiaoguangFinding Related Events for Specification Mining


11 of 22 12/5/2013 3:33 PM

Margalit, Mahadevan Subramania Parvathi Chund EyalTesting Distortion Estimations in Retinal Prostheses

Marinelli, FabrizioQuantifying the Influence of Failure Repair/Mitigation Costs on Service-Based Systems

Martins , ElianeAutomating Software Validation of a GPON Network

Martins, PauloAutomating Software Validation of a GPON Network

Mason, StephenA Study of the Relationship Between Antivirus Regressions and Label Changes

Masumoto, MikiA Method for Assuring Service Grade with Assurance case

Matsumoto, Ken-IchiMining A Change History to Quickly Identify Bug Locations : A Case Study of the Eclipse Project

Matsuno, YutakaComparative Study of d*framework and GSN : A Comparative Study of d*framework and GSN

Matsushita, MakotoA Study on the Effectiveness of Peer Review Meeting

McComas, DavidExperience Report: Model-based Testing of NASA’s OSAL API

Meena, SeemaSmart Defect Classification for Better Analysis using Tagging Mechanisms

Memon, AtifA Pattern-Based Approach for GUI Modeling and Testing

Menasché, Daniel SadocDesign of Distribution Automation Networks Using Survivability Modeling and Power Flow Equations

Meng, XinExperience Report: Is Bytecode Instrumentation as Good as Source Code Instrumentation: AnEmpirical Study With Industrial Tools

Mesbah, AliFeedback-directed Exploration of Web Applications to Derive Test Models

Meshkat, LeilaForensic Study of the Curiosity Flight Software Anomalies

Mirandola, RaffaelaQuantifying the Influence of Failure Repair/Mitigation Costs on Service-Based Systems

Mis, AndreSearch-based Data-flow Test Generation

Monteleone, ClaudioReference Architecture for High Dependability On-Board Computers


12 of 22 12/5/2013 3:33 PM

Moraes, ReginaAutomating Software Validation of a GPON Network

Moreira, RodrigoA Pattern-Based Approach for GUI Modeling and Testing

Morillo, RonForensic Study of the Curiosity Flight Software Anomalies

Mukkavilli, LakshmankumarDirected Graph as a Model for Unit Testing

Munoz, MichelaSpace systems modeling using the Architecture Analysis & Design Language (AADL)

Murphy, BrendanTo Branch or not to Branch that is the question

Murtaza, Syed ShariyarMonitoring System Calls for Anomaly Detection in Modern Operating Systems


Muske, TukaramImproving Manual Analysis of Automated Code Inspection Results: Need and Effectiveness

NNafz, FlorianModel-driven Synthesis of Monitoring Infrastructure for Reliable Adaptive Multi-Agent Systems

Nagappan, NachiappanPredicting Risk of Pre-Release Code Changes with CheckinMentor

Nagayama, TatsumiDependability of Open Systems

Nakajima, TsuyoshiA Study on the Effectiveness of Peer Review Meeting

Natella, RobertoPerformance Degradation Analysis of a Supercomputer


Nayak, RakshaDesign of a Dependable Peer-to-Peer System for Numerical Optimization

Neamtiu, IulianRelevant Inputs Analysis and its Applications

Nejati, ShivaStress Testing of Task Deadlines: A Constraint Programming Approach

Neto, José Augusto Oliveira


13 of 22 12/5/2013 3:33 PM

Safety assessment of software-intensive medical devices

Nguyen, AnhFiltering Noise in Mixed-Purpose Fixing Commits to Improve Defect Prediction and Localization

Nguyen, HoanFiltering Noise in Mixed-Purpose Fixing Commits to Improve Defect Prediction and Localization

Nguyen, Huu NghiaAutomatic Skeleton Generation for Data-Aware Service Choreographies

Nguyen, TienFiltering Noise in Mixed-Purpose Fixing Commits to Improve Defect Prediction and Localization

Nilsson, MartinEvaluating long-term Predictive Power of Standard Reliability Growth Models on Automotive Systems

Nishi, YasuharuAn extended notation of FTA for risk assessment of software-intensive medical devices.

OOffutt, JeffExperience Report: Is Bytecode Instrumentation as Good as Source Code Instrumentation: AnEmpirical Study With Industrial Tools

Okamura, HiroyukiCharacteristic Analysis of Quantitative Definition of


Experience Report: SRATS: Software Reliability Assessment Tool on Spreadsheet

Quantifying Software Test Process and Product Reliability Simultaneously

Omar, ElmahdiConstructing Subtle Higher Order Mutants for Java and AspectJ Programs

PPai , PrashanthA novel mechanism to continuously scan field logs and gain real-time feedback

Pai, GaneshEvidence Arguments for Using Formal Methods in Software Certification

Paiva, AnaA Pattern-Based Approach for GUI Modeling and Testing

Pandit, PattabhiramaReliability feedback through system log analysis

Diagnosing development software release to predict field failures

Paolieri, Marco


14 of 22 12/5/2013 3:33 PM


Patu, VaiseA new model to capture security threat patterns by complying with standards and lesson learned ~Archiving Dependability for Security Assurance Cases

Perez, AlexandreCues for Scent Intensification in Debugging

Pietrantuono, RobertoPerformance Degradation Analysis of a Supercomputer

Requirements Engineering in Rail Transit Production: an Experience Report


Poizat, PascalAutomatic Skeleton Generation for Data-Aware Service Choreographies

Potena, PasqualinaQuantifying the Influence of Failure Repair/Mitigation Costs on Service-Based Systems

Poulding, SimonFinding Test Data with Specific Properties via Metaheuristic Search

Pradhan, SatyabrataPredicting Multi-platform Release Quality

RRaj, BipulRequest Success Rate of Multipathing I/O with a Paired Storage Controller

Ramachandra, ManjunathA novel mechanism to continuously scan field logs and gain real-time feedback

Reliability feedback through system log analysis

Rana, RakeshEvaluating long-term Predictive Power of Standard Reliability Growth Models on Automotive Systems

Rashdan, SamerRelease Cadence: A Product Software Upgrade Study

Rau, AndreasPredicting Defects Using Change Genealogies

Regehr, JohnHelp, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing

Reif, WolfgangModel-driven Synthesis of Monitoring Infrastructure for Reliable Adaptive Multi-Agent Systems

Reveillere, LaurentGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub

Ripoll, Joan


15 of 22 12/5/2013 3:33 PM

Analysis of Local Re-execution in Mobile Offloading System

Roper, MarcBug localisation through diverse sources of information

Rotella, PetePredicting Multi-platform Release Quality

Predicting Field Experience of Releases on Specific Platforms

Roth, MichaelQualitative Analysis of State/Event Fault Trees for Supporting the Certification Process of Software-Intensive Systems

Rothermel, GreggAn Empirical Comparison of the Fault-Detection Capabilities of Internal Oracles

Rountev, AtanasSystematic Testing for Resource Leaks in Android Applications

Roy, ArpanIdentifying Silent Failures of SaaS services using Finite State Machine based Invariant Analysis

Keep It Moving: Proactive Optimal Workload Management for Reducing SLA Violations in Large ScaleSaaS Clouds

Russo, StefanoRequirements Engineering in Rail Transit Production: an Experience Report


SSakai, YoshioAn extended notation of FTA for risk assessment of software-intensive medical devices.

Sarkani, ShahryarComparative analysis of Bayesian and classical approaches for software reliability measurement

Sarkar, SantonuKeep It Moving: Proactive Optimal Workload Management for Reducing SLA Violations in Large ScaleSaaS Clouds

Saruwatari, TakuyaComparative Study of d*framework and GSN : A Comparative Study of d*framework and GSN

Scandariato, RiccardoStatic Analysis Versus Penetration Testing: a Controlled Experiment

Schulze, ChristophAn Initial Evaluation of Model-Based Testing


Shirasaka, SeikoAn extended notation of FTA for risk assessment of software-intensive medical devices.


16 of 22 12/5/2013 3:33 PM

Silva, NunoCertification of Embedded Systems: Quantitative analysis and irrefutable evidences

Qualitative comparison of aerospace standards: an objective approach

Reference Architecture for High Dependability On-Board Computers

Sljivo, IrfanStrong and Weak Contract Formalism for Third-Party Component Reuse

Sobesto, BertrandA Study of the Relationship Between Antivirus Regressions and Label Changes

Söderberg, AndreasSafety Contract Based Design of Software Components

Sputh, BernhardARRL: A CRITERION FOR COMPOSITIONAL SAFETY AND SYSTEMS ENGINEERING

Srisa-An , WitawasAn Empirical Comparison of the Fault-Detection Capabilities of Internal Oracles

Stankovic, VladimirA Study of the Relationship Between Antivirus Regressions and Label Changes

Staron, MiroslawEvaluating long-term Predictive Power of Standard Reliability Growth Models on Automotive Systems

Steghöfer, Jan-PhilippModel-driven Synthesis of Monitoring Infrastructure for Reliable Adaptive Multi-Agent Systems

Subramani, ShwetaNon-Operational Testing of Software for Security Issues

Suresh, SindhuDesign of Distribution Automation Networks Using Survivability Modeling and Power Flow Equations

Syed, ZahidA Fusion Approach For Classifying Duplicate Problem Reports

TTadano, KumikoPersistence of Relevance: A Missing Issue in Imperfect Coverage Models



Tai, AnnFault-Class-Aware Fault Tree Generation and Analysis

Takahashi, KenjiAn Experience Report for Software Quality Evaluation in Highly Iterative Development MethodologyUsing Traditional Metrics

Takamura, Hiroki


17 of 22 12/5/2013 3:33 PM

International standardization of Open Systems Dependability

Takeyama, MakotoA New Method of Consensus Building for Open Systems Dependability

Tantithamthavorn, ChakkritMining A Change History to Quickly Identify Bug Locations : A Case Study of the Eclipse Project

Tarvo, AlexanderPredicting Risk of Pre-Release Code Changes with CheckinMentor

Teekavanich, RattamontMining A Change History to Quickly Identify Bug Locations : A Case Study of the Eclipse Project

Tian, JieExperience Report: Assessing the Reliability of an Industrial Avionics Software: Results, Insights andRecommendations

Tofan, DanExploring Possiblities to Analyse Microblogs for Dependability Information in Variability-intensiveOpen Source Software Systems

Tokuno, TatsuyaA Method for Assuring Service Grade with Assurance case

Törner, FredrikEvaluating long-term Predictive Power of Standard Reliability Growth Models on Automotive Systems

Trived, KishorDesign of Distribution Automation Networks Using Survivability Modeling and Power Flow Equations

Trivedi, KishorFailure data analytics to build failure prediction mechanisms



VVerhulst, EricARRL: A CRITERION FOR COMPOSITIONAL SAFETY AND SYSTEMS ENGINEERING

Vieira, MarcoCertification of Embedded Systems: Quantitative analysis and irrefutable evidences

A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services

Vinod, KishoreA novel mechanism to continuously scan field logs and gain real-time feedback

Reliability feedback through system log analysis


Vinod, ManjunathDiagnosing development software release to predict field failures


18 of 22 12/5/2013 3:33 PM

Vivanti, MattiaSearch-based Data-flow Test Generation

Vouk, MladenNon-Operational Testing of Software for Security Issues

Software Reliability Models for Security Assessment – Verification of Assumptions

WWalden, JamesStatic Analysis Versus Penetration Testing: a Controlled Experiment

Walia, GursimranUsing Capture-Recapture Models for Make Objective Post-Inspection Decisions

Using Error Information to Improve Software Quality

An Empirical Study of the Effect of Learning Styles on the Faults found during the SoftwareInspection

Walter, ChrisFault-Class-Aware Fault Tree Generation and Analysis

Wandji, KetchiozoComparative analysis of Bayesian and classical approaches for software reliability measurement

Wang, QiushiAnalysis of Local Re-execution in Mobile Offloading System

Wang, YanRelevant Inputs Analysis and its Applications

Wei , YuanUse Software Reliability Growth Models Wisely

Wei, HooRadio Diagnostic Tool: iDoctor

Whitley, DarrellConstructing Subtle Higher Order Mutants for Java and AspectJ Programs

Wiegand, RobertAn Initial Evaluation of Model-Based Testing

Williams, LaurieSoftware Reliability Models for Security Assessment – Verification of Assumptions

To Branch or not to Branch that is the question

An Experience Report for Software Quality Evaluation in Highly Iterative Development MethodologyUsing Traditional Metrics

WilliamsUsing , LaurieNon-Operational Testing of Software for Security Issues

Wolter, KatinkaAnalysis of Local Re-execution in Mobile Offloading System


19 of 22 12/5/2013 3:33 PM

Wotawa, FranzMutation-based spreadsheet debugging

Wu, FubinIntegration of Software Reliability Engineering, Risk Management and Safety Assurance Case

Wu, JiExperience Report: Assessing the Reliability of an Industrial Avionics Software: Results, Insights andRecommendations

Wu, JunhuaAn Empirical Study on Clustering for Isolating Bugs in Fault Localization

XXiang, JianwenPersistence of Relevance: A Missing Issue in Imperfect Coverage Models


Xu, WeiPermlyzer: Analyzing Permission Usage in Android Apps

YYalawar, SantoshA novel mechanism to continuously scan field logs and gain real-time feedback


Yamada, HiroshiTowards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques

Yamada, ShigeruNonparametric Bootstrapping Interval Estimations for Software Release Planning with ReliabilityObjective

Yamamoto, ShuichiroA new model to capture security threat patterns by complying with standards and lesson learned ~Archiving Dependability for Security Assurance Cases

A Method for Assuring Service Grade with Assurance case

Comparative Study of d*framework and GSN : A Comparative Study of d*framework and GSN

Yan, DacongSystematic Testing for Resource Leaks in Android Applications

Yanagisawa, YukikoA New Method of Consensus Building for Open Systems Dependability

Yang, ShengqianSystematic Testing for Resource Leaks in Android Applications

Yokote, Yasuhiko


20 of 22 12/5/2013 3:33 PM

Dependability of Open Systems

A New Method of Consensus Building for Open Systems Dependability

Yu, TingtingAn Empirical Comparison of the Fault-Detection Capabilities of Internal Oracles

Yuan, JianqingA Statistical Approach for Software Resource Leak Detection and Prediction

Yuasa, YoshifumiA Chain of Accountabilities in Open Systems based on Assured Entrustments

Yue, TaoExperience Report: Assessing the Reliability of an Industrial Avionics Software: Results, Insights andRecommendations

ZZaidi, FatihaAutomatic Skeleton Generation for Data-Aware Service Choreographies

Zandin, JohanReference Architecture for High Dependability On-Board Computers

Zeller, AndreasPredicting Defects Using Change Genealogies

Zhang, ChaoqiangHelp, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing

Zhang, DalinImproving the Accuracy of Static Analysis Based on State Partition

Zhang, DanqingProgram Behavior Characterization and Clustering : An Empirical Study for Failure Clustering

Zhang, FangfangPermlyzer: Analyzing Permission Usage in Android Apps

Zhang, HailongImproving the Accuracy of Static Analysis Based on State Partition

Zhang, YiFinding Related Events for Specification Mining

Zhang, ZhenyuCoincidental Correctness: an Interference or Interface to Successful Fault Localization?

Zhao, ZhihongAn Empirical Study on Clustering for Isolating Bugs in Fault Localization

Zheng, ZhengCoincidental Correctness: an Interference or Interface to Successful Fault Localization?

Zhu, Sencun


21 of 22 12/5/2013 3:33 PM

Permlyzer: Analyzing Permission Usage in Android Apps

Zimmermann, ThomasPredicting Risk of Pre-Release Code Changes with CheckinMentor


22 of 22 12/5/2013 3:33 PM

Documents

Author Index - IEEE Computer Society · Experience Report: Model-based Testing of NASA’s OSAL API Cukic, Bojan ... A Case Study of the Eclipse Project Author Index file:///L: