Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th ISSRE 2015: Gaithersburg, MD, USA - Workshops
- 2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-1944-1
- Pete Rotella, Tom Land, Marjan Moshref, Sunita Chulani:
Countdown graph: Estimating completion of testing. 1 - Kiyoshi Honda, Hironori Washizaki
, Yoshiaki Fukazawa, Kazuki Munakata, Sumie Morita, Tadahiro Uehara, Rieko Yamamoto:
Detection of unexpected situations by applying software reliability growth models to test phases. 2-5 - Pete Rotella, Sunita Chulani, John Intintolo:
Resource/schedule/content model: Improving testing effectiveness. 6-7 - Ashlie B. Hocking, M. Anthony Aiello, John C. Knight:
Static analysis of physical properties in Simulink models. 8-11 - Shinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu:
Test suites for benchmarks of static analysis tools. 12-15 - Quentin Ochem, Eric Perlade:
Formal methods for informal developpers: A case-study driven by the French defense agency (DGA). 16 - Fumio Machida, Masaya Fujiwaka, Seiichi Koizumi, Daichi Kimura:
Optimizing resiliency of distributed video surveillance system for safer city. 17-20 - Mina Nabi, Ferhat Khendek, Maria Toeroe:
Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. 21-24 - Hyungbae Park, Sejun Song, Baek-Young Choi, Henry Zhu:
Software-defined networking (SDN) control message classification, verification, and optimization system. 25-28 - Myron Hecht, Elisabeth A. Nguyen, Aaron Chuidian, Julia Pinchak:
Automated generation of failure modes and effects analysis for a medical device. 29-32 - Debasmita Lohar, Soumyajit Dey:
Integrating formal methods with testing for reliability estimation of component based systems. 33-36 - Jose Romero-Mariona, Megan Kline, John San Miguel:
C-SEC (Cyber SCADA evaluation capability): Securing critical infrastructures. 38 - Sejun Song, Henry Zhu:
Operational softwarized networks reliability management. 39 - Vipul Shah, Chetan Khadke, Sunjit Rana:
Knowledge transition: Discovering workflow models from functional tests. 40-43 - Balaji Santhana Krishnan, Hema Kovvuri, Uma M. Balasubramani:
Effective management of work in a geographically dispersed team using Tasks in Agile methodology. 44-54 - Sunint Kaur Khalsa, Yvan Labiche:
An analysis and extension of Category partition testing for constrained systems. 55-56 - Luyi Li, Minyan Lu:
Analyzing failure mechanism for complex software-intensive systems. 57-58 - Damiano Torre:
On validating UML consistency rules. 59-60 - Julian Thomé:
A scalable and accurate hybrid vulnerability analysis framework. 61-62 - Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica:
Analyzing the reduction of test suite redundancy. 65 - Birgit Hofer, Georg Hinteregger, Franz Wotawa:
Conditional slicing: Reducing dynamic slices. 66 - Borting Chen, Yu-Lun Huang, Mesut Günes:
S-CBAC: A secure access control model supporting group access for Internet of Things. 67 - Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar:
UML consistency rules in technical books. 68 - Sunint Kaur Khalsa, Yvan Labiche:
Getting more in less: The power of single/error annotations in category partition. 69 - Sen Ma, MingYang Jiao, Shikun Zhang, Wen Zhao, Dong Wei Wang:
Practical null pointer dereference detection via value-dependence analysis. 70-77 - Ingo Pill, Thomas Quaritsch:
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. 78-84 - Ethar Elsaka, Atif M. Memon:
Disqover: Debugging via code sequence covers. 85-92 - Bob Edmison, Stephen H. Edwards:
Applying spectrum-based fault localization to generate debugging suggestions for student programmers. 93-99 - Ingo Pill, Thomas Quaritsch, Franz Wotawa:
Parse tree structure in LTL requirements diagnosis. 100-107 - Domenico Cotroneo, Antonio Ken Iannillo, Roberto Natella, Roberto Pietrantuono, Stefano Russo:
The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/. 108-113 - Gabriela Jacques-Silva, Alberto Avritzer, Daniel Sadoc Menasché, Anne Koziolek, Lucia Happe, Sindhu Suresh:
Survivability modeling to assess deployment alternatives accounting for rejuvenation. 114-119 - BeeBee Chua:
Detecting sustainable programming languages through forking on open source projects for survivability. 120-124 - Huaming Wu, Katinka Wolter:
Software aging in mobile devices: Partial computation offloading as a solution. 125-131 - Fumio Machida, Naoto Miyoshi:
An optimal stopping problem for software rejuvenation in a job processing system. 139-143 - Michael Roth, Agus Hartoyo, Peter Liggesmeyer:
Efficient reachability graph development for qualitive analysis of state/event fault trees. 144-151 - Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer:
Automated compositional safety analysis using component fault trees. 152-159 - Jelena Frtunikj, Joachim Fröhlich, Tim Rohlfs, Alois C. Knoll:
Qualitative evaluation of fault hypotheses with non-intrusive fault injection. 160-167 - Ziyad Alshaikh, Mansour Alsaleh, Abdulrahman Alarifi, Mohammad Zarour:
Process improvement in governmental agencies: Toward CMMI certification. 168-173 - Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, Nuno Pedro Silva:
SysML-based and Prolog-supported FMEA. 174-181 - Mirko Napolano, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo:
Preventing recurrence of industrial control system accident using assurance case. 182-189
a service of 
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-06-10 21:36 CEST 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:
