default search action
24th ISSRE 2013: Pasadena, CA, USA
- IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2366-3
Test Oracles Session 6
- Barry W. Boehm, Gerard J. Holzmann:
Keynote speaker 1: The economics of systems and software reliability. 1-2 - Upulee Kanewala
, James M. Bieman:
Using machine learning techniques to detect metamorphic relations for programs without test oracles. 1-10 - Tingting Yu, Witawas Srisa-an, Gregg Rothermel:
An empirical comparison of the fault-detection capabilities of internal oracles. 11-20
Distributed and Agent Based Modeling and Analysis Session 11
- Benedikt Eberhardinger
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. 21-30 - Qiushi Wang, Marti Griera Jorba, Joan Martinez Ripoll, Katinka Wolter:
Analysis of local re-execution in mobile offloading system. 31-40 - Anne Koziolek
Design of distribution automation networks using survivability modeling and power flow equations. 41-50
Availability Session 16
- Fumio Machida, Jianwen Xiang, Kumiko Tadano, Yoshiharu Maeno:
Composing hierarchical stochastic model from SysML for system availability analysis. 51-60
Failure data analytics to build failure prediction mechanisms
- Antonio Bovenzi, Javier Alonso, Hiroshi Yamada, Stefano Russo
Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques. 61-70 - Gangadhar Enagandula, Varsha Apte, Bipul Raj:
Request success rate of multipathing I/O with a paired storage controller. 71-80
Software Reliability Modeling Session 21
- Shinji Inoue, Shigeru Yamada:
Nonparametric bootstrapping interval estimations for software release planning with reliability objective. 81-89 - Vittorio Cortellessa, Raffaela Mirandola, Fabrizio Marinelli
Quantifying the influence of failure repair/mitigation costs on service-based systems. 90-99 - Hiroyuki Okamura
SRATS: Software reliability assessment tool on spreadsheet (Experience report). 100-107 - Shinya Ikemoto, Tadashi Dohi
Quantifying software test process and product reliability simultaneously. 108-117
Defect Prediction Session 36
- Kim Herzig, Sascha Just, Andreas Rau, Andreas Zeller
Predicting defects using change genealogies. 118-127 - Alexander Tarvo, Nachiappan Nagappan, Thomas Zimmermann:
Predicting risk of pre-release code changes with Checkinmentor. 128-137 - Hoan Anh Nguyen, Anh Tuan Nguyen, Tien N. Nguyen:
Filtering noise in mixed-purpose fixing commits to improve defect prediction and localization. 138-147
Stress Testing and Fault Localization Session 41
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet:
Fault localization in embedded software based on a single cyclic trace. 148-157 - Stefano Di Alesio, Shiva Nejati
Stress testing of task deadlines: A constraint programming approach. 158-167 - Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn:
Fault localization based on failure-inducing combinations. 168-177
Defect Characterization and Bug Reports Session 46
- Domenico Cotroneo, Michael Grottke
Fault triggers in open-source software: An experience report. 178-187 - Tegawendé F. Bissyandé, David Lo
Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub. 188-197 - Fahad A. Arshad, Rebecca J. Krause
Characterizing configuration problems in Java EE application servers: An empirical study with GlassFish and JBoss. 198-207 - Sean Banerjee, Zahid A. Syed
A fusion approach for classifying duplicate problem reports. 208-217
Safety Critical Systems Session 61
- Ji Wu, Shaukat Ali
Experience report: Assessing the reliability of an industrial avionics software: Results, insights and recommendations. 218-227 - Rakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson, Fredrik Törner:
Evaluating long-term predictive power of standard reliability growth models on automotive systems. 228-237 - Kristian Beckers, Maritta Heisel, Thomas Frese, Denis Hatebur:
A structured and model-based hazard analysis and risk assessment method for automotive systems. 238-247
Analysis Techniques Session 62
- Peter G. Bishop
Combining testing and proof to gain high assurance in software: A case study. 248-257 - Yong Hun Eom, Brian Demsky:
Sinfer: Inferring information flow lattices for checking self-stabilization. 258-267 - Yan Wang, Rajiv Gupta
Relevant inputs analysis and its applications. 268-277
Model Based Testing Session 66
- Amin Milani Fard
Feedback-directed exploration of web applications to derive test models. 278-287 - Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon:
A pattern-based approach for GUI modeling and testing. 288-297 - Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Dave Mcf Omas, Alan Cudmore:
Model-based testing of NASA's OSAL API - An experience report. 300-309
Development for Quality Session 67
- Kumi Jinzenji, Takashi Hoshino, Laurie A. Williams, Kenji Takahashi:
An experience report for software quality evaluation in highly iterative development methodology using traditional metrics. 310-319 - Huu Nghia Nguyen
Automatic skeleton generation for data-aware service choreographies. 320-329 - Anurag Goswami, Gursimran S. Walia:
An empirical study of the effect of learning styles on the faults found during the software requirements inspection. 330-339
Search Based Software Testing Session 71
- Elmahdi Omar, Sudipto Ghosh, L. Darrell Whitley:
Constructing subtle higher order mutants for Java and AspectJ programs. 340-349 - Robert Feldt, Simon M. Poulding:
Finding test data with specific properties via metaheuristic search. 350-359 - Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
Improving search-based test suite generation with dynamic symbolic execution. 360-369
Test Generation and Coverage Session 72
- Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser:
Search-based data-flow test generation. 370-379 - Nan Li, Xin Meng, Jeff Offutt, Lin Deng
Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report). 380-389 - Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour
Help, help, i'm being suppressed! The significance of suppressors in software testing. 390-399
Mobile and Cloud Security Session 86
- Wei Xu, Fangfang Zhang, Sencun Zhu:
Permlyzer: Analyzing permission usage in Android applications. 400-410 - Dacong Yan, Shengqian Yang, Atanas Rountev:
Systematic testing for resource leaks in Android applications. 411-420
Identifying Silent Failures of SaaS services using Finite State Machine based Invariant Analysis
- Arpan Roy
Keep it moving: Proactive workload management for reducing SLA violations in large scale SaaS clouds. 421-430
Security Session 91
- Syed Shariyar Murtaza, Wael Khreich, Abdelwahab Hamou-Lhadj
A host-based anomaly detection approach by representing system calls as states of kernel modules. 431-440 - Ilir Gashi
A study of the relationship between antivirus regressions and label changes. 441-450 - Riccardo Scandariato, James Walden
Static analysis versus penetration testing: A controlled experiment. 451-460
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-19 20:53 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: