default search action
23rd ISSRE 2012: Dallas, TX, USA - Workshops
- 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5048-8
- Somia Natouri, Chidung Lac:
A Resilience Design Model for IMS-based Services. 1-2 - Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno:
Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. 3-4 - Martin L. Shooman:
Bohrbugs, Mandelbugs, Exhaustive Testing and Unintended Automobile Acceleration. 5-6 - Ozgur Aktunc:
Entropy Metrics for Agile Development Processes. 7-8 - Amjad Nusayr, Jonathan Cook, Gholamali Rahnavard
:
TEAMS: A Special-Purpose AOP Framework for Runtime Monitoring. 9-10 - As'ad Salkham, Antonio Pecchia, Nuno Silva:
Assessing AUTOSAR Systems Using Fault Injection. 11-12 - Lucas Layman
Toward Baselining Software Anomalies in NASA Missions. 13-14 - Rafik Henia, Joseph Machrouh, Laurent Rioux:
Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design? 15-16 - Guoqi Li:
Ontology-Based Reuse of Failure Modes for FMEA: Methodology and Tool. 17-18 - Omar Hussain Alhazmi
Assessing Disaster Recovery Alternatives: On-Site, Colocation or Cloud. 19-20 - Michael Paulitsch, Rupert Reiger, Lorenzo Strigini, Robin E. Bloomfield:
Evidence-Based Security in Aerospace: From Safety to Security and Back Again. 21-22 - Krishnendu Ghosh:
Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty. 23-24 - Catello Di Martino:
Software at Scale for Building Resilient Wireless Sensor Networks. 25-26 - E. Andrew Long, Louis Gullo, Allen P. Nikora:
Applying Software Reliability Growth Models to DOD Systems. 27-36 - Sunita Chulani, Pete Rotella, Bob Mullen:
Software Reliability Classes: A Basis for Release and Product Quality Expectations. 37 - Ajeet Kumar Pandey, Jessy George Smith, Vivek Diwanji:
Cost Effective Reliability Centric Validation Model for Automotive ECUs. 38-44 - Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud:
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. 45-46 - Zheng Liu, Wentao Mo, Dangpei Ren, Guang Zhao, Mingye Liu:
Bug Detection in Large-Scale Nuclear Power Software. 47-52 - Pete Rotella, Sunita Chulani, Satyabrata Pradhan:
Quality Playbook: Ensuring Release to Release Improvement. 53 - Kumi Jinzenji, Takashi Hoshino, Laurie A. Williams, Kenji Takahashi:
Metric-Based Quality Evaluations for Iterative Software Development Approaches Like Agile. 54-63 - Ram Chillarege:
Targeting Specific Customer Satisfactions Issues with ODC Analysis. 64 - Mitsuhiro Nakamura, Tomoki Hamagami
A Software Quality Evaluation Method Using the Change of Source Code Metrics. 65-69 - Lakshmankumar Mukkavilli:
Smart Unit Testing Framework. 70-79 - Chen Liang, Aniket Malatpure, Mohammad Shafiei, Marcelo Vago, Tsan Zheng:
Customer Scenario Focused End-to-End Testing. 80-81 - Yusuke Sasaki, Yoshiharu Maeda, Kenichi Kobayashi
Applying Test Data Generation Using SMT Solver to COBOL. 82 - Nuno Silva, Rui Lopes:
Overview of 10 Years of ISVV Findings in Safety-Critical Systems. 83 - Nuno Silva, Rui Lopes:
Independent Assessment of Safety-Critical Systems: We Bring Data! 84 - Lalit Kumar Singh, Gopika Vinod, Anil Kumar Tripathi:
Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets. 85-94 - Shelly Agarwal:
Assessing the Performance of Networked Computer Based Systems. 95 - Rajeshwari Ganesan, Santonu Sarkar
Measurements-Based Analysis of Workload-Error Relationship in a Production SaaS Cloud. 96-105 - Rajarshi Das:
Assessing Product Quality through PMR Analysis: A Perspective. 106-115 - Oksoon Jeong:
A Practical Extension of Pairwise Testing. 116-122 - Rossel Paul Banji, Pandit Pattabhirama, Mukul Gharpure, Manjunath Ramachandra:
Managing Automated End to End Testing in Bitwise Heterogenous Environments. 123-128 - Numan Manzoor, Hussan Munir
Comparison of Static Analysis Tools for Finding Concurrency Bugs. 129-133 - Nuno Antunes
Detecting Vulnerabilities in Service Oriented Architectures. 134-139 - Feng Zheng, Jun Ai, Jingwei Shang, Jinhui Wang:
Accelerate the Software Software Reliability Testing Execution Process with Fuzzy Discrimination. 140-145 - Raula Gaikovina Kula
Using Profiling Metrics to Categorise Peer Review Types in the Android Project. 146-151 - W. Eric Wong:
Program Debugging with Effective Software Fault Localization (Invited Talk). 152 - Mark Huffman Hays, Jane Hayes:
The Effect of Testability on Fault Proneness: A Case Study of the Apache HTTP Server. 153-158 - Rui Abreu
Debugging Spreadsheets: A CSP-based Approach. 159-164 - Jimmy Lauret, Hélène Waeselynck, Jean-Charles Fabre:
Detection of Interferences in Aspect-Oriented Programs Using Executable Assertions. 165-170 - Alexandre Perez
A Topology-Based Model for Estimating the Diagnostic Efficiency of Statistics-Based Approaches. 171-176 - Yiji Zhang, Raúl A. Santelices:
Predicting Data Dependences for Slice Inspection Prioritization. 177-182 - Hongbo Zhou, Qian Wang, Dahai Jin, Yunzhan Gong:
A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis. 183-188 - Yunqian Zhang, Lin Chen, Bo Jiang, Zhenyu Zhang:
Wielding Statistical Fault Localization Statistically. 189-194 - Baozeng Ding, Yeping He, Yanjun Wu, Alex Miller, John Criswell:
Baggy Bounds with Accurate Checking. 195-200 - Haruto Tanno, Xiaojing Zhang, Takashi Hoshino:
Design-Model-Based Test Data Generation for Database Applications. 201-206 - Andres Kull:
Automatic GUI Model Generation: State of the Art. 207-212 - Ramy Nazier, Thomas Bauer:
Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models. 213-218 - Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. 219-224 - Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono
Integrating MDT in an Industrial Process in the Air Traffic Control Domain. 225-230 - Dusica Marijan:
A Review of Two Experiences from Applying Model Based Testing in Practice. 231-236 - Frank Reichenbach, Jan Endresen, Mohammad M. R. Chowdhury, Judith E. Y. Rossebø:
A Pragmatic Approach on Combined Safety and Security Risk Analysis. 239-244 - Rivalino Matias, Bruno Evangelista Costa, Autran Macedo:
Monitoring Memory-Related Software Aging: An Exploratory Study. 247-252 - Pengfei Zheng, Qingguo Xu, Yong Qi:
An Advanced Methodology for Measuring and Characterizing Software Aging. 253-258 - Michael Grottke
Cost Optimality in Testing and Rejuvenation. 259-264 - Domenico Cotroneo, Roberto Natella
Monitoring of Aging Software Systems Affected by Integer Overflows. 265-270 - Enrico Barbierato, Andrea Bobbio
Multiformalism to Support Software Rejuvenation Modeling. 271-276 - Sonia Malefaki
Modeling Software Rejuvenation on a Redundant System Using Monte Carlo Simulation. 277-282 - Hiroyuki Okamura
Optimization of Opportunity-Based Software Rejuvenation Policy. 283-286 - Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Aging-Related Bugs in Cloud Computing Software. 287-292 - Rúbens de Souza Matos Júnior
Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds. 293-298 - Javier Alonso, Antonio Bovenzi, Jinghui Li, Yakun Wang, Stefano Russo
Software Rejuvenation: Do IT & Telco Industries Use It? 299-304 - Shota Takama, Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto:
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer. 305-306 - Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto:
Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL. 307-312 - Motoki Yoan, Midori Sugaya, Kimio Kuramitsu
A Study of Converting Risk to Assurance Case. 313-315 - Takuma Wakamori, Masahiro Ide, Midori Sugaya, Kimio Kuramitsu
Reconfigurable Scripting Language with Programming Risk. 316-318 - Adrien Mouaffo Tiadjio, Kavyashree Jamboti:
Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems. 319-324 - Sean Banerjee, Jesse Musgrove, Bojan Cukic
Handling Language Variations in Open Source Bug Reporting Systems. 325-330 - Antoine Ferlin
Combination of Static and Dynamic Analyses for the Certification of Avionics Software. 331-336 - Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy:
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. 337-342 - Andreas Söderberg, Benjamin Vedder:
Composable Safety-Critical Systems Based on Pre-certified Software Components. 343-348 - Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg:
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. 349-354 - Henrik Jonsson, Stig Larsson, Sasikumar Punnekkat
Agile Practices in Regulated Railway Software Development. 355-360 - Nuno Silva, Rui Lopes:
10 Years of ISVV: What's Next? 361-366
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: