Abstract is missing.
- Countdown graph: Estimating completion of testingPete Rotella, Tom Land, Marjan Moshref, Sunita Chulani. 1 [doi]
- Detection of unexpected situations by applying software reliability growth models to test phasesKiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Kazuki Munakata, Sumie Morita, Tadahiro Uehara, Rieko Yamamoto. 2-5 [doi]
- Resource/schedule/content model: Improving testing effectivenessPete Rotella, Sunita Chulani, John Intintolo. 6-7 [doi]
- Static analysis of physical properties in Simulink modelsAshlie B. Hocking, M. Anthony Aiello, John C. Knight. 8-11 [doi]
- Test suites for benchmarks of static analysis toolsShinichi Shiraishi, Veena Mohan, Hemalatha Marimuthu. 12-15 [doi]
- Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)Quentin Ochem, Eric Perlade. 16 [doi]
- Optimizing resiliency of distributed video surveillance system for safer cityFumio Machida, Masaya Fujiwaka, Seiichi Koizumi, Daichi Kimura. 17-20 [doi]
- Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availabilityMina Nabi, Ferhat Khendek, Maria Toeroe. 21-24 [doi]
- Software-defined networking (SDN) control message classification, verification, and optimization systemHyungbae Park, Sejun Song, Baek-Young Choi, Henry Zhu. 25-28 [doi]
- Automated generation of failure modes and effects analysis for a medical deviceMyron Hecht, Elisabeth A. Nguyen, Aaron Chuidian, Julia Pinchak. 29-32 [doi]
- Integrating formal methods with testing for reliability estimation of component based systemsDebasmita Lohar, Soumyajit Dey. 33-36 [doi]
- C-SEC (Cyber SCADA evaluation capability): Securing critical infrastructuresJose Romero-Mariona, Megan Kline, John San Miguel. 38 [doi]
- Operational softwarized networks reliability managementSejun Song, Henry Zhu. 39 [doi]
- Knowledge transition: Discovering workflow models from functional testsVipul Shah, Chetan Khadke, Sunjit Rana. 40-43 [doi]
- Effective management of work in a geographically dispersed team using Tasks in Agile methodologyBalaji Santhana Krishnan, Hema Kovvuri, Uma M. Balasubramani. 44-54 [doi]
- An analysis and extension of Category partition testing for constrained systemsSunint Kaur Khalsa, Yvan Labiche. 55-56 [doi]
- Analyzing failure mechanism for complex software-intensive systemsLuyi Li, Minyan Lu. 57-58 [doi]
- On validating UML consistency rulesDamiano Torre. 59-60 [doi]
- A scalable and accurate hybrid vulnerability analysis frameworkJulian Thomé. 61-62 [doi]
- Analyzing the reduction of test suite redundancyIngo Pill, Seema Jehan, Franz Wotawa, Mihai Nica. 65 [doi]
- Conditional slicing: Reducing dynamic slicesBirgit Hofer, Georg Hinteregger, Franz Wotawa. 66 [doi]
- S-CBAC: A secure access control model supporting group access for Internet of ThingsBorting Chen, Yu-Lun Huang, Mesut Günes. 67 [doi]
- UML consistency rules in technical booksDamiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar. 68 [doi]
- Getting more in less: The power of single/error annotations in category partitionSunint Kaur Khalsa, Yvan Labiche. 69 [doi]
- Practical null pointer dereference detection via value-dependence analysisSen Ma, MingYang Jiao, Shikun Zhang, Wen Zhao, Dong Wei Wang. 70-77 [doi]
- RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithmIngo Pill, Thomas Quaritsch. 78-84 [doi]
- Disqover: Debugging via code sequence coversEthar Elsaka, Atif M. Memon. 85-92 [doi]
- Applying spectrum-based fault localization to generate debugging suggestions for student programmersBob Edmison, Stephen H. Edwards. 93-99 [doi]
- Parse tree structure in LTL requirements diagnosisIngo Pill, Thomas Quaritsch, Franz Wotawa. 100-107 [doi]
- The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/Domenico Cotroneo, Antonio Ken Iannillo, Roberto Natella, Roberto Pietrantuono, Stefano Russo. 108-113 [doi]
- Survivability modeling to assess deployment alternatives accounting for rejuvenationGabriela Jacques-Silva, Alberto Avritzer, Daniel Sadoc Menasche, Anne Koziolek, Lucia Happe, Sindhu Suresh. 114-119 [doi]
- Detecting sustainable programming languages through forking on open source projects for survivabilityBeeBee Chua. 120-124 [doi]
- Software aging in mobile devices: Partial computation offloading as a solutionHuaming Wu, Katinka Wolter. 125-131 [doi]
- An optimal stopping problem for software rejuvenation in a job processing systemFumio Machida, Naoto Miyoshi. 139-143 [doi]
- Efficient reachability graph development for qualitive analysis of state/event fault treesMichael Roth, Agus Hartoyo, Peter Liggesmeyer. 144-151 [doi]
- Automated compositional safety analysis using component fault treesFelix Mohrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer. 152-159 [doi]
- Qualitative evaluation of fault hypotheses with non-intrusive fault injectionJelena Frtunikj, Joachim Frohlich, Tim Rohlfs, Alois Knoll. 160-167 [doi]
- Process improvement in governmental agencies: Toward CMMI certificationZiyad Alshaikh, Mansour Alsaleh, Abdulrahman Alarifi, Mohammad Zarour. 168-173 [doi]
- SysML-based and Prolog-supported FMEAFabio Scippacercola, Roberto Pietrantuono, Stefano Russo, Nuno Pedro Silva. 174-181 [doi]
- Preventing recurrence of industrial control system accident using assurance caseMirko Napolano, Fumio Machida, Roberto Pietrantuono, Domenico Cotroneo. 182-189 [doi]